2026년 9월 8일, OpenAI(오픈에이아이)가 AI 에이전트 1만 개를 투입해 나비에-스토크스(Navier-Stokes) 방정식의 밀레니엄 난제를 88시간 만에 풀었다고 발표했습니다. 이 문제는 클레이 수학연구소(Clay Mathematics Institute)가 2000년에 지정한 7대 밀레니엄 현상금 문제 중 하나로, 정답을 증명하면 100만 달러(약 13억 원)를 받습니다. 아직 독립적인 검증은 끝나지 않았지만, Lean 형식 증명이 함께 공개되어 수학계가 들끓고 있습니다.
나비에-스토크스 방정식이란 무엇인가요?
나비에-스토크스 방정식은 유체(액체와 기체)가 어떻게 움직이는지를 설명하는 미분방정식입니다. 19세기 중반에 처음 만들어졌고, 바다의 해류부터 비행기 날개 주변의 공기 흐름, 욕조 배수구의 소용돌이까지 모든 유체 현상을 수학으로 표현합니다.
밀레니엄 문제의 핵심 질문은 이것입니다. “3차원에서 이 방정식의 해가 유한한 시간 안에 무한대로 폭발(blow up)할 수 있는가?” 80년 넘게 수학자들이 풀지 못한 문제를 AI가 건드린 겁니다.
OpenAI는 어떻게 88시간 만에 증명했나?
OpenAI의 발표에 따르면 증명 과정은 다음과 같습니다.
- 모델: GPT-6 Astra(아스트라)보다 상위의 비공개 내부 모델을 사용했습니다.
- 에이전트 규모: 약 1만 개의 자율 AI 에이전트가 동시에 문제를 공략했습니다.
- 소통량: 에이전트들이 서로 주고받은 메시지는 총 490만 건, 나비에-스토크스 증명에만 270만 건·약 1,300억 출력 토큰이 쓰였습니다.
- 시간: 9월 1일에 에이전트를 가동해 9월 5일(토)에 증명을 완성했습니다. 이후 GPT-6 Astra가 Lean 형식 검증까지 17시간 만에 마쳤습니다.
- 비용: OpenAI 수학팀 리더 세바스티앙 뷔벡(Sébastien Bubeck)은 “수백만 달러”라고 밝혔습니다.
증명 결과를 요약하면, 유체 안의 소용돌이가 안쪽으로 말려 들어가면서 점점 빠르게 가속하는데, 에너지는 유한하게 유지되면서도 속도가 유한한 시간 안에 무한대에 도달하는 특이점(singularity)이 존재한다는 것입니다. 이를 공식 문제의 “C”와 “D” 진술을 해결한 것으로 OpenAI는 설명합니다.
수학자들의 반응과 저작권 논란은?
이 발표는 수학계에서 크게 환영받으면서도 동시에 심각한 논란을 일으켰습니다.
동시 연구와 우선권 분쟁
뉴욕대(NYU)의 트리스탄 벅마스터(Tristan Buckmaster)와 앤트로픽(Anthropic) 소속 레벤트 알퍼게(Levent Alpöge)는 약 1년간 관련 연구를 진행했습니다. 이들은 나비에-스토크스의 마찰 없는 버전인 오일러 방정식(Euler equations)의 폭발(blow up)을 8월 15일에 증명했으며, 이 방법은 디에고 코르도바(Diego Córdoba)와 루이스 마르티네스-소로아(Luis Martínez-Zoroa)가 발견한 “강제(forcing)” 기법을 활용한 것입니다.
벅마스터는 이들의 연구 소문이 OpenAI에 전해졌고, OpenAI가 같은 기법을 활용해 나비에-스토크스까지 풀었다고 주장합니다. 또한 OpenAI가 공동 발표를 제안하면서 앤트로픽 소속인 알퍼게를 저자에서 빼달라고 요청했다고 밝혔습니다.
OpenAI는 이를 부인하며 “에이전트가 독립적으로 오일러 문제를 다른 방법으로 먼저 풀었다”고 반박했습니다. 오일러 방정식 결과의 우선권은 벅마스터-알퍼게에게 인정한다고도 밝혔습니다.
검증 상태
- 벅마스터·알퍼게의 오일러 방정식 증명: Lean 형식 검증 완료, 프리프린트 공개됨
- OpenAI의 나비에-스토크스 증명: 논문과 Lean 코드가 공개(GitHub)됐지만, 2026년 9월 9일 현재 클레이 수학연구소와 독립적인 수학자 검증은 진행 중
프린스턴대의 찰스 페퍼만(Charles Fefferman) 교수(클레이 나비에-스토크스 문제의 공식 기술서를 쓴 인물)는 “문제가 풀렸다는 소식에 흥분된다”고 밝혔습니다.
이 증명이 우리에게 의미하는 것은?
OpenAI는 100만 달러 상금을 청구하지 않겠다고 밝혔습니다. 대신 이 결과를 “AI 모델이 얼마나 빠르게 발전하고 있는지”를 보여주는 사례로 제시했습니다.
OpenAI 연구원 노암 브라운(Noam Brown)은 이렇게 비교합니다.
- 2025년: OpenAI와 구글 딥마인드(DeepMind)가 막대한 연산으로 국제수학올림피아드(IMO) 금메달을 달성
- 2026년: 월 20달러 ChatGPT 구독자면 같은 수준의 수학 문제를 풀 수 있음
- 이번 나비에-스토크스 증명: 수백만 달러가 들었지만, 향후 비용은 급격히 떨어질 것
이는 AI가 단순히 코딩이나 번역을 넘어 인류가 수십 년간 풀지 못한 근본적인 수학 문제를 공략하는 시대가 왔다는 뜻입니다.
정리
나비에-스토크스 밀레니엄 난제를 AI가 88시간 만에 풀었다는 OpenAI의 발표는, 수학적 검증이 끝나면 21세기 수학사에서 가장 기념비적인 사건이 될 수 있습니다. 다만 저작권 논란과 독립 검증이라는 두 가지 과제가 남아 있으므로, 수학계의 최종 판단을 지켜볼 필요가 있습니다.
함께 보면 좋은 글
- GPT-6 Astra 벤치마크 분석: ARC-AGI-3 99.9%와 AGI 선언의 진실 (2026)
- OpenAI 자동 연구 인턴 달성 정리: AI 에이전트가 사람의 3.1배 일하는 시대 (2026)
- OpenAI 에이전트 3,700개가 독일 위키를 점령하다: 샌드박스 탈출 사건 총정리 (2026)
출처
- OpenAI 공식 발표: On the Navier–Stokes Millennium Prize Problem
- Quanta Magazine: AI Has Solved One of Math’s $1 Million Millennium Prize Problems
- Scientific American: AI may have just solved a million-dollar math problem
자주 묻는 질문
나비에-스토크스 방정식이 뭔가요?
나비에-스토크스(Navier-Stokes) 방정식은 유체(물, 공기 등)의 움직임을 설명하는 미분방정식입니다. 날씨 예측, 항공기 설계, 해류 분석 등 광범위하게 쓰입니다. 밀레니엄 문제는 이 방정식의 3차원 해가 항상 매끄럽게 존재하는지를 묻습니다.
OpenAI가 정말로 100만 달러 상금을 받나요?
OpenAI는 상금을 청구하지 않겠다고 밝혔습니다. 클레이 수학연구소의 공식 인정 절차(논문 발표 후 2년 대기 등)도 아직 시작되지 않았습니다.
증명은 검증된 건가요?
OpenAI는 Lean 형식 증명을 GitHub에 공개했습니다. Lean 검증을 통과했으므로 논리적 오류가 없다는 뜻이지만, 수학계에서는 증명 전략과 “강제(forcing)” 항의 해석에 대한 독립 검토가 진행 중입니다.
왜 논란이 되고 있나요?
뉴욕대 수학자 트리스탄 벅마스터가 OpenAI 측이 자신의 연구를 참고했을 가능성을 제기했고, 공동 발표 시 공저자 제외를 요청받았다고 주장했습니다. OpenAI는 독립적 연구라고 반박하고 있습니다.
AI가 수학 증명을 하면 수학자가 필요 없어지나요?
아직은 아닙니다. 이번 증명도 코르도바·마르티네스-소로아의 “강제” 기법과 벅마스터·알퍼게의 오일러 결과 등 인간 수학자의 아이디어에 기반했습니다. 다만 AI가 증명을 검증하고, 수십 년간 막혔던 단계를 돌파하는 강력한 도구가 된 것은 분명합니다.