OpenAI, 수학·CS·물리 분야 AI 발견 외부 검증 추진… 공개 방식에 비판도

OpenAI는 2026년 10월 26일 AI 모델이 도출한 수학, 계산기 과학, 물리학 분야의 세 가지 성과를 발표하고, 학계와 함께 검증과 이해를 진행하겠다고 밝혔다. 수학 분야에서는 1991년 Soggge가 제시한 국소 평활화 추측을 모든 차원에서 증명했다고 한다. Kakeya 추측과 Stein의 제한 추측도 모든 차원에서 해결된다고 한다. 기존에는 2019년 Guth, Wang, Zhang의 연구로 2차원까지만 증명되어 있었다. AI의 출력은 10월 18일에 얻어졌고, 다음 날 Lean으로 형식화되었다. 해설과 Lean 증명은 GitHub에 공개되었다. 전담 검증 그룹은 없다. 계산기 과학 분야의 성과는 1999년에 제안된 ETH(지수 시간 가설)가 거짓임을 보이는 증명이다. 10월 16일 자연어 반증이 얻어졌고, 17일 Lean으로 형식화되었다. 고정 폭 CNF 식의 충족 할당 수를 준지수 시간과 다항식 공간에서 정확히 세는 결정적 알고리즘을 제시했으며, 3-SAT의 경우가 ETH의 반증이 된다고 한다. Impagliazzo, Paturi, Ryan Williams가 검증을 맡았고, 데이터와 증명은 즉시 공개되었다. ETH가 성립하지 않더라도 이에 의존하는 결과가 곧바로 틀리는 것은 아니며, 증명이 완료된 것으로 간주되지 않게 될 뿐이라고 한다. Williams는 실용적인 SAT 해결이 12개월 이내에 크게 진전될 가능성도 있지만 아무 일도 일어나지 않을 수도 있다고 말했다. 세 사람은 자신들의 관여가 주장을 지지하는 것은 아니라는 공개 서한도 발표했다. 암호와 관련해서는 OpenAI의 과학 책임자 Dan Roberts가 어느 정도 확신을 가지고 깨질 수 있는 암호는 없다고 답했다고 한다. 물리학 분야의 성과는 게이지장과 페르미온을 포함한 4차원 상호작용 양자장론에 대해 수학적으로 엄밀한 존재 증명을 제시한 것이라고 한다. 대상은 Yang–Mills 이론, QCD, 가장 단순한 대통일 이론이며, Balaban의 방법에 기반한다. Lean 형식화는 10월 16일에 완료되었다. OpenAI는 밀레니엄 상금 문제에 대해서는 존재 증명 부분만 다루었으며 질량 간극 문제는 풀지 않았다고 명확히 밝혔다. David Gross의 그룹이 검증하며, Douglas, Jaffe, Klebanov, Nekrasov도 참여한다. AI가 생성한 결과물은 당분간 비공개이며, 회사가 직접 논문으로 정리할 계획이다. OpenAI는 Simons Foundation에 500만 달러를 출연했으며, 최초의 검증자를 어떻게 선정하느냐에 따라 정보가 먼저 전달되는 트레이드오프가 생긴다는 점도 인정했다. 공개 방식에 대한 비판이 거세지고 있다. 이 회사가 조직한 AGMAI 패널은 발표 전날, 특정 인물에게 결과를 먼저 전달하지 않도록 권고했고, 발표 후에는 물리학의 자연어 출력과 Lean 출력을 지체 없이 공개할 것을 촉구했다. Institute for Advanced Study의 Constantin Kogler는 소수의 저명한 과학자만 먼저 보는 것은 합리적이지 않다고 말했고, University of Texas at Austin의 Andreas Karch는 인선을 "a disaster"라고 불렀다. 한편 Brown University의 Brendan Hassett는 수학 주장이 "looks well supported"하다고 하면서도 Lean 형식화는 확인되지 않았다고 말했다. Georgia Tech의 Xiaoyu He는 논문이 읽기 어렵고 검증하기 힘든 점이 근본적인 문제라고 지적했다. TechCrunch에 따르면 Anthropic의 수학자 Levent Alpöge는 OpenAI가 기존 연구를 바탕으로 했을 가능성을 지적했고, 그 몇 시간 뒤 Anthropic도 독자적인 ETH 반증을 공개했다. Williams는 증명에 이질적으로 보이는 부분이 두세 군데 있어 커뮤니티 전체의 노력이 필요하다고 말했다. 10월 31일에는 일본어 검색 결과에서도 분야별로 공개 및 검증 체계가 서로 다른 형태로 발표되었다고 전해졌지만, 새로운 사실은 포함되어 있지 않다.

보도를 바탕으로 AI가 작성 · 5일 전 업데이트

1. 10월 28일 05:48 · 보도 1건
   OpenAI, 수학·컴퓨터 과학·물리 분야 성과를 단계적으로 공개
   The Verge AI: OpenAI의 수학·컴퓨터 과학·물리 성과 발표, 전문가 선별 공개 방식에 연구자들 불만
2. 10월 26일 09:00 · 보도 4건
   OpenAI, 수학·CS·물리 분야의 새로운 발견을 외부 연구자와 함께 검증할 계획
   OpenAI News: OpenAI, 수학·컴퓨터 과학·물리학 분야의 AI 발견 3건 발표… 학계와 공동으로 이해 넓혀간다