나비에–스토크스 밀레니엄 상금 문제

OpenAI가 미공개 모델로 나비에–스토크스 존재성과 매끄러움 문제의 해법을 얻었다고 발표했으나, 거의 1년 동안 Claude와 Codex로 관련 연구를 진행한 수학자들과 연구 선취·데이터 사용 논란이 불거짐 Tristan Buckmaster와 Levent Alpöge는 8월 15일 돌파구를 얻었으며, Buckmaster에 따르면 OpenAI는 이들의 연구 소식을 들은 뒤 에이전트 작업을 시작했지만 Codex에 입력한 초안의 학습 사용 여부에는 명확히 답하지 않음 OpenAI에 따르면 에이전트는 88시간 만에 해법에 도달했고, GPT‑6 Astra를 통한 Lean 형식화·검증에 17시간이 추가로 걸림 OpenAI는 연구진의 비공개 작업이나 특정 사용자 데이터에 접근하지 않았다고 밝혔지만, 비식별화된 사용 데이터가 모델 개선에 기여했을 가능성은 배제하지 못함 미공개 해법이 있다는 소문만으로 대규모 AI 경쟁이 촉발될 수 있으며, 사용자의 연구가 후속 모델 학습에 반영돼 다른 사람의 선행 해결을 도울 가능성도 여전히 불명확함 미공개 모델의 해법과 연구 선취 논란 OpenAI는 나비에–스토크스 밀레니엄 상금 문제 관련 발표에서 미공개 모델로 나비에–스토크스 존재성과 매끄러움 문제의 해법을 얻었다고 밝힘 이 문제는 2000년 5월 24일부터 각각 100만 달러의 상금이 걸린 7개 밀레니엄 상금 문제 중 하나임 NYU 수학 교수 Tristan Buckmaster는 Anthropic에서 일하는 수학자 Levent Alpöge와 관련 문제를 연구하던 중 OpenAI의 부적절한 행위를 의심하며 이의를 제기함 두 사람은 자체 연구 결과를 서둘러 공개했고, Buckmaster는 경위를 담은 입장문 PDF를 게시함 선행 연구와 OpenAI의 접촉 경위 Buckmaster의 입장문에 따르면 두 사람은 거의 1년 동안 Claude와 Codex를 폭넓게 활용했으며, Codex에서는 주로 GPT-5.6 Sol을 사용하고 프로젝트 전체 초안을 입력해 왔음 8월 15일 돌파구를 얻은 뒤 수학계에 소문이 퍼짐 OpenAI가 Anthropic의 ‘중대한 미해결 문제’ 해결 소식을 들었다는 이야기를 접하고 연락했으며, OpenAI 팀도 비슷한 접근법으로 관련 문제를 연구 중이라는 사실을 알게 됨 Buckmaster에 따르면 OpenAI는 첫 프롬프트를 보낸 시점에 곧바로 답하지 않았으나, 결국 두 사람의 연구 소식이 전달된 뒤인 최근 며칠 이내에...