OpenAI가 Navier-Stokes 증명을 공개하고, 수학자들의 선취 공로 주장에 정면으로 대응했다.

동차 Beating AI 속보, OpenAI가 AI로 완성한 Navier-Stokes 증명을 공개했습니다. 이는 약 90년간 미해결로 남아 있던 수학 난제로, 일곱 개의 '밀레니엄 문제' 중 하나이며 상금은 100만 달러입니다.

OpenAI는 아직 훈련 중이며 GPT-6 Astra보다 명확히 뛰어난 내부 모델을 사용했고, 약 1만 개의 에이전트가 협력해 88시간 만에 해법을 찾은 후 Astra로 17시간을 들여 Lean 기계 검증을 완료했다고 밝혔습니다. 논문과 검증 코드는 공개되었지만, 여전히 수학계의 심사를 받아야 합니다.

이 성과 뒤에는 선점 공방 논란도 있습니다. 뉴욕대학교 수학자 Tristan Buckmaster와 Anthropic 직원 Levent Alpöge는 앞서 Claude와 Codex를 활용해 같은 방향의 연구를 진행했습니다. Buckmaster는 두 사람의 미공개 진전이 OpenAI에 전해진 후, OpenAI가 며칠 안에 대규모 컴퓨팅 자원을 투입해 같은 경로를 공략했으며, Buckmaster에게 OpenAI의 Navier-Stokes 증명을 재작성하도록 제안했지만 Alpöge의 이름은 올리지 못하게 했다고 주장합니다.

OpenAI는 이제 이 질주가 실제로 'Anthropic이 밀레니엄 문제를 해결했을 가능성'이라는 소문에서 시작되었다고 인정합니다. 9월 1일, 팀은 새 모델로 여러 수학 난제에 도전하게 했고, 먼저 약 100개의 에이전트로 Euler 결과를 만든 후 자원을 Navier-Stokes에 집중해 최종적으로 약 1만 개의 에이전트로 확장했습니다. OpenAI는 Buckmaster가 논문을 공개하기 전에 그의 연구를 보지 않았다고 부인하고, 특정 사용자 데이터를 호출하지 않았다고도 부인하지만, 두 사람이 OpenAI 제품을 사용하며 생성한 비식별화 데이터가 모델 개선에 사용되었을 가능성은 완전히 배제하지 않았습니다.

Sébastien Bubeck도 서명 및 '경력 파괴' 논란에 대응했습니다. 그는 Alpöge에게 기존 성과의 서명을 포기하라고 요구한 적이 없다고 밝혔습니다. 당시 논의는 Buckmaster가 OpenAI의 증명을 주필하는 것이었고, Anthropic 직원이 OpenAI의 작업에 서명하는 것은 부적절하다고 생각했다고 말했습니다. '왜 자신의 경력을 파괴하려 하는가'라는 발언에 대해 Bubeck은 표현이 나빴다며 사과했지만, 위협이 아니었다고 부인했습니다. Sam Altman도 공개적으로 Bubeck 편에 서서, OpenAI가 원래 Anthropic의 소문을 듣고 자체 모델이 해낼 수 있는지 확인하려 했다고 확인했습니다.

OpenAI는 이 난제에 해당하는 100만 달러 상금을 수령하지 않을 것이라고 밝혔다.