OpenAI는 2026년 9월 8일 약 90년 동안 미해결 상태로 남아 있던 밀레니엄 문제 중 하나인 나비에-스토크스 문제(Navier-Stokes)의 해법을 도출했다고 발표했다. 그러나 이 발표는 수학계에서 최종적인 해법으로 받아들여지지 않았다. 회사가 연구자들이 독립적으로 검토할 수 있도록 증명의 세부 내용을 아직 공개하지 않았으며, 발표 시점과 결과에 도달한 경로를 둘러싼 의문도 제기됐기 때문이다.
유체와 기체의 움직임에 관한 문제
나비에-스토크스 방정식은 물과 공기, 혈액을 비롯한 유체와 기체의 움직임을 설명한다. 수학적 과제의 핵심은 이 방정식이 항상 매끄러운 해를 보장하는지, 아니면 움직임이 극도로 혼란스러워져 수학적 해가 붕괴하는 상태에 이를 수 있는지를 밝히는 데 있다.
클레이 수학연구소는 이 문제를 ‘밀레니엄 문제’라고 부르는 7개 문제 가운데 하나로 선정했으며, 승인된 과학적 기준에 따라 해결되는 각 문제에 100만 달러의 상금을 책정했다. 따라서 기술 기업이 잠재적인 증명을 발표하는 것만으로는 이 문제가 종결되지 않는다. 증명을 공개하고 독립적인 전문가들의 검토를 받는 과정이 필요하다.
내부 모델과 1만 개의 에이전트
OpenAI는 해당 증명이 최근 회사가 출시한 GPT-6 Astra 모델을 능가하는 성능의 내부 인공지능 모델을 사용한 에이전트 집단에 의해 생성됐다고 밝혔다. 또한 약 1만 개의 인공지능 에이전트를 동시에 가동했다고 설명했다. 회사에 따르면 사용된 모델의 훈련은 8월 28일 시작됐으며, 수학 테스트를 포함한 벤치마크 테스트에서 전례 없는 성능을 보였다.
회사는 이 결과를 수학의 중요한 돌파구라고 표현했지만, 100만 달러의 상금을 요구할 의사는 없다고 확인했다.
시점과 연구 데이터에 관한 논란
OpenAI의 발표 하루 전, 뉴욕대학교 수학자인 트리스탄 백마이스터가 Anthropic의 연구자인 레벤트 알부게와 협력해 방정식과 관련된 연구 결과를 공개하면서 논란이 커졌다. 백마이스터는 OpenAI가 자신과 알부게가 이룬 진전을 알고 있었다는 사실을 알게 된 뒤 OpenAI에 연락했다고 말했다. 또한 회사가 자신이 알부게와 함께 OpenAI의 Codex와 Anthropic의 Claude를 사용해 작업하던 연구 경로를 통해 증명에 도달했다고 밝혔다.
이에 OpenAI가 Codex 세션이나 프로젝트 데이터를 이용할 수 있었는지에 대한 의문이 제기됐다. 기사에 따르면 회사는 모델이 사용자 데이터에 접근하지 않았다고 밝혔지만, 백마이스터에 따르면 해당 데이터가 훈련에 사용됐을 가능성에 대해 구체적으로 질문받았을 때 명확한 답변을 내놓지 않았다.
OpenAI는 특정 사용자의 특정 데이터를 문제 해결에 사용했다는 주장을 부인했다. 그러나 자사 제품 사용에서 생성된 출처 비식별화 데이터가 모델 개선에 기여했을 가능성은 배제할 수 없다고 밝혔다. OpenAI 기술진의 일원인 세바스티안 부벡도 회사가 백마이스터와 알부게의 연구가 공개되기 전에 이를 확인하지 못했다고 부인했으며, OpenAI의 증명은 입증된 수학적 결과를 포함해 그들의 연구와 크게 다르다고 말했다.
지금까지 실제로 입증된 것은 무엇인가?
이번 발표는 첨단 모델이 계산과 이미 알려진 지식의 재구성을 넘어서는 수학적 추론을 만들어낼 수 있는지를 시험하는 중요한 사례다. 그러나 이 주장의 과학적 가치는 증명의 공개, 재검토 가능성, 그리고 그것이 밀레니엄 문제의 조건을 충족한다는 연구자들의 합의에 달려 있다. 그때까지는 OpenAI가 발표한 내용을 나비에-스토크스 문제에 대한 최종적으로 입증된 해법이 아니라, 회사가 도달했다고 주장하는 증명이라고 표현하는 것이 정확하다.