OpenAI, 100만 달러 수학 난제 해결했다 밝혀…NYU 수학자는 자신이 먼저 풀었다고 주장

OpenAI는 자사의 내부 AI 모델이 나비에-스토크스 방정식이 폭주할 수 있음을 증명했다고 밝혔다. 이 방정식은 유체의 움직임을 설명한다. 폭주는 수학적으로 무한대의 속도가 예측되는 지점이다. 이 문제는 클레이 수학연구소가 각각 100만 달러의 상금을 내건 7개의 밀레니엄 상 문제 중 하나다. OpenAI는 결과를 내는 데 88시간이 걸렸다고 밝혔다. 또 약 1만 개의 협력 AI 에이전트가 결과 도출에 참여했다고 밝혔다. 에이전트들은 자사의 모델을 복제해 병렬로 작동한 것이었다. 린(Lean)이 증명을 단계별로 검증했다. NYU 수학자 트리스탄 벅마스터는 자신과 레벤트 알푈게가 유체 폭주 증명을 추구하기 위해 AI 모델을 사용하며 거의 1년을 보냈다고 말했다. 벅마스터는 8월 22일까지 해법을 갖고 있었다고 말했다. 그는 9월 3일 OpenAI의 한 수학자에게 이 프로젝트에 대해 알렸다고 말했다. 그는 이 프로젝트가 개인적인 것이며 어느 회사와도 관련이 없다고 설명했다고 말했다. 사흘 뒤 세바스티앵 뷔벡은 벅마스터에게 내부 모델이 강제 나비에-스토크스 방정식에 대한 100쪽짜리 증명을 만들어냈다고 말했다. 벅마스터는 그 접근법이 다른 거의 누구도 추구하지 않던 동일한 좁은 접근법이었다고 말했다. 벅마스터는 뷔벡이 자신의 팀 다음 날 OpenAI가 발표하도록 하겠다고 제안했다고 말했다. 벅마스터는 또 알푈게가 경쟁 연구소에서 일한다는 이유로 뷔벡이 알푈게 없이 자신이 혼자 논문을 쓰도록 하겠다고 제안했다고 말했다. 벅마스터는 뷔벡이 "왜 당신의 경력을 망치려 합니까?"라고 물었다고 말했다. 벅마스터는 이후 자신의 연구 결과를 담은 논문을 발표했다. 논문은 알푈게를 공저자로 명시했다. OpenAI는 발표에서 두 연구자 모두를 언급하지 않았다. 한 인용 게시물은 제품 사용에서 나온 비식별화 데이터가 모델 개선에 도움을 줬을 가능성을 OpenAI가 배제할 수 없다고 인정했다. 뷔벡과 OpenAI, 올트먼은 벅마스터의 사건 설명을 부인했다. 뷔벡은 알푈게와의 공동 발표를 제안하는 문자메시지를 공개했다. 뷔벡은 OpenAI의 프롬프트도 제공하겠다고 제안했다. 뷔벡은 자신이 선의로 행동했다고 말했다. 샘 올트먼은 뷔벡이 처음부터 끝까지 성실하고 관대하게 행동했다고 말했다. 올트먼은 해당 팀이 완전한 나비에-스토크스가 아니라 오일러 방정식만 풀었다는 사실을 깨달은 뒤 OpenAI가 벅마스터 팀에 먼저 발표할 선택권을 제공했다고 말했다. OpenAI는 발표 전까지 두 사람의 작업을 본 적이 없다고 밝혔다. OpenAI는 특정 사용자 데이터에 접근하지 않았다고 밝혔다. OpenAI는 제품 사용에서 나온 비식별화 데이터가 모델 개선에 도움을 줬을 가능성을 명시적으로 배제하지 않았다. 필즈상 수상자인 테런스 타오는 벅마스터와 알푈게의 기초 수학이 놀라운 성과라고 말했다. 두 사람의 가장 진전된 결과는 최종 린 검사를 기다리며 아직 발표되지 않았다. OpenAI 외부에서는 누구도 100쪽짜리 증명을 독립적으로 검토하지 않았다.