On the Navier–Stokes Millennium Prize Problem

🖼️ 인포그래픽

🖼️ 4컷 인포그래픽

💡 한 줄 요약

OpenAI는 GPT‑6 Astra보다 훨씬 강력한 내부 모델과 다중 에이전트 시스템으로 나비에–스토크스 방정식의 유한 시간 특이점 형성을 증명했다고 발표하고, 해석적 증명과 Lean 형식화를 공개하며 AI 발전 속도와 책임 있는 개발의 중요성을 강조한다.

📌 핵심 요약

• OpenAI는 매끄러운 외력이 작용하는, 처음에는 정지해 있고 매끄러운 3차원 비압축성 유체가 에너지를 유한하게 유지하면서 유한 시간 안에 특이점을 형성함을 증명해, 나비에–스토크스 밀레니엄 문제의 공식 진술 C와 D를 확립했다고 주장한다.
• 해의 핵심은 안쪽으로 나선 운동을 하며 길게 늘어나는 소용돌이다. 중심 영역이 줄어들면서 속도가 무한히 커지지만 에너지는 유한하게 유지되고, 가속도·압력 기울기·운동량 전달·점성 항의 정밀한 상쇄로 외력은 매끄럽게 남는다고 설명한다.
• GPT‑6 Astra보다 훨씬 강력하다는 내부 모델을 활용했으며, 거의 100개 에이전트가 약 50시간 동안 외력 없는 오일러 방정식의 정칙성을 반증한 뒤 나비에–스토크스에 자원을 집중했다. 해법을 낸 그룹은 약 10,000개 동시 에이전트로 구성됐고, 시작 약 88시간 뒤 해법에 도달했으며 GPT‑6 Astra의 Lean 형식화와 검증에 17시간이 추가로 걸렸다.
• 전체 시도에는 메시지 490만 개와 출력 토큰 약 3,000억 개가, 나비에–스토크스 해결 과정에는 메시지 270만 개와 출력 토큰 약 1,300억 개가 사용됐다. OpenAI는 외력이 있는 오일러 문제를 해결한 Levent Alpöge와 Tristan Buckmaster의 우선권을 인정하면서, 해당 연구의 비공개 내용이나 특정 사용자 데이터가 자사 해법에 사용되지 않았다고 밝힌다.
• OpenAI는 이번 결과의 목적이 AI 모델의 상당한 발전을 알리는 데 있으며 밀레니엄상을 청구할 의향은 없다고 설명한다. 또한 모델을 이해하고 그 결과를 역량 발전의 방향과 속도 조절에 활용하면서, 사람이 방향을 조정할 수 있고 책임성을 갖추며 사람과 연결된 AI를 추구한다고 밝힌다.

🧩 주요 포인트

1. 매끄러운 외력과 유한한 에너지 조건에서도 특이점이 형성된다는 주장 → 점성이 있는 유체의 연속체 모형이 매끄러운 초기 상태에서 붕괴할 수 있다는 결론으로 이어진다.
2. 외력 없는 오일러 해법을 발판으로 약 10,000개 동시 에이전트의 탐색과 Lean 검증을 연결 → 모델 역량뿐 아니라 자원 집중, 중간 결과 공유, 형식화가 결합된 문제 해결 과정을 보여준다.
3. 대규모 계산 자원 사용, 병행 연구의 우선권 인정, 밀레니엄상 청구 의향 부재 → 수학적 성과와 함께 연구의 독립성 및 AI 발전 속도에 대한 책임을 발표의 주요 논점으로 삼는다.

🧠 상세 정리

1. 오래된 유체 방정식과 미해결 문제

원문은 OpenAI의 내부 시스템이 나비에–스토크스 존재성과 매끄러움 문제의 해법을 만들었다고 발표하며, 해석적 증명과 Lean 형식화를 함께 공개한다고 밝힌다. 나비에–스토크스 방정식은 뉴턴의 운동 제2법칙인 F=ma를 바탕으로 유체를 개별 분자의 집합 대신 연속체로 취급하며, 항공기 설계와 일기예보, 혈류 연구에 사용된다. 이 방정식은 19세기 Claude-Louis Navier와 George Gabriel Stokes의 연구에서 유래했고, Jean Leray는 1934년 일반화된 의미에서 해가 존재함을 증명했다. 그러나 매끄러운 3차원 유체 운동이 계속 매끄럽게 유지되는지는 약 90년 동안 해결되지 않은 질문으로 남았다는 설명이다. Clay Mathematics Institute는 2000년 이 존재성과 매끄러움 문제를 일곱 가지 밀레니엄 문제 중 하나로 선정했다.

2. 특이점의 의미와 발표된 결과의 조건

원문이 다루는 질문은 밀도가 일정한 3차원 비압축성 유체가 매끄럽게 운동을 시작하더라도 유한 시간 안에 특이점을 형성할 수 있는지다. 여기서 특이점은 유체의 속도가 유한한 시간 안에 한계 없이 커지는 현상이며, 운동을 매끄럽게 만드는 경향이 있는 점성에도 불구하고 발생해야 한다. OpenAI는 처음에는 정지해 있고 매끄러운 유체에 매끄러운 외력을 가했을 때 이러한 특이점이 생기며, 정지 상태에서 특이점 형성에 이르는 전 과정에서 에너지가 유한하게 유지되는 해를 증명했다고 주장한다. 이 결과로 밀레니엄 문제의 공식 진술 C와 D를 확립했다는 것이 원문의 결론이다. 실제 유체는 무한한 속도로 움직일 수 없으므로, 원문은 이 현상을 연속체 방정식의 모형화가 붕괴하는 지점으로 설명하고 이후에는 개별 입자의 거동을 추적해야 한다고 서술한다.

3. 소용돌이의 수축과 방정식 항의 상쇄

발표된 해의 모습은 안쪽으로 나선 운동을 하면서 스파게티처럼 점점 길어지는 소용돌이다. 중심 영역은 줄어드는 동시에 운동 속도가 커지지만, 그 변화가 전체 에너지를 유한하게 유지하는 방식으로 진행된다고 원문은 설명한다. 핵심 기술적 과제는 무한한 힘을 외부에서 인위적으로 넣는 대신 유체 자체의 운동을 통해 방정식의 붕괴가 발생하도록 만드는 것이다. 이를 위해 가속도, 압력 기울기, 운동량 전달, 점성을 나타내는 항들이 각각 커지면서도 정밀하게 상쇄되어야 하며, 이 균형 덕분에 속도가 무한히 커져도 외력은 매끄럽게 남는다는 설명이다. 함께 제시된 국소 비압축성 운동의 시각화는 안쪽 나선 운동과 축 방향 신장을 보여주고, 각회전의 빠르기와 원주 방향 속도를 구분하면서 후자는 반지름에도 의존한다고 덧붙인다.

4. 내부 모델 훈련과 다중 에이전트 탐색의 시작

OpenAI는 8월 28일부터 새로운 내부 모델을 훈련했으며, 이 모델이 수학을 포함한 자체 벤치마크에서 전례 없는 성능을 보였고 훈련과 성능 개선이 계속되고 있다고 서술한다. 원문은 이 모델이 GPT‑6 Astra보다 훨씬 강력하다고 평가하며, 9월 1일 화요일 두 밀레니엄 문제가 해결됐다는 소문과 모델 성능의 도약을 계기로 모든 미해결 밀레니엄 문제 및 다른 주요 문제에 대한 평가를 시작했다고 설명한다. 에이전트들은 저장된 인터넷 자료를 읽고 코드를 실행할 수 있었으며, 그룹 안에서 서로 소통하도록 구성됐다. 그룹 규모는 서로 달랐고, 나비에–스토크스 해법을 낸 그룹에는 약 10,000개 에이전트가 동시에 참여했다. 연구진은 감시와 격리를 포함한 최첨단 모델 평가의 엄격한 보호조치를 유지하면서, 서로 다른 그룹에 공식 진술 A·B와 C·D 등 문제의 여러 형태를 나누어 제시했다고 밝힌다.

5. 오일러 해법에서 나비에–스토크스로의 전환

연구진은 밀레니엄 문제 전체와 함께 상대적으로 쉬운 문제들도 제시했으며, 그중 하나는 나비에–스토크스 방정식에서 점성 항을 제거한 오일러 방정식의 정칙성 문제였다. 원문에 따르면 거의 100개 에이전트가 약 50시간 협력해 외력이 전혀 가해지지 않는 경우의 정칙성을 반증했고, 이 성과는 연구진에게도 예상 밖이었다. 이 해법을 본 뒤 연구진은 나비에–스토크스를 가장 유망한 대상으로 판단해 다른 밀레니엄 문제에서 에이전트를 옮기고, 오일러 해법을 새 작업의 입력으로 제공했다. 작업 도중 더 훈련된 내부 모델이 준비되자 에이전트에 적용된 모델도 갱신했다. 여러 그룹이 다양한 접근법을 탐색하도록 한 다음 Codex로 각 그룹의 유용한 중간 결과를 모아 후속 프롬프트에 반영했으며, 최종 해법을 찾은 그룹도 이러한 교류를 통해 안내받았다고 설명한다.

6. 해법 도달 시간과 형식화 및 계산 규모

원문에 따르면 에이전트들은 최초 투입으로부터 약 88시간이 지난 9월 5일 토요일 나비에–스토크스 해법에 도달했다. 이후 GPT‑6 Astra를 이용한 Lean 형식화와 검증에 17시간이 추가로 소요됐으며, 전체 프로젝트와 Lean 검증은 9월 6일 완료됐다고 서술한다. 모든 문제에 대한 시도를 합치면 에이전트들이 주고받은 메시지는 490만 개이고, 사용한 출력 토큰은 약 3,000억 개였다. 나비에–스토크스 문제 해결 과정만 보면 메시지 270만 개와 출력 토큰 약 1,300억 개가 사용됐다. 이 수치와 작업 순서는 원문이 제시한 성과가 대규모 병렬 탐색, 그룹 간 중간 결과 공유, 해법 도출 뒤의 형식화 및 검증을 거쳐 만들어졌음을 보여준다.

7. 병행 연구의 우선권과 연구 독립성에 대한 설명

OpenAI는 연구를 시작하게 한 소문이 Anthropic 직원 Levent Alpöge와 NYU 수학 교수 Tristan Buckmaster의 연구와 관련됐음을 나중에 알았다고 설명한다. 9월 6일 자체 작업과 Lean 검증을 마친 뒤 두 사람도 나비에–스토크스 해법을 얻었다고 생각해 동시 공개와 공동 발표에서의 우선권 인정을 제안했지만, 대화 과정에서 이들이 내부 Anthropic 모델로 해결한 것은 외력이 있는 오일러 문제였음을 확인했다고 밝힌다. OpenAI는 이들에게 사용한 모든 프롬프트를 볼 기회와 이후 증명을 볼 기회를 제안했고, 외력이 있는 오일러 문제에 관한 연구의 우선권을 인정한다고 서술한다. 또한 연구진과 에이전트 모두 상대 연구가 공개되기 전에는 어떤 경로로도 그 내용을 보지 않았으며, 문제 해결에 특정 사용자 데이터가 사용되지 않았다고 주장한다. 조사 결과 2026년 9월 8일 발표와 논문 공개 이전 두 달간의 Buckmaster의 Codex 프롬프트는 훈련을 포함한 어떤 방식으로도 해당 시스템에 영향을 줄 수 없었다고 밝히며, 내부 모델은 기존 사전학습 모델 위에 대규모 강화학습을 적용해 개발됐다고 설명한다. 두 증명도 상당히 다르며, 특히 상대의 오일러 결과에는 외력이 있지만 OpenAI의 결과에는 외력이 없다는 점을 강조한다.

8. 성과 공개의 목적과 AI 발전에 대한 책임

OpenAI는 이번 결과를 공개하는 목적이 자사 AI 모델의 상당한 발전을 알리는 데 있으며, 이 결과로 밀레니엄상을 청구할 의향은 없다고 밝힌다. 원문은 이 성과가 수학자와 AI 연구자들의 상당한 작업을 바탕으로 하지만, AI 개발의 최종 도달점이 아니라 특정 시점의 진전을 보여주는 사례라고 규정한다. 또한 AI 발전이 새로운 시기로 접어들었다는 자사의 판단을 이번 결과가 뒷받침한다고 주장하며, 앞으로 나올 모델과 발전 속도에 관해 세계에 알리는 일이 중요하다고 설명한다. 연구진은 해당 모델을 이해하는 데 집중하고, 그 과정에서 배운 내용을 추가적인 역량 발전의 방향과 속도를 조절하는 데 활용하겠다고 서술한다. 사람이 방향을 조정할 수 있고 책임성을 갖추며 사람과 연결된 AI 시스템을 만드는 것이 주요 목표이며, AGI가 인류 전체에 이익이 되도록 하려면 발전 속도에 관한 더욱 신중한 선택이 필요할 수 있다고 덧붙인다.

🧾 핵심 주장 / 시사점

• 발표된 결과를 이해하는 핵심은 속도의 발산과 에너지의 유한성을 구분하는 데 있다. 원문은 소용돌이 중심 영역의 수축과 방정식 항의 상쇄를 통해 두 조건이 함께 성립한다고 설명한다.
• 오일러 문제의 중간 성과가 연구 자원의 재배치를 이끌었다는 점에서, 문제 간 연결과 에이전트 그룹 사이의 결과 공유가 최종 해법 탐색의 주요 전환점이었다.
• 원문은 수학적 해결 주장뿐 아니라 계산 규모, 병행 연구의 우선권, 데이터 이용과 연구 독립성, 발전 속도에 대한 책임을 함께 다루며 성과의 의미를 제시한다.

✅ 액션 아이템

• 나비에–스토크스 공식 진술 C와 D의 해결 주장을 매끄러운 외력과 유한한 에너지 조건을 중심으로 검토.
• 약 10,000개 동시 에이전트의 탐색과 GPT‑6 Astra의 Lean 형식화·검증이 맡은 역할을 구분해 파악.
• Levent Alpöge와 Tristan Buckmaster의 우선권 인정 및 특정 사용자 데이터가 사용되지 않았다는 OpenAI의 설명을 연구 독립성 판단에 함께 고려.

❓ 열린 질문

• 매끄러운 외력과 유한한 에너지 조건을 유지하면서 속도가 무한히 커지도록 하는 방정식 항의 정밀한 상쇄는 어떻게 증명됐는가?
• 약 10,000개 동시 에이전트의 탐색에서 중간 결과 공유와 자원 집중은 해법 도달에 각각 어떤 영향을 주었는가?
• OpenAI는 모델에 대한 이해를 바탕으로 AI 발전 속도와 책임성을 어떤 기준에 따라 조정할 것인가?