수백 개의 원고를 대량 공개하며 오랜 수학 난제에 대한 해답을 담고 있다고 주장한 지 채 한 달도 지나지 않아, OpenAI가 수학, 컴퓨터 과학, 물리학에서 또 세 가지 '중대한' 발견을 들고 돌아왔다. 이번에는 컴퓨터 과학과 물리학 분야에서 외부 전문가—회사가 '셰퍼드'라고 부르는—들이 결과를 이끌도록 하기로 했다. 수학 문제의 경우, OpenAI는 연구자들이 스스로 설명을 정리할 수 있도록 AI 출력을 직접 공개하라는 조언을 받았다고 한다. 왜냐하면 '과학적 엄밀성'을 말하는 데 동료 검토를 크라우드소싱하는 것만큼 어울리는 것도 없으니까.

OpenAI에 따르면, 수학적 돌파구는 '유클리드 파동 방정식의 국소 평활화'에 대한 증명이다. 이 증명은 보조 편미분 방정식을 사용하여 최소 2차원 이상의 모든 공간 차원에서 파동에 대한 소게의 국소 평활화를 확립한다. 또한 추측된 범위의 내부 전체에 걸쳐 카케야 최대 및 차원 추측과 스타인의 구면 제한 추정을 도출한다. OpenAI는 10월 6일 발표 때처럼 모델 출력을 직접 공개하고 있다. 불과 몇 달 전, 뉴욕대학교의 홍왕 교수는 3차원에서 카케야 추측을 해결한 공로로 국제수학연맹으로부터 권위 있는 필즈상을 수상했다. 이제 AI가 모든 차원에서 해냈다고 주장한다. 메달에 펌웨어 업데이트가 포함되는지에 대한 언급은 아직 없다.

컴퓨터 과학 결과는 더 대담하다. '지수 시간 가설은 거짓이다'라는 제목의 논문이다. 이 논문은 고정 폭 CNF 공식의 만족 할당을 준지수 시간과 다항 공간에서 정확히 계산하는 결정론적 알고리즘을 제시한다. 3-SAT의 경우는 지수 시간 가설(ETH)을 반박한다. 러셀 임팔리아조, 라마모한 파투리, 라이언 윌리엄스가 이끄는 독립 컴퓨터 과학자 실무 그룹이 증명을 검토하고 설명할 예정이다. 그룹의 요청에 따라 OpenAI는 다른 사람들도 검토할 수 있도록 자료를 즉시 공개하고 있다. 임팔리아조와 파투리는 1999년 ETH를 처음 제안한 그룹의 일원이었다—그러니 적어도 방 안의 누군가는 그 가설이 참으로 여겨지던 시절을 기억하는 셈이다.

물리학 정보는 전체가 공개되지 않았지만, OpenAI는 이를 '게이지 장과 페르미온을 포함하는 특정 상호작용 양자장 이론—양자 색역학(QCD)과 입자 물리학 표준 모형의 통합적 완성을 포함—의 수학적으로 엄밀한 존재 증명'이라고 설명한다. 데이비드 그로스가 마이클 더글러스, 아서 재피, 이고르 클레바노프, 니키타 네크라소프를 포함한 그룹을 이끌며 이 작업을 지도할 것이다. 왜냐하면 '우리는 확신한다'고 말하는 데 전체 세부 사항을 숨기고 노벨상 수상자들을 부르는 것만큼 어울리는 것도 없으니까.

OpenAI는 이 접근 방식에 자체적인 문제가 있을 수 있음을 인정한다. OpenAI가 구성한 수학 자문 패널 AGMAI는 바로 어제 'AI 기업들이 특정 사람들에게 먼저 출력을 제공하는 관행을 채택하지 않기를 권장한다'고 밝혔으며, 불평등한 접근, 차용된 평판, 편향된 선택 등을 몇 가지 문제로 꼽았다. 대신 그들은 앞으로 AI 연구소가 학술 저장소에 출력을 공개하고, Lean으로 형식화된 증명, 문제 선택 방법에 대한 정보, 결과를 이해하려는 사람들을 위한 자금 등을 제공할 것을 권장했다. 다시 말해, 획기적인 과학을 VIP 사전 판매처럼 다루지 말라는 것이다.

컴퓨터 과학 그룹은 오늘 AI 출력 보고서와 Lean 증명을 GitHub에 공개하기로 했다. 그들은 또한 커뮤니티에 보내는 공개 서한을 통해 주장을 검토하는 방법과 AI 생성 돌파구를 다루는 규범 설정에 대한 의견을 요청했다. 서한은 세 가지 더 넓은 질문을 제기한다. AI 생성 결과에 대한 조기 접근, 이해 충돌 공개, 후속 연구를 위한 미공개 자료 사용을 규율할 기대치는 무엇이어야 하는가? 새로운 발견과 이를 검증, 수정, 단순화, 설명, 확장하는 작업 모두에 어떻게 공로를 인정해야 하는가? 어떻게 학생들을 지원할 수 있을까