AI · SEMICONDUCTOR · FACT CHECK

SKD WIRE

기사 · 발행 2026-10-14 17:05

오픈AI, 리만 가설 약한 형태 증명 주장… 전체 해결은 아직 아닌 이유

오픈AI, 리만 가설 약한 형태 증명 주장… 전체 해결은 아직 아닌 이유
이미지 출처: 조사 출처

오픈AI가 10월 수학 최대 미해결 문제인 리만 가설에 도전했다고 공식 발표했습니다. 주장된 성과는 가설 전체가 아니라 고정 폭 영역의 영점 부재라는 약한 형태이며, 독립 검증은 아직 진행 중입니다.

발표의 실체는 '약한 형태' 증명

오픈AI 발표문에 따르면 이번 성과는 리만 가설 자체가 아니라 Re s > 7/8 또는 11/12 영역에서 제타 함수 영점이 존재하지 않는다는 준 리만 가설 형태입니다. 회사는 관련 프리프린트 2편과 Lean 형식 검증 자료를 공개했습니다. 일반 웹 접근은 차단되었으나 공식 저장소와 아카이브를 통해 원문 열람이 가능했습니다.

스스로 남긴 경고문

발표에 따르면 오픈AI는 비형식화된 결과 일부에 문제가 있을 수 있다고 경고했습니다. 같은 저장소 이력에는 10월 7일자로 부호 오류로 인한 타 분야 논문 3편 철회와 14편 수정 기록도 남아 있습니다. 수학계의 독립 재검증은 아직 확인되지 않았습니다.

출처: 조사 출처

'722편'과 '719편' 사이

보도에서는 관련 논문이 722편으로 소개되었습니다. 같은 저장소의 표기는 719개 원고와 372개 계열로, 집계 기준 차이로 보이는 수치 어긋남이 그대로 남아 있습니다. 어느 쪽이 맞는지는 저장소 측의 명확한 기준 공개가 선행되어야 합니다.

경쟁 구도 속의 공통 흐름

2026년 8월에는 앤트로픽의 클로드가 리만 제타 영점 비율 하한을 41.7%에서 67.2%로 개선했습니다. AI 모델들이 리만 가설 관련 진전을 내놓는 것은 업계 전반의 흐름으로, 이번 주장 자체의 진위와는 별개 영역입니다.

이번 성과가 리만 가설 공략의 구조적 전환인지는 몇 분기의 관측이 더 필요합니다. 다만 오픈AI가 약한 형태 증명에 도전했다는 서술 자체는 1차 출처 2개 이상에 근거해 사실입니다.

검증 자료
1차 출처 10건 · 전체 검증 과정: 판정 리포트 →