OpenAI, 100만 달러 수학 난제 해결 발표... 경쟁 수학자는 '내가 먼저'라며 반박

요약

• OpenAI는 화요일, 88시간 동안 10,000개의 협력 AI 에이전트를 사용하여 나비에-스토크스 유체 방정식이 "폭발"할 수 있다는 Lean으로 검증된 증명을 내부 AI 모델이 생성했다고 밝혔습니다.
• 몇 시간 전, NYU 수학자 Tristan Buckmaster는 OpenAI의 Sébastien Bubeck이 자신과 Anthropic 연구원 Levent Alpöge의 미발표된 관련 증명에 대해 알게 되었으며, 발표 전 공로 인정을 두고 자신들을 압박했다고 비난했습니다.
• OpenAI, Bubeck, 그리고 CEO Sam Altman은 이 주장을 부인했습니다. Bubeck은 Buckmaster의 팀에게 먼저 발표할 기회를 제안했음을 증명하는 문자 메시지를 공개했습니다.

OpenAI는 화요일 자사의 내부 AI 모델이 수학 연구의 가장 큰 난제 중 하나를 해결했다고 밝혔지만, 한 NYU 수학자가 회사가 부정한 수단을 썼다는 주장을 제기하면서 축하 분위기는 날카로운 비판에 직면했습니다.

OpenAI는 유체의 움직임을 설명하는 나비에-스토크스 방정식이 "폭발"할 수 있음을 증명했다고 밝혔습니다. 이는 수학적으로 무한한 속도를 예측하는 지점으로, 자연계에서는 일어날 수 없는 현상입니다.

이것은 클레이 수학연구소에서 각각 100만 달러의 상금을 건 7개의 밀레니엄 문제 중 하나입니다.

OpenAI는 이 결과가 88시간이 걸렸으며, 증명을 병렬로 수행하는 모델의 사본인 약 10,000개의 협력 AI 에이전트를 사용했고, 증명을 단계별로 검증하는 소프트웨어인 Lean으로 확인했다고 밝혔습니다.

하지만 그들이 처음으로 해결책을 찾은 것은 아닐 수도 있습니다.

OpenAI의 발표 몇 시간 전, NYU 수학자 Tristan Buckmaster는 4페이지 분량의 성명을 통해 다른 이야기를 전했습니다. 그와 OpenAI의 경쟁사인 Anthropic의 수학자 Levent Alpöge는 AI 모델을 사용하여 유체 폭발 증명을 추적하는 데 거의 1년을 보냈으며, 8월 22일까지 해결책을 찾아냈습니다.

Buckmaster는 Anthropic이 주요 문제를 해결했다는 소문이 돌던 9월 3일, OpenAI의 한 수학자에게 이 프로젝트가 개인적인 것이며 어느 회사와도 관련이 없음을 강조하며 프로젝트에 대해 이야기했다고 말했습니다.

3일 후 통화에서, OpenAI의 Sébastien Bubeck은 내부 모델이 이미 강제 나비에-스토크스(forced Navier-Stokes)에 대한 100페이지 분량의 증명을 생성했다고 그에게 말했습니다. 이는 Buckmaster가 거의 아무도 추구하지 않는다고 말한 좁은 접근 방식과 동일했습니다.