OpenAI, 자사 모델이 국소 평활화 추측을 증명하고 지수 시간 가설을 반박했으며 양–밀스 존재성을 증명했다고 밝혀

OpenAI는 자사 모델이 수학, 컴퓨터 과학, 물리학 분야에서 세 가지 성과를 냈다고 발표했습니다. 아래 내용은 모두 OpenAI의 자체 주장으로, 아직 어느 것도 독립적으로 검증되지 않았으며 OpenAI는 결과가 Lean으로 검증됐다고 밝혔습니다.

• 수학(조화 해석학). OpenAI는 자사 모델이 모든 차원에서 국소 평활화 추측을 증명했다고 밝혔습니다. 또한 새로운 보조 편미분방정식을 통해 모든 차원의 카케야 추측과 스타인 제한 추측도 해결했다고 주장합니다. OpenAI는 10월 6일 공개 때의 접근 방식을 이어, 모델이 작성한 자연어 설명과 Lean 증명을 공개 GitHub 저장소 openai/math에 공개했습니다.
• 컴퓨터 과학. OpenAI는 자사 시스템이 불리언 공식 만족성의 복잡도에 관한 추측인 지수 시간 가설(ETH)을 반박했으며, 이 반박은 Lean으로 검증됐다고 밝혔습니다. ETH를 프랜시스 제인과 함께 제안한 라이언 윌리엄스, 러셀 임파글리아초, 라마모한 파투리가 이끄는 그룹이 이를 검증하고 설명할 예정입니다. 그룹의 요청에 따라 OpenAI는 자연어 증명과 Lean 형식화를 공개했습니다.
• 물리학. OpenAI는 자사 모델이 게이지장과 페르미온을 갖는 특정 4차원 상호작용 양자장 이론의 존재를 수학적으로 엄밀하게 증명했다고 밝혔습니다. 여기에는 QCD와 표준 모형의 통합 완성이 포함되며, 하위 문제로 클레이 수학연구소 밀레니엄 상금 문제의 일부인 순수 양–밀스 이론의 존재 증명도 포함됩니다. 증명은 Lean으로 형식 검증됐다고 합니다. 데이비드 그로스가 이끌고 마이클 더글러스, 아서 재프, 이고르 클레바노프, 니키타 네크라소프가 참여하는 그룹이 연구를 이끌 예정이며, 자료 공개 여부는 이들에게 맡기겠다고 OpenAI는 밝혔습니다.

OpenAI는 원고를 “가공되지 않은 연구 데이터”라고 표현하며, 외부 전문가들에게 각 성과의 후속 절차를 이끌어 달라고 요청했고, 전문가들이 성과별로 서로 다른 공개 전략을 권했다고 밝혔습니다. OpenAI가 밝힌 작업 시점은 다음과 같습니다. 국소 평활화 결과는 10월 18일, Lean 형식화는 다음 날 완료됐습니다. ETH 반박은 10월 16일, Lean 형식화는 10월 17일에 이뤄졌습니다. 양–밀스 존재 증명은 9월 9일, QCD 결과는 9월 18일에 나왔으며, 양–밀스의 Lean 형식화는 10월 16일 완료됐습니다. 물리학 그룹은 관련 문의를 전용 이메일 주소로 보내 달라고 요청했으며, 자체적으로 논문을 작성하는 동안 AI가 만든 산출물은 공개하지 않기로 했습니다.

OpenAI는 협업의 네 가지 원칙으로 투명성(비밀유지계약 없음), OpenAI가 학술적 공로를 요구하지 않는 것, 그룹의 기여를 인정하는 것, 독립성(참여는 자발적이고 무급이며, 구성원은 개인 자격으로만 발언)을 제시했습니다. ETH 결과 관련 학회를 지원할 예정이며, AI가 만든 성과에 관한 워크숍과 프로그램을 위해 최근 Simons Foundation에 500만 달러를 기부한 사실도 언급했습니다. GitHub 저장소에도 소규모 변경을 적용했으며, 변경 사항은 히스토리 파일에 기록했습니다. X의 발표 스레드는 10월 26일 저녁까지 405포인트와 댓글 30개를 기록했습니다.