최근 OpenAI는 공식적으로 자사 인공지능 모델이 수학, 컴퓨터 과학, 물리학 분야에서 세 가지 중대한 과학적 발견을 이루었으며, 각각 조화 해석학, 계산 복잡도 이론, 양자장론과 관련이 있다고 발표했다. 이러한 최전선의 원시 연구 데이터를 진정한 과학적 이해로 전환하기 위해 OpenAI는 외부 학술 커뮤니티와 긴밀히 협력하는 새로운 모델을 혁신적으로 시도했으며, 분야별 성과에 맞춰 다양한 공개 전략을 수립했다.
조화 해석학 분야에서 모델은 모든 차원에서 국소 매끄러움(local smoothing) 추측의 증명을 성공적으로 제시했으며, 이를 통해 모든 차원에서 수학계의 Kakeya 추측과 Stein 제한 추측을 직접 해결했다. 새로운 증명은 독창적인 보조 편미분 방정식에 기반한다. OpenAI는 모델이 생성한 AI 자연어 출력 보고서와 Lean 증명을 공개된 GitHub 저장소에 공개했다.
컴퓨터 과학 분야에서 시스템은 오랫동안 참으로 여겨져 온 지수 시간 가설(ETH)이 거짓임을 증명했다. 이 추측은 유명한 P vs. NP 문제와 밀접하게 관련되어 있으며, 그동안 수백 편의 논문에서 조건부 계산 난이도를 도출하는 데 널리 사용되어 왔다. 이 결과 역시 Lean에서 검증되었다. 이 연구는 Russell Impagliazzo, Ramamohan Paturi, Ryan Williams가 이끄는 최고 전문가 팀에 의해 검증 및 지도를 위해 위임되었으며, 관련 성과와 Lean 형식화 증명이 GitHub 저장소에 함께 공개되었다.
물리학 분야에서 모델은 4차원에서 게이지 장과 페르미온을 포함하는 일부 상호작용 양자장론(양자색역학 QCD 및 입자물리학 표준모형의 통합 완성화 포함)에 대해 수학적으로 엄밀한 존재성 증명을 제공했으며, 그 부분 문제로 순수 Yang–Mills 이론의 존재성 증명도 포함되는데, 이는 Clay 수학연구소 밀레니엄 현상 문제의 일부이기도 하다. 이 복잡한 연구는 David Gross가 이끄는 물리학자 그룹(Michael Douglas, Arthur Jaffe, Igor Klebanov, Nikita Nekrasov 포함)이 공동으로 추진했으며, 관련 서신은 지정된 이메일 YANGMILLS4D@gmail.com 으로 보낼 수 있다.
학계가 이러한 획기적 성과를 독립적으로 심사하고 심도 있게 논의할 수 있도록 전폭적으로 지원하기 위해, OpenAI는 이전에 Simons 재단에 500만 달러를 기부하여 관련 세미나, 학술회의 및 특별 프로젝트를 지원했다. 이 일련의 조치는 기초과학 최전선 연구에서 AI의 막대한 잠재력을 보여줄 뿐만 아니라, 현대 이론물리학과 수학이 더 높은 수준의 엄밀성을 갖춘 영역으로 가속화되어 나아가고 있음을 상징한다.