OpenAI가 밀레니엄 문제인 나비에–스토크스(Navier–Stokes) 존재·평활성 문제를 풀었다는 내용입니다. 어제(2026-09-08) OpenAI가 공식적으로 결과를 낸 상태입니다.

무엇이 일어났는가

밀레니엄 문제는 “3차원 비압축 유체가 매끄러운 초기조건에서 영원히 매끄럽게 흐르는가, 아니면 유한 시간에 속도가 무한대로 터지는가(blow-up)”를 묻는 문제입니다.

바로 전날 NYU의 Tristan Buckmaster와 Anthropic의 Levent Alpöge가 Córdoba–Martínez-Zoroa의 ‘매끄러운 외력(forcing)’ 프로그램을 밀어, 다공매질·Boussinesq·3D 오일러에서 유한시간 특이점을 증명했습니다. 나비에–스토크스 본문제로 가는 중간 계단입니다.

OpenAI는 9월 1일 소문을 듣고 내부 모델(미공개, GPT-6 Astra보다 강하다고 주장)과 약 1만 개 에이전트를 투입해 88시간 만에 증명을 냈고, Lean으로 형식검증했다고 발표했습니다. 주장의 핵심은 정지해 있던 유체에 매끄러운 외력을 가하면, 에너지는 유한한 채 유한 시간에 특이점이 생긴다는 것입니다. Clay 공식 문항 중 C·D(강제항이 있는 버전)를 해결했다고 봅니다. 무강제(unforced) 전역 정칙성 문제 전체와는 동일하지 않습니다.

Clay 연구소의 공식 인정과 독립 검증은 아직입니다.

논란

Buckmaster 측은 OpenAI가 자신들의 진행 소식을 들은 뒤에 같은 경로로 대규모 연산을 돌렸고, 작업 초안을 올려둔 Codex 세션 이용 여부에 대한 답이 불충분했다고 적었습니다. 공동발표·저자 구성 제안도 있었다고 합니다. OpenAI는 공개 전까지 그들의 원고를 보지 않았고 개별 사용자 데이터도 조회하지 않았다고 부인하면서도, 비식별 사용 데이터가 모델 개선에 쓰였을 가능성은 배제할 수 없다고 적었습니다. 표절이 입증된 상태는 아닙니다. 타임라인과 경로가 겹친다는 점이 논쟁의 핵심입니다.




 






기대효과 


트윗에 적힌 4가지는 방향은 맞지만 즉시효과는 과대합니다.

• 수학: 맞습니다. 비선형 PDE에서 “특이점을 어떻게 만드는가”에 대한 도구가 확정되면, 유체·기하·파동 쪽으로 파급이 깁니다. 다만 증명이 맞고 Clay가 받아들여야 합니다.

• 난류: 간접적입니다. blow-up은 “이 방정식이 언제 깨지는가”이지, 에너지 캐스케이드나 실용 난류모형을 바로 설명하지 않습니다.

• 기상·항공기·혈류 시뮬레이션: 당장 좋아지지 않습니다. 산업 CFD는 이미 수치적으로 NS를 풀고 있고, 병목은 격자·난류모형·데이터입니다. 특이점 존재는 오히려 연속체 방정식이 극한에서 물리를 못 담는다는 뜻에 가깝습니다.

• 초음속기·풍력·핵융합: 같은 이유입니다. 설계 정확도는 실험·고해상도 계산·재료가 결정하지, 밀레니엄 증명 한 편이 바로 바꾸지 않습니다.

더 현실적인 파급은 수학 바깥에 있습니다. 에이전트 군집 + Lean 검증으로 최전선 증명을 며칠 단위로 밀어붙일 수 있다는 점, 그리고 미발표 연구를 상용 AI에 넣었을 때 우선권·학습데이터·크레딧이 어떻게 처리되는가입니다. 전자는 연구 속도를, 후자는 연구 관행을 바꿉니다.

한 줄로 정리하면, 수학사에는 큰 사건이고 공학 현장에는 아직 작은 사건입니다. 증명의 정확성과 Clay 판정이 확인되기 전까지는 “풀렸다”보다 “강제항이 있는 버전의 blow-up 증명이 나왔고, 검증·우선권 싸움이 시작됐다”가 정확한 상태입니다.







https://x.com/yulmu_coffee/status/2097234858670199146