나비에-스토크스 방정식이란 — 오픈AI가 풀었다면서 상금은 안 받겠다는 이유
The Navier-Stokes equations describe how fluids such as water and air move, and whether their solutions always stay smooth in three dimensions is one of the seven Millennium Prize Problems, each worth 1 million dollars. On September 8, 2026 OpenAI published a 166-page manuscript and a Lean formal proof showing that an initially smooth fluid can develop a singularity in finite time when a smooth external force is applied, work done by an internal model and about 10,000 agents over 88 hours. OpenAI said it will not claim the prize, and the Clay Mathematics Institute has begun its review.
나비에-스토크스 방정식은 물과 공기 같은 유체가 어떻게 움직이는지를 나타내는 방정식이다. 3차원에서 이 방정식의 해가 언제나 매끄럽게 유지되는지, 아니면 어느 순간 무한대로 터지는지를 증명하는 문제는 상금 100만 달러가 걸린 7개 밀레니엄 난제 중 하나다. 오픈AI는 2026년 9월 8일 매끄러운 외력이 가해지면 처음에 매끄러운 유체도 유한한 시간 안에 특이점이 생길 수 있다는 166쪽 원고와 기계 검증 가능한 린(Lean) 증명을 공개했다. 내부 모델과 약 1만 개 에이전트가 88시간 동안 만든 결과다. 오픈AI는 상금을 청구하지 않겠다고 밝혔고, 클레이 수학연구소는 검토에 들어갔다
3줄 요약
- 방정식 — 유체의 움직임을 적은 식. 3차원에서 해가 늘 매끄러운지가 밀레니엄 난제, 상금 100만 달러
- 주장 — 2026년 9월 8일 오픈AI, 외력이 있으면 유한 시간 안에 특이점이 생긴다는 166쪽 원고와 린 증명 공개
- 단서 — '외력' 조건이 상금 기준을 채우는지 미정. 오픈AI는 상금 청구 안 한다. 클레이 연구소 검토 시작
핵심 질문
- 나비에-스토크스 방정식이 무엇인가
- **유체에 뉴턴의 운동 법칙을 적용한 방정식이다.** 물이 흐르고, 연기가 퍼지고, 비행기 날개 위로 공기가 지나가는 모습을 계산할 때 쓴다. 19세기 초 프랑스의 클로드루이 나비에와 영국의 조지 스토크스가 완성했다. | 항목 | 내용 | |---|---| | 무엇을 적나 | 유체 속 각 지점의 속도와 압력이 시간에 따라 어떻게 변하는지 | | 들어가는 힘 | 관성, 압력, 점성(끈적임), 외력(중력 등) | | 쓰이는 곳 | 일기예보, 항공기·자동차 설계, 혈류, 해류 | | 문제 | 식은 알지만 **3차원에서 해가 늘 존재하고 매끄러운지** 모른다 | **공학자들은 이 식을 매일 컴퓨터로 푼다.** 그런데 그 해가 수학적으로 늘 말이 되는지 — 어느 순간 속도가 무한대로 터지지 않는지 — 는 아무도 증명하지 못했다. 그것이 밀레니엄 난제다.
- 밀레니엄 난제는 무엇이고 몇 개가 풀렸나
- **클레이 수학연구소가 2000년 발표한 7개 문제로, 각각 상금 100만 달러가 걸렸다.** | 문제 | 상태 | |---|---| | 푸앵카레 추측 | **해결** — 그리고리 페렐만, 상금 거절 | | 나비에-스토크스 존재성과 매끄러움 | **2026년 9월 오픈AI 주장, 검토 중** | | 리만 가설 | 미해결 | | P 대 NP | 미해결 | | 양-밀스 존재성과 질량 간극 | 미해결 | | 호지 추측 | 미해결 | | 버치-스위너턴다이어 추측 | 미해결 | **나비에-스토크스 문제는 두 방향 중 하나를 증명하면 된다.** 해가 늘 매끄럽다는 것(A·B), 또는 매끄럽지 않게 터지는 경우가 있다는 것(C·D). 오픈AI는 **C와 D, 즉 '터지는 경우가 있다' 쪽**을 증명했다고 주장한다.
- 오픈AI는 왜 상금을 청구하지 않나
- **'외력'이라는 조건 때문이다.** 오픈AI의 증명에서 유체에는 처음부터 끝까지 **매끄러운 외력**이 가해진다. 이 조건에서 특이점이 생긴다는 것을 보였다. | 쟁점 | 내용 | |---|---| | 오픈AI가 보인 것 | 매끄러운 외력 아래, 처음에 매끄럽던 유체가 유한 시간에 특이점 | | 남은 질문 | 외력이 있는 해가 클레이 연구소의 공식 기준을 충족하나 | | 오픈AI 입장 | **"상금을 청구할 생각이 없다"** | | 클레이 연구소 | 해결 가능성을 인정하고 **전문가 검토 시작** | 더 넥스트 웹은 상금 불청구 결정을 **"오픈AI 스스로 이 주장의 강도를 어떻게 평가하는지 보여주는 가장 분명한 신호"** 라고 썼다. 퀀타 매거진은 결과가 린으로 형식 검증돼 수학자들이 정확성을 신뢰할 수 있다고 전했다. **증명이 맞다는 것과, 그것이 상금 기준을 채운다는 것은 다른 질문이다.**
- AI는 이 증명을 어떻게 만들었나
- **한 모델이 오래 생각한 게 아니라, 수천 개가 동시에 나눠 풀었다.** | 항목 | 수치 | |---|---| | 기간 | 2026년 9월 1~5일, **88시간** | | 에이전트 수 | 약 **1만 개** 동시 가동 | | 주고받은 메시지 | 약 **270만 건** | | 사용 토큰 | 약 **1,300억 개** | | 추가 검증 | GPT-6 아스트라로 **17시간** | | 공개물 | 166쪽 원고, **린 형식 증명**, 깃허브 저장소 | **린(Lean)은 증명을 컴퓨터가 한 줄씩 확인하는 언어다.** 사람이 166쪽을 다 읽지 않아도 기계가 논리의 빈틈을 검사한다(「형식 증명이란」). 다만 이 방식은 **막대한 연산 자원이 있는 조직만** 쓸 수 있다는 지적도 나왔다. 앤트로픽의 클로드가 9월 초 페르마의 마지막 정리를 형식화한 것과 같은 흐름이다.
물이 흐르는 식은 200년 전에 나왔다. 그 식이 언제나 말이 되는지는 아직 아무도 모른다. 2026년 9월, AI가 그 질문의 절반에 답했다는 주장이 나왔다.
1. 정의 — 유체의 운동 방정식
나비에-스토크스 방정식은 유체(물·공기·기름)의 속도와 압력이 시간에 따라 어떻게 변하는지 적은 식이다. 뉴턴의 제2법칙(힘 = 질량 × 가속도)을 흐르는 물질에 적용한 것이다.
| 식에 들어가는 항 | 뜻 | 예 |
|---|---|---|
| 관성 | 움직이던 것은 계속 움직이려 한다 | 소용돌이가 이어짐 |
| 압력 | 높은 곳에서 낮은 곳으로 민다 | 바람 |
| 점성 | 끈적임이 움직임을 늦춘다 | 꿀이 천천히 흐름 |
| 외력 | 바깥에서 가하는 힘 | 중력, 젓는 숟가락 |
일기예보, 비행기 날개, 자동차 공기역학, 혈관 속 혈류가 모두 이 식으로 계산된다. 공학에서는 늘 쓰지만, 수학적으로 해가 늘 존재하고 매끄러운지는 증명되지 않았다.
2. 무엇이 난제인가
질문은 단순하다. 3차원에서, 처음에 매끄럽게 흐르던 유체가 언젠가 어떤 점에서 속도가 무한대로 터질 수 있는가?
| 가능성 | 뜻 | 밀레니엄 문제의 항목 |
|---|---|---|
| 절대 안 터진다 | 해가 영원히 매끄럽다 | A·B |
| 터질 수 있다 | 유한 시간에 특이점이 생긴다 | C·D |
둘 중 하나를 증명하면 된다. 클레이 수학연구소는 2000년 이 문제를 7개 밀레니엄 난제에 넣고 상금 100만 달러를 걸었다. 7개 중 풀린 것은 2003년 페렐만의 푸앵카레 추측 하나뿐이다.
3. 오픈AI가 주장한 것
| 항목 | 내용 |
|---|---|
| 발표 | 2026년 9월 8일 |
| 결과 | 매끄러운 외력 아래, 처음에 매끄러운 유체가 유한 시간에 특이점 (C·D 방향) |
| 공개물 | 166쪽 원고 + 린 형식 증명 + 깃허브 |
| 만든 방법 | 비공개 내부 모델 + 약 1만 개 에이전트, 88시간 |
| 검증 | GPT-6 아스트라로 17시간 추가 검증 |
| 상금 | 청구하지 않겠다 |
| 클레이 연구소 | 검토 시작 |
4. 핵심 단서 — '외력'
오픈AI의 유체에는 처음부터 끝까지 매끄러운 외력이 가해진다. 누군가 계속 젓고 있는 물이다. 그 조건에서 특이점이 생긴다는 것을 보였다.
| 질문 | 답 |
|---|---|
| 증명 자체가 맞나 | 린 형식 검증을 거쳐 신뢰도가 높다(퀀타) |
| 외력 있는 해가 상금 기준에 맞나 | 미정 — 수학자들이 판단해야 한다 |
| 오픈AI의 자체 평가 | 상금 불청구 — 기준 충족을 확신하지 않는다는 신호 |
'증명이 맞다'와 '밀레니엄 문제를 풀었다'는 다른 문장이다. 오픈AI 발표 직후에는 앤트로픽 소속 레방 알푀게와 뉴욕대 트리스탄 버크매스터의 선행 연구를 둘러싼 공로 논쟁도 벌어졌다. 오픈AI는 이후 두 사람의 동시 연구를 인정했다.
5. 왜 중요한가
| 의미 | 설명 |
|---|---|
| 방법 | 한 모델이 아니라 에이전트 1만 개의 분업이 난제를 공략 |
| 검증 | 사람의 심사 대신 기계 검증(린) 이 신뢰의 근거 |
| 비용 | 1,300억 토큰 — 거대 연산 자원을 가진 조직만 가능 |
| 흐름 | 9월 초 클로드의 페르마 마지막 정리 형식화에 이어 두 번째 대형 사례 |
형식 증명의 원리는 따로 정리했다(「형식 증명이란」). AI 수학의 첫 대형 사례는 「클로드 페르마 마지막 정리 형식화」에서 다뤘다.
6. 자주 묻는 것
Q. 그럼 일기예보가 틀리게 되나? 아니다. 일기예보는 근사 계산이고, 이번 결과는 특정한 수학적 조건에서 해가 터질 수 있다는 이론적 증명이다. 실생활 계산에는 당장 영향이 없다.
Q. 상금은 누가 받나? 오픈AI는 청구하지 않겠다고 했다. 클레이 연구소의 검토 결과와 공로 논쟁의 결론이 나와야 판단할 수 있다.
7. 남은 것과 확인되지 않은 것
- 선행 연구의 범위(외력 없는 문제인지, 오일러 방정식인지)는 보도가 엇갈린다.
- 클레이 연구소의 검토 일정은 공개되지 않았다.
- 린 증명이 원고의 모든 단계를 형식화했는지 독립적으로 확인하지 못했다.
출처
- Quanta Magazine — AI has solved one of math's $1 million Millennium Prize problems
- The Next Web — OpenAI publishes its Navier-Stokes proof and says it will not claim the Millennium Prize
- CNN Business — OpenAI says it has solved one of math's Millennium Problems
- Axios — OpenAI's historic math solution overshadowed by credit controversy
- Wikipedia — Navier–Stokes existence and smoothness
- Wikipedia — Millennium Prize Problems