OpenAI, 나비에-스토크스 밀레니엄 문제 풀었다고 주장 — 그러나 곧바로 논란이 터졌다

OpenAI는 화요일, 자사 AI 에이전트가 나비에-스토크스 존재 및 매끄러움 문제를 풀었다고 발표했다. 이 문제는 각각 100만 달러의 상금이 걸린 7대 밀레니엄 상금 문제 중 하나다. 그러나 이 주장은 수학계가 검토할 틈도 없이 부정행위 의혹의 폭풍 속으로 떨어졌다.

핵심 요약

• 나비에-스토크스 존재 및 매끄러움 문제는 클레이 수학 연구소가 각각 100만 달러의 상금을 내건 7대 밀레니엄 상금 문제 중 하나다.
• OpenAI는 2026년 9월 9일 화요일, 자사 AI 에이전트가 유체 흐름의 거동을 기술하며 약 90년간 증명을 거부해 온 이 문제의 풀이를 도출했다고 발표했다.
• TechCrunch에 따르면, NYU의 한 수학자가 OpenAI가 이 문제를 둘러싸고 「비열하게 싸웠다」고 공개적으로 비난했으며, 회사의 행동이 자신의 커리어를 건 연구를 위협했다고 주장했다.
• 이 풀이는 발표 시점 기준으로 독립적으로 검증되지 않았다. 클레이 수학 연구소는 상금을 수여하기 전에 동료 심사를 거친 증명이 최소 2년간 게재되어야 한다고 요구한다.
• OpenAI는 이 결과를 자사 에이전트의 성과로 돌렸지만, 어떤 기반 모델이나 추론 시스템이 이 작업을 수행했는지는 공개하지 않았다.

나비에-스토크스 문제란 무엇인가

나비에-스토크스 방정식은 물, 공기, 혈액 등 유체가 공간을 이동하는 방식을 모델링한다. 아직 풀리지 않은 질문은 3차원에서 매끄럽고 물리적으로 합리적인 해가 항상 존재하는지, 아니면 방정식이 특이점으로 붕괴될 수 있는지에 관한 것이다. 물리학자와 공학자들은 이 방정식을 끊임없이 활용하고 있으며, 존재 및 매끄러움 문제는 그 응용들의 수학적 토대가 견고한지를 묻는 질문이다. 이 문제는 19세기부터 열려 있었다.

올바르고 검증된 증명이 나온다면, 그것은 현대 수학사에서 가장 중요한 결과 중 하나가 될 것이다. 이러한 맥락은 OpenAI 발표를 둘러싼 분쟁을 유난히 높은 판돈의 싸움으로 만든다 — 회사 자체를 위해서뿐만 아니라, 앞으로 이 분야가 AI 보조 연구를 어떻게 판단할 것인지에 대해서도.

부정행위 의혹

TechCrunch에 따르면, NYU의 한 수학자가 OpenAI가 이 결과를 추구하는 과정에서 「비열하게 싸웠다」고 주장했다 — 이는 회사의 행동이 같은 문제를 연구하던 독립적인 학술 작업을 방해했음을 시사하는 표현이다. 의혹의 구체적인 내용은 발표 시점에 완전히 공개되지 않았지만, 해당 연구자는 이를 커리어를 위협하는 일이라고 묘사했다. MIT Technology Review도 이 발표가 「의혹에 가려졌다」고 보도했으나, 독립적으로 세부 내용을 확인하지는 않았다.

OpenAI는 부정행위 주장에 대해 공개적으로 상세한 입장을 밝히지 않았다. 이 침묵은 중요하다. 클레이 수학 연구소의 상금 절차는 동료 심사를 거친 증명이 게재된 후 2년간 유지되어야 상금을 수여하므로, 수학의 유효성과 무관하게 100만 달러는 아직 한참 먼 이야기다.

OpenAI가 공개한 것과 공개하지 않은 것

OpenAI의 블로그 게시물은 주장을 확인했지만, 이를 담당한 특정 모델이나 에이전트 아키텍처를 명시하지 않았다. 회사는 출시 시점에 증명을 공개하지 않았으며, 화요일 기준으로 어떤 독립적인 수학자도 결과를 확인하지 않았다. 이 간극 — 공개적으로 검토 가능한 증명 없이 이루어진 대형 발표 — 이 바로 가장 날카로운 비판을 불러온 지점이다.

참고로, OpenAI는 세부 사항이 완전히 공개되기 전에 논란을 일으키는 고프로필 출시를 반복하는 패턴을 보여 왔다. GPT-6 Astra 출시는 공개 몇 시간 만에 삐걱거렸고, 회사의 에이전트 투명성 기록은 올해 이미 면밀한 검토를 받고 있다.

수학을 넘어선 의미

AI 추론 도구를 활용하는 모든 이에게, 나비에-스토크스 주장은 최전선 AI 에이전트가 이제 무엇을 시도하고 있는지를 보여주는 데이터 포인트다 — 단순한 코드 생성이나 이미지 합성이 아니라, 알려진 가장 어려운 수준의 형식적 수학 증명이다. 이 특정 결과가 유효하든 그렇지 않든, 연구자들이 이용할 수 있는 모델 역량이 2023년까지만 해도 수십 년은 걸릴 것으로 여겨지던 영역으로 진입하고 있음을 시사한다.

이 논란은 또한 AI 보조 증명이 어떻게 다투어질 것인지에 대한 선례를 세운다. OpenAI의 에이전트가 실제로 유효한 풀이를 도출했다면, 동료 심사를 통한 검증 과정이 진정한 시험대가 될 것이다 — 그리고 행위 관련 의혹은 별도로 다루어져야 할 것이다. 두 질문 모두 아직 해결되지 않았다.

The Verge는 뉴욕타임스와 Wired가 화요일 이른 시간에 이 발표를 보도했다고 전했다. 이는 OpenAI가 수학 커뮤니티가 연구를 검토할 기회를 갖기 전에 미디어 공개를 조율했음을 시사하며, 이 순서 선택 자체가 이야기의 일부가 될 수 있다.