오픈AI, AI로 나비에-스토크스 밀레니엄 문제 해결 발표 : 오픈AI는 GPT-6 Astra보다 상당히 뛰어난 신규 내부… — 빚쟁이는 여의도로 — TG.ME

오픈AI, AI로 나비에-스토크스 밀레니엄 문제 해결 발표

: 오픈AI는 GPT-6 Astra보다 상당히 뛰어난 신규 내부 모델과 멀티에이전트 시스템을 활용해 3차원 나비에, 스토크스 방정식에서 매끄러운 초기 상태가 유한시간 내 특이점을 형성할 수 있음을 증명했다고 발표. 해석적 증명과 Lean 형식 검증을 함께 공개

: 외력이 매끄럽고 전체 에너지가 유한하게 유지되는 상황에서도 소용돌이가 안쪽으로 수축, 신장되며 속도가 무한대로 발산하는 해를 구성. 이를 통해 클레이 수학연구소 공식 문제의 반증에 해당하는 명제 C와 D를 성립시켰다고 설명

: 8월 28일부터 훈련 중인 내부 모델은 수학 벤치마크에서 Astra 대비 큰 폭의 성능 향상을 보이고 있으며, 9월 1일 밀레니엄 문제 해결 루머를 계기로 미해결 밀레니엄 문제 전반에 대한 대규모 평가 착수

: 나비에, 스토크스 연구에는 약 1만 개의 에이전트가 동시 투입. 먼저 약 100개 에이전트가 50시간 동안 무외력 오일러 방정식의 정칙성 문제를 해결한 뒤 해당 결과와 자원을 나비에, 스토크스에 집중

: 첫 에이전트 가동 후 약 88시간 만인 9월 5일 해법에 도달했으며, GPT-6 Astra를 통한 Lean 형식화와 검증에 추가 17시간 소요. 나비에, 스토크스 해결 과정에서 270만 개 메시지와 약 1,300억 출력 토큰 사용

: 연구는 레벤트 알푀게와 트리스탄 벅마스터의 연구 관련 루머에서 촉발됐으나, 이들은 외력이 있는 오일러 문제를 해결한 것으로 확인. 오픈AI는 해당 연구의 우선권을 인정하면서 자사 결과는 무외력 오일러 및 나비에, 스토크스로 구분된다고 설명

: 오픈AI는 밀레니엄 문제 상금을 청구하지 않을 방침이며, 이번 결과를 AI 모델의 급격한 연구 역량 발전을 보여주는 사례로 제시. 향후 모델 역량 발전의 속도를 보다 신중하게 조절할 필요성도 강조

https://openai.com/index/navier-stokes-solution
OpenAI
On the Navier–Stokes Millennium Prize Problem
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
September 8, 2026 492