OpenAI, 수학·컴퓨터 과학·물리학 분야의 AI 발견 3건 발표… 학계와 공동으로 이해 넓혀간다
Working with academic communities to build scientific understanding
OpenAI는 조화해석, 계산 복잡도, 양자장론 분야에서 새로운 발견 3건을 발표했다. 모델은 국소 평활화 추측(local smoothing conjecture)을 모든 차원에서 증명했고, 지수 시간 가설(ETH)이 틀렸음을 보였으며, QCD 등에 대한 존재 증명도 생성했다. OpenAI는 이번 성과를 원자료(raw research data)로 규정하고, 외부 전문가가 주도하는 공동 연구 그룹을 통해 이해를 넓혀 갈 계획이라고 밝혔다.
수학 성과는 국소 평활화 추측(local smoothing conjecture)에 관한 것으로, 모델이 전 차원에서의 증명을 내놓았다. 이에 따라 케이케야 추측(Kakeya conjecture)과 스타인의 제한 추측(Stein's restriction conjecture)도 전 차원에서 해결된다고 밝혔다. 증명은 새로운 보조 편미분방정식을 기반으로 한다. AI 출력은 10월 18일에 얻어졌으며, 다음 날 Lean으로 형식화되었다. 전문가의 조언에 따라 자연어 해설문과 Lean 증명을 GitHub 저장소에 공개했다.
계산과학 성과는 불리언 식 충족 가능성(SAT)의 계산 복잡도에 관한 오랜 추측인 ETH가 거짓임을 증명한 것이다. 10월 16일에 자연어 반증이 얻어졌고, 10월 17일에 Lean으로 형식화되었다. Russell Impagliazzo, Ramamohan Paturi, Ryan Williams가 이끄는 그룹이 검증과 설명을 맡는다. 그룹의 요청에 따라 원시 데이터는 모두 공개되며, OpenAI는 영향을 논의하는 회의의 자금도 지원한다. 자연어 증명과 Lean 형식화는 GitHub에 즉시 공개되었다.
물리학 성과는 게이지장과 페르미온을 포함한 4차원 상호작용 양자장론에 대해, QCD와 표준모형의 통일적 완성형을 포함하여 수학적으로 엄밀한 존재 증명을 제시하는 것이다. Balaban의 방법에 기반하며, 부분 문제로 순수 Yang–Mills 이론의 존재 증명도 포함한다. Yang–Mills는 9월 9일, QCD는 9월 18일에 자연어 증명이 얻어졌고, Lean 형식화는 10월 16일에 완료되었다. David Gross가 이끄는 그룹이 검토하고 있으며, AI 생성물의 공개는 당분간 보류하고 자체적으로 논문화를 진행한다.
공동 작업은 투명성, 학문적 공적을 요구하지 않음, 기여에 대한 평가, 독립성이라는 네 가지 원칙을 따른다. 참여는 무상이고 자발적이며 비밀유지계약도 없고, 결론은 각자의 것으로 OpenAI를 대변하지 않는다. 초기 취합 담당자 선정이 참여자와 정보의 비대칭을 낳는다는 점도 인정하며, 참여 확대를 위한 피드백을 구하고 있다. Simons Foundation에 대한 500만 달러 출연도 연구자의 검증과 발전을 지원하는 노력으로 함께 밝혔다.
AI가 내놓은 수학·컴퓨터 과학·물리학 성과를 외부 전문가의 협력으로 검증하고 이해로 이어가는 공개 방식이 세 가지 형태로 구체적으로 제시되어 있다.
출처: OpenAI News · openai.com