OpenAI, AI 생성 나비에–스토크스 유한시간 폭발 증명 공개
OpenAI는 매끄럽고 외력이 가해진 3차원 나비에–스토크스 유동이 유한 시간 특이점을 형성할 수 있다고 주장하는 형식화된 증명을 공개했다.
목차 · 12
OpenAI는 유한 시간 안에 속도가 무한히 커지는 3차원 유체 흐름을 구성함으로써 나비에–스토크스 존재성과 매끄러움 밀레니엄 상금 문제를 해결했다고 주장하는 166쪽짜리 증명을 공개했다.
회사는 일반적인 수학 논문과 함께, 명시적으로 제시된 정의와 가정으로부터 각 단계가 따라오는지 검사하는 증명 보조기 Lean으로 작성한 형식화도 공개했다. OpenAI는 이 증명이 GPT-6 Astra보다 “상당히 더 유능한” 미공개 내부 모델을 사용한 약 1만 개의 동시 에이전트에 의해 생성됐다고 밝혔다.
이 결과는 아직 Clay 수학연구소의 인정을 받지 않았으며, 밀레니엄 상금에 필요한 검토 절차도 거치지 않았다. 따라서 9월 9일 기준으로 이는 공식적으로 확정된 정리가 아니라 공개된 제안 해법으로 설명해야 한다.
1. 제안된 증명이 확립하는 내용
나비에–스토크스 방정식은 공기와 물 같은 점성 유체의 운동을 설명한다. 수학자들은 3차원에서 매끄러운 초기 조건이 모든 미래 시간에 대해 반드시 매끄러운 해를 만들어 내는지, 아니면 특이점이 형성될 수 있는지를 오랫동안 증명하지 못했다.
OpenAI의 논문은 두 번째 경로를 택한다. 핵심 정리는 모든 양의 점성 계수에 대해, 매끄러운 외력과 처음에는 속도가 0이지만 시간 \(t=1\)에 무한히 커지는 해가 존재한다고 말한다. 이 유동은 공간적으로 고정된 컴팩트 영역에 제한되며, 특이점에 가까워져도 총 운동 에너지는 균일하게 유계로 유지된다.
이는 컴퓨터 시뮬레이션이 불안정해졌다는 주장보다 더 강하고 구체적인 명제다. 논문은 초기 상태, 가해진 힘, 특이점 이전의 진화가 모두 매끄러운 상태에서도 유체의 최대 속도가 발산하는 해석적 구성을 주장한다.
외력의 사용은 중요하다. Clay 수학연구소의 공식 문제 정식화는 문제를 해결할 수 있는 네 가지 허용 경로를 제시한다. 대안 A와 B는 각각 일반적인 3차원 공간과 주기적 영역에서 외력 없이 전역 매끄러움을 요구한다. 대안 C와 D는 매끄러운 외력을 허용하고, 이 두 환경에서 반례를 요구한다.
OpenAI는 \(\mathbb{R}^3\)에서 대안 C를 확립한다고 주장한다. 구성된 속도와 압력이 컴팩트한 공간 지지를 가지므로, 논문은 같은 구성이 대안 D에 필요한 주기적 반례도 만들어 낸다고 말한다.
따라서 이 결과는 모든 일반적인 유체 흐름이 특이해진다고 주장하는 것도 아니고, 임의의 난류에 대한 닫힌형 해를 제시하는 것도 아니다. 이는 상금 문제의 서술에서 명시적으로 허용한 조건 아래 수학적 모델이 붕괴할 수 있음을 보여 주는 특정한 매끄러운 힘과 유동을 구성한다.
2. 유한시간 특이점을 구성하는 방법
증명의 중심 대상은 원점 주변으로 수축하면서 회전하고 축 방향으로 늘어나는 축대칭 와류다. 특이 시점에 가까워질수록 유체는 안쪽으로 나선형으로 유입되고, 각속도와 축방향 속도는 증가한다.
남은 시간을 \(\tau=1-t\)로 쓰면, 논문은 와류 코어의 반경 방향 스케일을 대략 \(\tau^{1/2}\)에 비례하게 하고, 축방향 스케일은 이보다 약간 더 느리게 수축하도록 한다. 특징적인 각방향 및 축방향 속도는 대략 \(\tau^{-1/2-h}\)로 증가하며, 여기서 \(h\)는 \(1/100\)보다 작은 양의 매개변수다.
점점 빨라지는 운동은 점점 작아지는 부피에 제한된다. 구성에 따르면 코어의 운동 에너지는 \(\tau^{1/2-3h}\)로 스케일하며, 허용되는 \(h\) 값에서는 0으로 접근한다. 최대 속도와 총에너지 사이의 이 분리가 증명이 Clay 정식화의 유계 에너지 조건을 위반하지 않으면서 무한히 큰 속도를 만들어 내는 방식이다.
수축하는 와류를 만드는 것만으로는 충분하지 않다. 임의의 속도장과 압력장에 대해 나비에–스토크스 방정식이 성립하도록 외력을 단순히 정의할 수 있지만, 그 힘 자체가 특이 시점에 발산할 수 있다. 그러한 구성은 문제의 매끄러운 외력 요건을 만족하지 못한다.
OpenAI의 제안 해법은 와류 코어를 둘러싼 고리형 영역에 국소화된 진동 펄스를 사용해 이를 해결한다. 펄스는 배경 전단에서 에너지를 추출하고 비선형 운동량 플럭스를 생성한다. 두 종류의 펄스는 평균 효과가 상쇄되도록 배치되어, 수축하는 배경 와류가 그렇지 않았다면 필요로 했을 특이한 힘 성분을 제거한다.
추가 보정은 남은 오차를 줄이고, 점성 확산이 지배하는 외부 유동은 구성을 공간에서 매끄럽게 절단할 수 있게 한다. 주장되는 최종 결과는 속도장은 발산하지만 외력으로 나타나는 잔차는 특이 시점을 지나서도 매끄럽게 연장되는 것이다.
3. 1만 에이전트 연구 과정
OpenAI는 이름을 밝히지 않은 내부 모델의 훈련을 2026년 8월 28일에 시작했다고 밝혔다. 9월 1일, 두 개의 밀레니엄 상금 문제에서 진전이 있었다는 소문을 들은 뒤 연구진은 Clay 목록의 모든 미해결 문제와 여러 관련 문제에 에이전트 그룹을 배정했다.
에이전트들은 캐시된 인터넷 버전을 읽고, 코드를 실행하며, 그룹 내에서 정보를 교환할 수 있었다. 전역 매끄러움 대안과 유한시간 붕괴 대안을 모두 포함한 서로 다른 버전의 나비에–스토크스 과제가 별도 그룹에 배정됐다.
중간 결과 하나가 검색 방향을 바꾼 것으로 전해진다. 점성이 없는 이상화된 유체를 설명하는 비강제 오일러 방정식의 정칙성 문제에 약 100개의 에이전트가 약 50시간 동안 작업했다. 이 에이전트들이 제안된 유한시간 폭발 구성을 만든 뒤, OpenAI는 점성 나비에–스토크스 문제에 더 많은 자원을 투입하고 오일러 결과를 새 그룹에 제공했다.
OpenAI는 유용한 중간 발견을 통합하고 그룹 전체에 배포하는 데에도 Codex를 사용했다. 회사는 성공한 나비에–스토크스 구성이 첫 에이전트 가동 후 약 88시간이 지난 9월 5일에 나왔다고 밝혔다.
나비에–스토크스 작업에서는 270만 건의 에이전트 메시지와 약 1,300억 개의 출력 토큰이 생성됐다. 프로젝트 기간 동안 시도한 모든 수학 문제를 합하면 시스템은 490만 건의 메시지와 약 3,000억 개의 출력 토큰을 생성했다. OpenAI 경영진은 별도로 Axios에 컴퓨팅 비용이 수백만 달러에 이르렀다고 말했다.
생성 모델은 공개되지 않아 외부 연구자가 실험을 직접 재현하는 것은 불가능하다. GPT-6 Astra는 후속 형식화와 검증 단계에 사용됐으며, OpenAI는 이 과정에 추가로 17시간이 걸렸다고 밝혔다. Astra는 처음 증명을 발견한 모델은 아니었다.
4. Lean 형식화가 확정하는 것과 확정하지 않는 것
OpenAI는 Apache 2.0 라이선스로 Lean 4 소스 코드를 공개했다. 저장소에는 나비에–스토크스와 오일러 결과 모두의 형식화가 포함되어 있으며, Lean 4.34.0-rc2, Mathlib 및 Lake를 사용한 빌드 방법을 제공한다.
기계 검증 증명은 Lean이 정확한 명제에 대해 형식 논증의 타입 검사를 요구하므로 제출물의 신뢰도를 실질적으로 높인다. 긴 자연어 유도 과정에서 가려질 수 있는 누락된 논리 단계를 탐지할 수 있으며, 다른 연구자도 공개 파일을 내려받아 다시 빌드할 수 있다.
형식 검증만으로는 형식 정리가 밀레니엄 상금 문제 정식화가 의도한 모든 조건을 포착한다는 사실이 확립되지는 않는다. 전문가들은 여전히 정의, 가정, 가져온 결과, 그리고 166쪽짜리 해석적 논증과 Lean 명제 사이의 대응 관계를 검토해야 한다. 독립 전문가들은 수학적 구성이 주장된 대로 작동하는지도 평가해야 한다.
Clay 수학연구소는 제안 해법을 직접 제출 방식으로 받지 않는다. 규정에 따르면 해법은 먼저 자격을 갖춘 출판물에 실려야 하며, 최소 2년이 지나고 그 결과가 전 세계 수학계에서 일반적인 수용을 얻은 뒤에야 연구소가 이를 검토한다.
OpenAI는 100만 달러의 상금을 주장할 의도가 없다고 밝혔다. 이 결정은 검증 절차를 단축하지 않으며, 회사의 발표를 기관의 인정으로 바꾸지도 않는다.
5. 동시 연구와 미해결된 출처 문제
OpenAI는 9월 1일의 작업을 촉발한 소문이 나중에 NYU 교수 Tristan Buckmaster와 Anthropic 연구원 Levent Alpöge와 연결됐다고 밝혔다. 이들의 동시 연구는 OpenAI가 공개한 점성 나비에–스토크스 결과가 아니라, 외력이 가해진 오일러 방정식과 관련 유체계의 유한시간 폭발에 관한 것이었다.
OpenAI에 따르면, 자사의 나비에–스토크스 증명과 Lean 검증은 9월 6일에 완료됐다. 회사는 이후 Buckmaster와 Alpöge도 나비에–스토크스를 해결했을 수 있다고 믿었기 때문에 이들에게 연락해, 이들의 우선권을 인정하면서 출판을 조율하자고 제안했다. OpenAI는 이후 이들의 결과가 외력이 가해진 오일러 방정식을 다룬다는 사실을 알게 됐다고 밝혔다.
Buckmaster는 외부 프로젝트에 관한 지식이 OpenAI로 하여금 같은 더 넓은 연구 방향으로 경쟁하게 했는지 공개적으로 의문을 제기했고, 초안이 Codex를 통해 처리됐다는 이유로 우려를 제기했다. OpenAI는 연구원과 에이전트 모두 공개 전에는 두 사람의 작업에 접근하지 않았으며, 결과로 나온 증명은 실질적으로 다른 접근법을 사용한다고 밝혔다.
그럼에도 회사는 OpenAI 제품 사용에서 파생된 비식별화 데이터가 이전에 모델 훈련에 기여했을 가능성을 완전히 배제할 수는 없다고 밝힌다. 현재 공개된 증거는 내부 모델이 이들의 초안을 재현했다는 사실을 입증하지 않으며, Buckmaster 역시 자신의 데이터가 사용됐는지 알고 있다고 주장하지 않았다.
이 사례는 AI 보조 연구를 위한 구체적인 거버넌스 문제를 만든다. 미공개 작업에 호스팅 모델을 사용하는 과학자들은 자신의 입력이 보존되는지, 훈련에 사용되는지, 제공업체에 보이는지를 판단할 수 있어야 한다. 동일한 제공업체가 경쟁 연구자로서 훨씬 더 큰 에이전트 시스템을 배포할 수 있을 때, 기술적 데이터 통제와 감사 가능한 출처 추적은 단순한 제품 프라이버시 설정이 아니라 과학적 공로의 일부가 된다.
자주 묻는 질문
나비에–스토크스 밀레니엄 상금 문제는 공식적으로 해결됐나요?
아니요. OpenAI는 제안 해법을 공개했지만, Clay 수학연구소의 출판, 대기 기간 및 일반적 수용 요건을 아직 충족하지 못했습니다.
이 증명은 일반적인 물이 무한한 속도에 도달할 수 있음을 보여 주나요?
아니요. 이는 세심하게 설계된 매끄러운 외력을 가진 특정 수학적 유동을 구성합니다. 무한 속도는 물리적 유체가 실제로 한계 없이 가속한다는 예측이 아니라 연속체 방정식의 붕괴를 뜻합니다.
GPT-6 Astra가 증명을 발견한 모델이었나요?
아니요. OpenAI는 발견을 GPT-6 Astra보다 더 유능한 미공개 내부 모델의 공으로 돌립니다. Astra는 17시간의 Lean 형식화 및 검증 단계에서 사용됐습니다.
연구자들이 결과를 검토할 수 있나요?
네. OpenAI는 166쪽 논문과 Lean 4 형식화를 공개했습니다. 그러나 내부 모델과 전체 에이전트 인프라는 공개적으로 재현할 수 없습니다.
이 증명은 외력이 있는 나비에–스토크스 방정식에 관한 것인가요, 외력이 없는 방정식에 관한 것인가요?
매끄러운 외력을 사용합니다. 이는 Clay 수학연구소 공식 문제 서술의 대안 C와 D에서 허용됩니다.
참고 자료
Share