OpenAI, 수학·계산기 과학·물리 분야 3건의 성과 발표… 외부 전문가와 검증하는 새 방식 채택

수학 성과는 유클리드 공간의 파동 방정식에 관한 local smoothing conjecture를 모든 차원에서 증명했다는 것이다. 이로써 Kakeya conjecture와 Stein's restriction conjecture도 모든 차원에서 해결된다고 한다. 수학자들의 조언을 받아 모델의 출력을 그대로 공개하고, 연구자들이 각자 설명을 작성하는 방식을 택했다. 수개월 전에는 NYU의 Hong Wang이 3차원 Kakeya conjecture 해결로 Fields Medal을 받았다.

계산기 과학 성과는 1999년에 제안되어 널리 옳다고 여겨져 온 ETH가 거짓임을 보여주는 것이다. 고정 폭 CNF 식의 충족 할당 개수를 준지수 시간과 다항식 공간에서 정확히 세는 결정적 알고리즘을 제시했으며, 3-SAT의 경우가 ETH를 반증한다고 한다. 검증은 Impagliazzo, Paturi, MIT의 Ryan Williams 세 사람이 이끌며, 그룹의 요청에 따라 논문 형식의 출력과 Lean 증명이 GitHub에 즉시 공개되었다. 커뮤니티를 향한 공개 서한에서는 AI 생성 결과에 대한 조기 접근 처리, 기여에 대한 평가, 연구자 육성에 관한 의견을 구하고 있다.

물리 성과는 4차원에서 게이지장과 페르미온을 포함하는 상호작용 양자장론의 수학적으로 엄밀한 존재 증명이라고 한다. QCD와 표준 모형의 통일적 완성형도 포함된다고 한다. 전문은 아직 공개되지 않았으며, David Gross를 중심으로 Michael Douglas, Arthur Jaffe, Igor Klebanov, Nikita Nekrasov가 검증을 맡는다.

OpenAI 스스로도 이 방식에 문제가 있을 수 있다고 인정하고 있다. 회사가 조직한 수학자들의 AGMAI panel은 전날 특정인에게 출력을 먼저 전달하는 운영을 채택하지 말라고 권고하며, 불평등한 접근, 평판의 차용, 선택의 편향을 이유로 들었다. 대신 학술 저장소에 공개할 것, Lean으로 형식화한 증명, 문제 선정 경위, 결과 이해에 힘쓰는 사람에 대한 자금 지원 등을 요구하고 있다.