OpenAI, 나비에–스토크스 난제 해결안 공개…외력 조건과 검증 쟁점

OpenAI가 9월 8일 나비에–스토크스 존재성과 매끄러움 문제의 해결안을 공개했다. 회사는 AI로 찾은 해석적 증명과 Lean 형식화 코드를 함께 내놓고, 클레이 수학연구소가 제시한 난제의 C·D 항목을 증명했다고 발표했다. OpenAI 발표

다만 9월 9일 확인한 클레이 수학연구소의 해당 문제 페이지는 여전히 ‘미해결’로 표시돼 있다. 현재 확인되는 것은 OpenAI의 해결 주장과 공개된 증명 자료다. 이를 클레이의 해결 인정이나 상금 수여 결정으로 읽어서는 안 된다. 클레이의 현재 문제 상태

무엇을 증명했다는 것인가

공개 논문 「Finite time blowup for Navier–Stokes」의 첫 정리는 정지 상태에서 출발하는 3차원 비압축성 유체를 다룬다. 양수인 점성 계수마다, 매끄러운 외력이 작용할 때 유한한 시간 안에 속도가 한없이 커지는 흐름을 구성했다는 내용이다. 그동안 전체 운동에너지는 일정한 상한 아래에 머문다. 외력은 공간과 시간의 제한된 범위에서만 작용하도록 구성된다. 논문 1쪽, 정리 1.1

여기서 눈여겨볼 조건은 외력이다. 클레이의 공식 문제문은 다음 두 방향을 구분한다.

공식 문제의 항목	요구하는 결과
A·B	외력이 없을 때, 조건을 만족하는 모든 초기 상태에 대해 요구 조건을 충족하는 매끄러운 해가 모든 시간에 걸쳐 존재함을 증명
C·D	허용된 초기 상태와 매끄러운 외력을 골라, 요구 조건을 만족하는 전역 매끄러운 해가 존재하지 않는 사례를 구성

A·C는 전체 3차원 공간, B·D는 공간적으로 같은 패턴이 반복되는 주기적 조건을 다룬다. 공식 문제는 네 항목 가운데 하나를 증명하도록 요구한다. 따라서 외력을 사용했다는 사실 자체가 난제의 범위를 벗어났다는 뜻은 아니다. 반대로 C·D의 결과만으로 외력이 없는 경우에도 특이점이 생긴다고 결론 내릴 수는 없다. 클레이 공식 문제문

OpenAI 논문은 전체 공간의 결과를 정리 1.1에, 주기적 조건의 결과를 따름정리 10.6에 제시한다. 일상에서 접하는 모든 유체가 이런 거동을 보인다는 주장이 아니라, 명시한 조건 안에서 특정 흐름을 구성했다는 주장이다. 논문 125쪽, 따름정리 10.6

에너지는 유한한데 속도는 무한히 커질 수 있나

논문에서 ‘전체 에너지’와 ‘가장 큰 속도’는 서로 다른 양이다. 전자는 공간 전체에 걸쳐 속도의 제곱을 더한 값에 대응하고, 후자는 국소적으로 속도가 얼마나 커지는지를 본다. 매우 빠르게 움직이는 영역이 충분히 작아지면, 국소 속도가 커지는 것과 전체 에너지가 상한 아래에 남는 것을 함께 논할 수 있다. 논문의 정리와 흐름 설명은 바로 이 두 조건을 동시에 다룬다. 논문 1·3–4쪽

OpenAI의 흐름 설명 도식. 주황색은 더 빠른 각회전을 나타내며, 원주 방향 속도는 반경에도 달려 있다. 그림 출처

발견에 쓴 모델과 증명을 형식화한 모델은 다르다

OpenAI에 따르면 해법을 찾는 데 사용한 것은 GPT-6 Astra보다 성능이 높은 미공개 내부 모델이다. 성공한 나비에–스토크스 연구 그룹은 동시 에이전트 약 1만 개 규모였고, 첫 에이전트 가동 후 약 88시간이 지난 9월 5일 해법에 도달했다. 이후 GPT-6 Astra를 통한 Lean 형식화와 검증에 17시간이 더 걸렸다고 회사는 설명했다. 연구 과정 발표

OpenAI가 밝힌 집계 범위	메시지	출력 토큰
나비에–스토크스 해결 과정	270만 개	약 1,300억 개
함께 시도한 모든 문제	490만 개	약 3,000억 개

이 수치는 회사의 발표치다. 연구진은 진행 상황을 보며 자원을 재배분하고, 모델을 갱신하고, 중간 결과를 다음 지시에 반영했다. 공개 ChatGPT에 질문 한 번을 넣어 얻은 결과로 소개하면 연구 방식과 규모를 놓치게 된다. 집계와 연구진의 역할

Lean 코드 공개 뒤에도 구분해야 할 검증

공개 저장소에는 나비에–스토크스 C·D 결과의 Lean 증명과 빌드 안내가 들어 있다. 형식화는 수학적 주장을 기계가 검사할 수 있는 언어로 옮기는 작업이다. 저장소의 메타데이터는 주요 결과를 전부 형식화했다고 기록하면서도, 검토 상태는 self-assessed, 즉 자체 평가로 표시한다. 공개 저장소, 형식화 메타데이터

이 자료를 읽을 때는 세 질문을 나눠 볼 필요가 있다. 코드로 옮긴 명제가 원래 난제의 조건과 일치하는가, 공개한 증명이 검증 도구를 통과하는가, 수학계가 그 결과를 검토하고 받아들이는가. 저장소는 앞의 두 항목을 살펴볼 수 있도록 참조 문제문과 제출 증명을 비교하는 별도 검증 절차도 공개했다. 코드 공개와 외부 검토의 완료는 구별해야 한다. 독립 검증 절차

클레이의 상금 심사에는 별도 기준이 있다. 규정상 인정하는 출판 매체에 결과가 실리고, 출판 후 최소 2년이 지나며, 전 세계 수학계에서 일반적으로 받아들여져야 심사 대상이 된다. 밀레니엄 문제 상금 규정

확인 기준: 2026년 9월 9일. 공식 발표, 공개 논문의 정리, 클레이의 문제문·상태·규정, Lean 저장소를 대조했다. 전체 증명을 독립적으로 검증하거나 Lean 빌드를 실행하지는 않았다.