OpenAI, AI 생성 수학·CS 증명 공개, 물리학 결과는 전문가 검토 보류

OpenAI가 수학, 컴퓨터 과학, 물리학 분야의 새로운 발견 3건을 발표하고, AI 산출물을 외부 학술 협력단이 해석할 원시 연구 데이터로 취급함
모델이 모든 차원에서 로컬 스무딩 추측(local smoothing conjecture)의 증명을 생성하여 Kakeya 추측과 Stein의 restriction 추측을 해결함. AI 산출물은 2026년 10월 18일에 획득되어 이튿날 Lean으로 형식화되고 공개됨
시스템이 지수 시간 가설(Exponential Time Hypothesis, ETH)을 반증함. 자연어 반증은 2026년 10월 16일에 발견되고 Lean 형식화는 10월 17일에 완료됨. 원시 데이터와 증명은 독립적 검증을 위해 공개됨
모델이 QCD를 포함한 상호작용 양자장론과 표준 모형의 통합 완성을 위한 존재 증명을 생성함. 그러나 외부 전문가 그룹은 AI 생성 산출물의 공개를 보류하고 직접 작성하기로 결정함
Russell Impagliazzo, Ramamohan Paturi, Ryan Williams가 이끄는 외부 전문가 그룹이 컴퓨터 과학 결과를 관리하고, David Gross가 물리학 결과 그룹을 주도함
OpenAI는 ETH 반증의 함의를 논의하기 위한 컨퍼런스에 자금을 지원하고, AI 생성 결과 검토를 위한 연구자 워크숍 및 프로그램 지원을 위해 Simons Foundation에 500만 달러를 기부함

핵심 내용