OpenAI 나비에-스토크스 해법 공개: 100만 달러 밀레니엄 문제가 정말 풀린 걸까?

OpenAI가 밀레니엄 난제 가운데 하나인 나비에-스토크스 존재성과 매끄러움 문제의 해법을 공개했다. 자연어 논문과 Lean 형식 증명까지 함께 내놓았고, 회사는 자사 시스템이 CMI 공식 문제의 C와 D를 해결했다고 주장한다.

현재 공개된 것은 구체적인 해법이며, CMI의 공식 인정은 아직 이뤄지지 않았다. 검토할 항목은 OpenAI가 구성한 외력·초기 조건·에너지 조건과 전체 증명이 CMI의 C·D 요건을 실제로 충족하는지다. 외력의 유무만으로 판단할 수 없으며, 독립적인 학술 검토와 CMI가 정한 인정 절차가 남아 있다.

클레이 문제는 A·B·C·D 네 가지 답을 허용한다

나비에-스토크스 방정식은 점성 유체의 속도와 압력이 시간에 따라 어떻게 변하는지를 나타낸다. 3차원에서 매끄러운 초기 상태가 영원히 매끄럽게 유지되는지, 아니면 유한 시간 안에 특이점이 생길 수 있는지가 오랫동안 풀리지 않았다.

Charles Fefferman이 작성한 CMI 공식 문제 설명은 네 가지 선택지를 제시한다. 이 가운데 하나를 증명하면 된다.

• A: 전체 공간 ℝ³에서 외력 f=0일 때 전역적인 매끄러운 해가 존재한다.
• B: 주기적 영역 ℝ³/ℤ³에서 외력 f=0일 때 전역적인 매끄러운 해가 존재한다.
• C: 전체 공간 ℝ³에서 CMI의 매끄러움·감쇠 조건을 만족하는 초기값과 외력이 존재하지만, 전역적인 매끄러운 유한 에너지 해는 존재하지 않는다.
• D: 주기적 영역 ℝ³/ℤ³에서 해당 주기성과 매끄러움 조건을 만족하는 초기값과 외력이 존재하지만, 전역적인 매끄러운 해는 존재하지 않는다.

CMI 문제의 범위에는 외력이 없는 경우와 특정 외력을 허용하는 경우가 모두 포함된다. A·B에서는 외력을 0으로 두며, 붕괴 사례를 다루는 C·D에서는 일정한 조건을 만족하는 매끄러운 외력을 허용한다. 외력이 포함됐다는 사실만으로 밀레니엄 문제의 범위에서 벗어났다고 볼 수 없다.

OpenAI가 실제로 증명했다고 주장한 것은 무엇인가

OpenAI 논문의 정리 1.1은 모든 양의 점성계수에 대해 다음과 같은 해를 구성했다고 말한다. 초기 속도는 0이고, 외력은 공간과 시간에 대해 무한히 미분 가능하며 compact support를 갖는다. 해는 특이점이 생기기 전까지 매끄럽고 공간적으로 제한된 영역에 머문다. 운동에너지는 균일하게 유한하지만, 시간 1에 가까워지면서 속도의 최댓값은 무한대로 커진다.

논문은 이 구성 때문에 같은 초기값과 외력으로 전 시간에 걸쳐 매끄럽고 에너지가 균일하게 제한된 해가 존재할 수 없다고 결론 낸다. 이것이 전체 공간에 관한 C를 성립시키고, compact support를 이용하면 주기적 영역에 같은 구성을 놓을 수 있어 D도 성립한다고 명시한다.

OpenAI가 제시한 정리는 CMI의 C·D 조건을 직접 겨냥해 작성됐다. 독립 연구자들은 외력의 매끄러움과 감쇠 또는 주기 조건, 초기값과 에너지 조건을 확인해야 한다. 166쪽에 이르는 전체 논증이 실제로 결론을 성립시키는지도 검토 대상이다.

OpenAI는 수축하는 소용돌이의 중심부에서 속도가 커져도, 해당 영역의 부피가 빠르게 줄어 전체 운동에너지는 유한하게 유지되는 구조를 제시한다. 운동 항과 점성·압력 항이 정밀하게 상쇄되므로 최종 외력과 그 모든 미분은 매끄럽게 남는다는 설명이다. 무한한 힘을 넣어 속도를 키우는 방식은 사용하지 않는다.

Lean 검증은 강한 근거지만 공식 인정은 아니다

자연어 수학 논문은 “자명하다”고 넘어간 단계나 숨은 전제에서 오류가 발견되곤 한다. Lean은 정의와 이미 증명된 정리를 바탕으로 각 추론이 규칙에 맞게 연결되는지 검사한다. AI가 만든 긴 증명에 형식 검증을 붙인 것은 검토 가능성을 크게 높인다.

OpenAI는 에이전트가 결과에 도달한 뒤 GPT-6 Astra로 Lean 형식화와 검증을 완료하는 데 17시간이 추가로 걸렸다고 밝혔다. Lean 소스도 공개했다. 제3의 수학자들이 논문의 의미와 정의를 검토해 받아들이는 과정은 아직 남아 있다.

Lean 통과 주장은 증명의 논리적 연결을 확인하는 강한 근거다. 전문가들은 형식화한 정리와 사용한 정의가 CMI 원문에 정확히 대응하는지, 라이브러리와 보조 정리의 전제가 적절한지, 자연어 논문과 형식 증명이 같은 내용을 담는지 확인해야 한다. Lean 형식화 공개, 수학계의 일반적 수용, CMI의 공식 인정은 각각 별도의 절차다.

100만 달러 상금 인정에는 최소 2년이 필요하다

CMI의 밀레니엄 문제 공식 규정은 Proposed Solution을 검토하기 전에 세 조건이 모두 충족돼야 한다고 명시한다. 해법이 CMI가 인정하는 Qualifying Outlet에 발표돼야 하고, 발표 후 최소 2년이 지나야 하며, 전 세계 수학계에서 일반적으로 받아들여져야 한다. CMI는 해법을 직접 제출받지도 않는다.

※ CMI는 특정 학술지 목록을 사전에 인증하지 않는다. Qualifying Outlet 해당 여부는 공식 규정에 따라 CMI가 판단한다.

따라서 지금 “OpenAI가 C·D 해법을 공개했다”고 쓰는 것은 발표와 논문의 내용을 정확히 전달한다. 반면 “CMI가 해결을 인정했다”거나 “상금 수상이 확정됐다”고 쓰는 것은 현재 상태와 다르다.

OpenAI는 이번 결과로 밀레니엄 상을 청구할 계획이 없다고 밝혔다. 이번 발표에서 100만 달러는 OpenAI가 실제로 얻으려는 보상보다, 이 문제가 수학계에서 얼마나 어려운 문제로 평가되는지를 보여주는 기준에 가깝다. OpenAI의 미청구 방침과 CMI의 공식 인정 여부는 별도로 판단해야 한다.

1만 개 에이전트의 실제 운영 방식

OpenAI가 말한 “1만 개 에이전트”는 전체 기간의 누적 실행 횟수가 아니다. 공식 발표는 최종 나비에-스토크스 결과를 낸 그룹에 약 1만 개 규모의 에이전트가 동시에 실행됐다고 설명한다.

탐색은 9월 1일 시작됐다. OpenAI는 미해결 밀레니엄 문제 전반을 내부 모델로 평가하면서, 상대적으로 쉬운 관련 문제에도 별도 에이전트 그룹을 배치했다. 그중 약 100개의 에이전트가 약 50시간 동안 무외력 Euler 방정식의 정칙성 문제를 탐색해 먼저 반례 방향의 결과를 냈다.

OpenAI는 이 중간 성과를 보고 나비에-스토크스가 가장 가능성이 높은 문제라고 판단했다. 다른 밀레니엄 문제에 배치했던 에이전트를 나비에-스토크스로 옮기고, Euler 결과도 새로 투입된 에이전트의 프롬프트에 제공했다. 여러 그룹은 A·B·C·D와 서로 다른 접근법을 나눠 탐색했으며 같은 그룹 안에서는 결과를 주고받았다. 이후 Codex가 각 그룹의 유용한 중간 결과를 정리해 다른 그룹의 후속 프롬프트에 다시 넣었다.

첫 에이전트 실행 약 88시간 뒤인 9월 5일 나비에-스토크스 해법에 도달했다. 이 과정에서 에이전트들은 270만 개 메시지를 주고받았고 약 1,300억 개의 output token을 사용했다. 계산 자원은 Euler에서 나온 성과를 기준으로 재배치됐으며, 중간 결과는 다음 탐색의 입력으로 다시 사용됐다.

OpenAI는 증명 탐색에 GPT-6 Astra보다 성능이 크게 높다고 설명한 미공개 내부 모델을 사용했다. 이 모델은 8월 28일부터 학습 중이었고 발표 시점에도 학습이 계속되고 있었다. GPT-6 Astra는 해법이 나온 뒤 17시간 동안 진행된 Lean 형식화와 검증을 맡았다. OpenAI는 이번 발표를 통해 개발 중인 모델의 연구 능력이 빠르게 높아지고 있다는 점도 보여주려 했다. 이 발표만으로 해당 모델의 제품명, 일반적인 성능이나 출시 시기를 추정할 수는 없다.

눈여겨볼 부분은 세 가지다.

1. 병렬 탐색: 밀레니엄 문제와 관련 문제를 여러 그룹이 동시에 검토했다.
2. 자원 재배치와 결과 통합: Euler 성과를 확인한 뒤 계산 자원을 나비에-스토크스로 옮겼고, Codex로 중간 결과를 정리해 그룹 사이에 전달했다.
3. 형식 검증: 최종 산출물을 GPT-6 Astra로 Lean에 형식화해 논리적 연결을 검사하고 소스를 공개했다.

이 연구에는 사람의 운영도 포함됐다. 사람이 문제 배분, 그룹 설계, 자원 재배치, 중간 결과 통합 방식을 정했고 Codex와 GPT-6 Astra가 각각 결과 정리와 형식화를 맡았다. 개발 중인 모델과 함께 대규모 탐색을 운영하고, 중간 성과를 다음 탐색과 검증으로 연결하는 연구 시스템이 최전선 문제에 사용된 사례다.

그래서 나비에-스토크스 문제는 풀린 걸까?

OpenAI는 CMI 공식 문제의 C와 D를 해결했다고 주장하는 구체적인 증명과 Lean 형식화를 공개했다. 논문은 정지 상태의 유체, 매끄럽고 compact support를 갖는 외력, 유한한 운동에너지, 유한 시간 속도 폭발을 하나의 정리로 제시한다. 논문의 정리는 CMI의 C·D 조건을 직접 다룬다.

그러나 이 증명이 실제로 성립하는지에 대한 독립적인 학술 검증과 수학계의 수용은 아직 남아 있다. Lean 형식화도 OpenAI가 완료했다고 밝힌 결과이며, 그것만으로 CMI가 문제를 공식적으로 해결됐다고 인정한 것은 아니다. CMI 검토 전에는 적격 출판, 발표 후 최소 2년, 전 세계 수학계의 일반적 수용이라는 절차도 충족해야 한다.

따라서 현재 가장 정확한 결론은 이렇다. OpenAI는 나비에-스토크스 밀레니엄 문제의 C·D 해법을 공개했다. 하지만 100만 달러 문제가 CMI에 의해 공식적으로 해결됐다고 인정된 상태는 아니다.

참고 출처

• OpenAI, On the Navier–Stokes Millennium Prize Problem
• OpenAI, Finite Time Blowup for Navier–Stokes
• OpenAI, NavierStokesAndEuler — Lean formalized proof
• Clay Mathematics Institute, Existence and Smoothness of the Navier–Stokes Equation — Charles L. Fefferman
• Clay Mathematics Institute, Rules for the Millennium Prize Problems