OpenAI가 88시간 만에 나비에-스토크스 결과를 냈다는 발표와 NYU 수학자의 공로 문제 제기를 2026년 9월 10일 기준 확인된 자료만으로 정리했습니다. 무엇이 실제로 증명됐고 무엇이 아직 미해결인지 구분합니다.
OpenAI 나비에스토크스 개요
결론부터 말하면, “AI가 100만 달러 난제를 풀었다”는 헤드라인은 절반만 맞습니다. 클레이수학연구소(CMI)의 공식 문제 기술은 네 가지 진술 중 하나를 증명하면 된다고 적고 있고, OpenAI가 다룬 것은 그중 외력을 허용하는 (C)와 (D)입니다. 규정상 유효한 경로인 것은 맞습니다. 하지만 수십 년간 수학계가 매달려온 외력 없는 형태인 (A)·(B)는 그대로 남아 있습니다.
일정도 촘촘합니다. OpenAI는 2026년 9월 8일 “On the Navier–Stokes Millennium Prize Problem”을 공개하면서 9월 1일 착수, 에이전트 가동 후 약 88시간 만인 9월 5일 결과 도달, Lean 형식화·검증에 17시간 추가라고 밝혔습니다. 그런데 바로 전날인 9월 7일 자정 직전, NYU의 트리스탄 벅마스터(Tristan Buckmaster)와 르벤트 알푀게(Levent Alpöge)가 관련 프리프린트 3편을 먼저 올렸습니다.
이 글은 두 가지를 나눠서 다룹니다. 하나는 기술적으로 무엇이 증명됐고 무엇이 검증되지 않았는가, 다른 하나는 저자 표시를 놓고 실명으로 오간 주장들입니다. 양쪽 당사자의 진술이 정면으로 부딪치는 지점이 있어, 확인된 것과 확인되지 않은 것을 갈라서 적었습니다. 모든 날짜와 수치는 2026년 9월 10일 기준 확인된 1차 자료를 따릅니다.
1. 밀레니엄 문제의 네 갈래 — (C)와 (D)는 규정상 유효하다
혼선의 출발점은 여기입니다. 페퍼먼(Charles L. Fefferman)이 작성한 클레이 공식 문제 기술은 네 진술 중 하나의 증명을 요구한다고 명시합니다. 원문 표현은 “we ask for a proof of one of the following four statements”입니다. (A)와 (B)는 외력이 0인 경우의 해의 존재와 매끄러움, (C)와 (D)는 매끄러운 외력을 허용한 상태에서의 해의 붕괴(breakdown)를 다룹니다.
| 진술 | 정의역 | 외력 f | 요구하는 결론 |
|---|---|---|---|
| (A) | ℝ³ | f ≡ 0 | 매끄러운 해의 존재·매끄러움 |
| (B) | ℝ³/ℤ³ (3차원 토러스) | f ≡ 0 | 매끄러운 해의 존재·매끄러움 |
| (C) | ℝ³ | 매끄러운 외력 허용 | 해의 유한시간 붕괴 |
| (D) | ℝ³/ℤ³ | 매끄러운 외력 허용 | 해의 유한시간 붕괴 |
OpenAI가 공개한 Lean 저장소 openai/NavierStokesAndEuler의 README는 나비에-스토크스 형식화가 (C)와 (D)에 대응한다고 적고 있습니다. 일부 매체가 쓴 “외력이 있는 증명은 밀레니엄 기준에 미달한다”는 서술은 원문과 대조하면 사실과 다릅니다. 다만 그 반대편도 성립합니다. 유체역학 연구자들이 실제로 관심을 둬온 난이도는 (A)·(B) 쪽이고, 이번 결과가 그 자물쇠를 연 것은 아닙니다.
한 가지 더. 클레이는 지금도 나비에-스토크스를 미해결로 등재하고 있습니다. 상금 규정상 ① 자격 있는 학술지 게재 ② 게재 후 최소 2년 경과 ③ 세계 수학계의 일반적 수용이라는 세 조건이 모두 충족돼야 심사가 시작되기 때문입니다. 이 규정은 2018년 9월 26일 이사회에서 채택됐습니다. 클레이 회장 마틴 브리드슨은 심사가 서두르지 않고 엄정하게 진행될 것이라는 취지로 언급했습니다.
용어 풀이
1. 나비에-스토크스 방정식 — 점성이 있는 유체의 운동을 기술하는 편미분방정식으로, 3차원에서 해가 항상 매끄럽게 유지되는지가 미해결 문제다.
2. 유한시간 붕괴(blowup) — 해의 특정 값이 유한한 시간 안에 무한대로 발산해 더 이상 매끄러운 해로 이어갈 수 없게 되는 현상.
3. 외력(forcing) — 유체 외부에서 가해지는 힘의 항으로, 이 항을 0으로 두느냐 허용하느냐에 따라 문제의 난이도가 크게 갈린다.
2. 88시간의 실제 내용 — 규모 수치로 본 계산량
“88시간”이라는 숫자는 사람의 작업 시간이 아니라 에이전트 가동 시간입니다. OpenAI 발표문에 따르면 9월 1일 착수해 9월 5일에 결과에 도달했고, 나비에-스토크스 건 하나에만 다음 규모가 투입됐습니다.
| 항목 | 나비에-스토크스 단건 | 시도한 전체 문제 합계 |
|---|---|---|
| 동시 에이전트 수 | 약 10,000개 | (미공개) |
| 에이전트 메시지 | 2,700,000건 | 4,900,000건 |
| 출력 토큰 | 약 1,300억 | 약 3,000억 |
| 소요 시간 | 88시간 + 형식화 17시간 | (미공개) |
사전 단계로 다룬 오일러 정칙성 문제에는 약 100개 에이전트가 약 50시간 사용됐습니다. phys.org는 이전 수학 작업 대비 계산량이 약 1,000배 수준이라고 서술했는데, 이는 매체 서술이며 OpenAI가 직접 제시한 배수는 아닙니다.
사용된 모델은 발표문에서 “an internal model that is significantly more capable than GPT‑6 Astra”라고만 표현됐습니다. 고유 모델명·공개 시점·가격은 모두 공개되지 않았고, 외부에서 쓸 수 없습니다. 그래서 이번 결과는 제3자가 같은 조건으로 재현할 방법이 아예 없습니다. 외부에서 검증 가능한 것은 Apache-2.0으로 공개된 Lean 저장소뿐이며, 툴체인은 Lean 4.34.0-rc2와 Mathlib 조합입니다.
비용을 인용할 때는 특히 조심해야 합니다. OpenAI 발표문에는 달러 금액이 전혀 없습니다. 테크크런치는 3,000억 출력 토큰을 당시 API 요율로 환산해 약 2,250만 달러로 계산했고, 다른 매체는 4,000만 달러를 넘는 값을 제시했습니다. 두 숫자 모두 매체 환산치이지 회사 발표치가 아니므로, 인용할 때 환산 주체를 함께 밝히는 편이 정확합니다.
3. 공로 논쟁 — 실명 성명과 반박이 병존한다
벅마스터는 2026년 9월 8일 본인의 NYU 페이지에 서명된 성명 PDF를 올렸습니다. 그가 기록한 접촉 경과는 다음과 같습니다.
| 날짜(2026년) | 기록된 내용 |
|---|---|
| 8월 15일 | 부시네스크·오일러 결과 획득 |
| 8월 22일 | 해당 결과 Lean 검증 완료 |
| 9월 3일 | 벅마스터가 OpenAI 소속 수학자에게 이메일 |
| 9월 4일 | 당일 통화 요청 |
| 9월 6일 12:45 | 재차 통화 요청, 부벡 합류, 오후 두 차례 통화 |
| 9월 7일 자정 직전 | 프리프린트 3편 공개 |
| 9월 8일 오전 | OpenAI 발표 |
성명에 따르면 통화에서 전달받은 내용은 ℝ³와 T³에서의 외력 하 붕괴 존재, 외력 함수가 매끄럽다는 점, 즉 페퍼먼 기술의 (C)와 (D)에 해당한다는 설명, 그리고 약 100쪽 분량의 증명이었습니다. 벅마스터는 증명 자체를 본 적이 없다고 명시했습니다.
쟁점이 된 대목은 저자 표시입니다. 성명에는 두 가지 제안이 기록돼 있습니다. 하나는 벅마스터 측이 오일러 결과를 먼저 올리고 다음 날 OpenAI가 나비에-스토크스를 올리는 안, 다른 하나는 벅마스터가 혼자 나비에-스토크스 논문을 쓰고 OpenAI 내부 모델이 풀었음을 명시하는 안이었습니다. 그리고 성명은 부벡이 알푀게를 저자에서 빼기를 원한다고 두 차례 주장했다고 적고 있습니다. 알푀게는 앤트로픽 소속이지만 이 연구는 회사 업무가 아닌 개인 연구입니다.
반대편 진술도 함께 봐야 합니다. 부벡은 포춘 보도에서 데이터 사용을 부인하며 “I want to be extremely clear that we recognize the priority of Levent Alpöge and Tristan Buckmaster’s work”라고 밝혔고, 별도 게시물에서 자신에 대한 주장을 허위이자 선동적이라고 표현했습니다. 양측 주장이 병존하는 상태이며, 제3자가 사실관계를 확정한 자료는 2026년 9월 10일 기준 확인되지 않습니다. 벅마스터 본인도 성명에서 증명을 보지 못했고 모델이 무엇을 했는지 모르며 누구도 고발하는 것이 아니라고 유보를 달았습니다.
아이디어의 기원을 두고는 양쪽 서술이 겹칩니다. 벅마스터는 프로그램의 기본 아이디어가 코르도바와 마르티네스-소로아의 것이라고 적었고, 페퍼먼도 콴타 인터뷰에서 이 이야기의 주역은 그 두 사람이라는 취지로 답했습니다.
4. 데이터 사용 문제 — 부인과 여지가 같은 글에 있다
이 부분이 실무자에게 가장 직접적인 함의를 줍니다. OpenAI 발표문은 연구자와 에이전트가 공개 전까지 상대 연구를 어떤 경로로도 보지 않았고, 이 문제를 풀려고 특정 사용자 데이터에 접근하지 않았다고 명시했습니다. 그런데 같은 글에 이런 문장이 함께 있습니다 — “While unlikely, we cannot rule out that de-identified data derived from their usage of our products helped improve our models.”
직접 열람은 부인했지만, 익명화된 사용 데이터가 모델 개선에 기여했을 가능성은 배제하지 않은 것입니다. 벅마스터·알푀게는 앤트로픽 클로드와 OpenAI 코덱스(특히 GPT-5.6 Sol)를 연구에 사용했고, 최근에는 아스트라를 작성·감사 용도로만 썼다고 밝혔습니다. OpenAI 이용료는 본인 연구비로 지불했다고 적혀 있습니다. 코덱스 세션이 학습에 사용됐는지에 대해서는 통화에서도 이후에도 명시적 답변이 확인되지 않았습니다.
공로 표시 문제도 문서로 남았습니다. OpenAI가 공개한 Lean 저장소 README에는 알푀게·벅마스터도, 코르도바·마르티네스-소로아도 언급되지 않습니다. 상금에 대해서는 OpenAI가 청구 의사를 부정했고, 애초에 규정상 게재 후 2년 경과와 학계의 일반적 수용이 선행돼야 합니다.
용어 풀이
1. Lean 형식 검증 — 증명의 각 단계를 기계가 확인할 수 있는 언어로 옮겨 논리적 오류가 없음을 자동으로 점검하는 방식.
2. 출력 토큰 — 모델이 생성한 텍스트의 최소 단위로, 사용량과 과금의 기준이 되는 값.
3. 익명화(de-identified) 데이터 — 개인이나 계정을 식별할 수 없게 처리한 사용 기록으로, 모델 학습·개선에 활용될 수 있다.
5. 아직 확인되지 않은 것 — FAQ
Q. 형식 검증을 통과했으니 증명이 옳다는 뜻인가요?
아닙니다. Lean은 작성된 정리문에서 결론이 따라 나오는지를 검증할 뿐, 그 정리문이 클레이 문제를 정확히 옮겼는지는 보증하지 않습니다. 정리 진술과 원 문제의 대조는 아직 초기 단계이며, 제3자 수학자의 검토 결론은 나오지 않았습니다.
Q. 원고 분량은 몇 쪽인가요?
보도가 엇갈립니다. 165쪽으로 쓴 매체와 166쪽으로 쓴 매체가 있으며, 1차 자료로 확정하지 못했습니다. 통화에서 벅마스터가 전달받은 OpenAI 증명 분량은 약 100쪽으로 기록돼 있습니다.
Q. 벅마스터·알푀게 프리프린트는 어디서 볼 수 있나요?
저자 개인 페이지의 PDF는 확인되지만 arXiv 번호는 확인되지 않았습니다. 테런스 타오가 2026년 9월 7일 블로그에서 이 작업을 다뤘고, Lean 자동 형식화로 검증됐다고 적었습니다.
Q. 앤트로픽의 공식 입장은 무엇인가요?
2026년 9월 10일 기준 회사 차원의 공식 입장은 확인되지 않았습니다. 알푀게 본인 명의의 공개 성명도 확인되지 않았습니다.
Q. 이 흐름에 대한 수학계의 반응은 어떤가요?
타오는 AI 기업이 공개 난제를 소모하는 방식을 유적지를 굴착기로 파헤치는 것에 비유하며, 답은 나오되 통찰이 남지 않는다는 취지로 비판했습니다. 반면 벅마스터는 자기 원고 품질을 스스로 낮게 평가하는 표현을 성명에 직접 적기도 했습니다. 속도와 이해 사이의 교환 관계가 이번 사건의 밑바닥 쟁점입니다.
정리
OpenAI는 클레이 문제 기술의 (C)·(D)에 해당하는 결과를 88시간의 에이전트 가동과 17시간의 Lean 형식화로 얻었다고 발표했습니다. 하지만 외력 없는 (A)·(B)는 그대로 남아 있고, 클레이는 여전히 이 문제를 미해결로 등재하고 있습니다. 공로 논쟁은 벅마스터의 서명 성명과 부벡의 반박이 정면으로 부딪치는 상태이며, 어느 쪽도 제3자에 의해 확정되지 않았습니다.
실무 관점에서 남는 교훈은 두 가지입니다. 첫째, 이번 결과를 낸 모델은 API에 없어 재현이 불가능하고, 외부에서 검증 가능한 것은 공개된 Lean 저장소뿐입니다. 둘째, OpenAI 스스로 익명화 데이터의 기여 가능성을 배제하지 못한다고 적은 이상, 민감한 아이디어를 어떤 도구에 넣을지는 이제 기술 선택이 아니라 정책 문제가 됐습니다.
참고 자료
조사 기준일: 2026년 09월 10일
본문의 수치는 아래 자료에서 확인한 것입니다. 제조사 공식 자료(T1)와 전문 매체 실측(T2)을 구분해 표기했습니다. 가격·공급 상황은 변동이 크므로 기준일 이후의 값은 다시 확인해야 합니다.
Tier 1
– OpenAI, “On the Navier–Stokes Millennium Prize Problem”, 2026-09-08 — https://openai.com/index/navier-stokes-solution/ (직접 접속 403, 프록시 경유 본문 확인 / 2026-09-10)
– OpenAI, Lean 형식화 저장소 — https://github.com/openai/NavierStokesAndEuler (2026-09-10 확인)
– Tristan Buckmaster, 서명 성명 PDF — https://cims.nyu.edu/~tristanb/statement.pdf (2026-09-10 전문 확인)
– Charles L. Fefferman, “Existence and Smoothness of the Navier–Stokes Equation” (Clay 공식 문제기술) — https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf (2026-09-10 전문 확인)
– Clay Mathematics Institute, “Rules for the Millennium Prize Problems” — https://www.claymath.org/millennium-problems/rules/ (2026-09-10 확인)
– Terence Tao, “Finite time blowup with smooth forcing term for the incompressible porous medium, Boussinesq, and incompressible Euler equations”, 2026-09-07 — https://terrytao.wordpress.com/2026/09/07/finite-time-blowup-with-smooth-forcing-term-for-the-incompressible-porous-medium-boussinesq-and-incompressible-euler-equations/ (2026-09-10 확인)
– Tristan Buckmaster, Mastodon 공개 게시물, 2026-09-08 — https://mastodon.social/@tristanbuckmaster/117233413705701198 (게시 사실·일시만 확인, 본문 전체 대조 실패)
Tier 2
– Quanta Magazine, “AI Has Solved One of Math’s $1 Million Millennium Prize Problems”, 2026-09-08 — https://www.quantamagazine.org/ai-has-solved-one-of-maths-1-million-millennium-prize-problems-20260908/ (2026-09-10 확인)
– TechCrunch, “OpenAI fought dirty on career-making math problem, says NYU mathematician”, 2026-09-08 — https://techcrunch.com/2026/09/08/openai-fought-dirty-on-career-making-math-problem-says-nyu-mathematician/ (2026-09-10 확인)
– Fortune, 2026-09-08 — https://fortune.com/2026/09/08/openai-says-it-cracked-navier-stokes-math-grand-challenge-buckmaster-accusation-cheating-intimidation-tao-lament/ (2026-09-10 확인)
– phys.org, 2026-09-09 — https://phys.org/news/2026-09-openai-ai-agents-math-hardest.html (2026-09-10 확인)
– implicator.ai, “Clay Institute Won’t Call Navier-Stokes Solved by OpenAI”, 2026-09-08 — https://www.implicator.ai/clay-institute-navier-stokes-openai-proof-claim/ (2026-09-10 확인)
– Unite.AI, “Buckmaster and Alpöge Post AI Fluid Blowup Proofs, Dispute OpenAI Contact”, 2026-09-08 — https://www.unite.ai/buckmaster-and-alpoge-post-ai-fluid-blowup-proofs-dispute-openai-contact/ (2026-09-10 확인)
– The Next Web, 2026-09-09 — https://thenextweb.com/news/openai-navier-stokes-proof-published-millennium-prize (2026-09-10 확인)
– OfficeChai, Bubeck 반박 관련 2건, 2026-09-08 — https://officechai.com/ai/openais-sebastien-bubeck-calls-tristan-buckmasters-claims-of-trying-to-take-credit-for-fluid-dynamics-proofs-false-and-inflammatory/ (2026-09-10 확인)
답글 남기기