OpenAI의 나비에–스토크스 발표, 무엇이 공개됐고 무엇은 아닌가 | DAKER 커뮤니티

수학과 AI를 함께 보는 사람이라면 이번 공개는 그냥 지나치기 어렵습니다. OpenAI가 2026년 9월 8일 「On the Navier–Stokes Millennium Prize Problem」을 공개하며, 내부 모델이 해석적 증명과 Lean 형식화를 만들었고 매끄러운 유체가 유한 시간에 특이점을 만들 수 있음을 보였다고 밝혔기 때문입니다.

다만 제목만 보고 곧바로 수상이나 공식 인정으로 받아들이면 원문과 어긋납니다. 이 글은 openai.com/index/navier-stokes-solution에 나온 사실만 바탕으로, 무엇이 발표됐는지와 무엇은 아직 아닌지를 차분히 정리합니다.

OpenAI는 Clay 공식화의 C·D 명제를 해소한다고 적었지만, 밀레니엄 상금을 청구하지는 않는다고 밝혔습니다.

이번 발표의 핵심

공개된 내용의 중심은 해석적 증명과 Lean 형식화입니다. OpenAI는 초기에 정지한 매끄러운 유체에 매끄러운 외력을 가하고, 에너지가 유한한 상태를 유지하면서도 유한 시간 안에 특이점이 생긴다고 설명합니다. 여기서 특이점은 속도가 유계를 넘는 현상을 뜻하며, 페이지는 이것이 연속체 모형이 깨질 수 있음을 뜻한다고 설명합니다.

정지한 매끄러운 유체가 매끄러운 외력과 유한 에너지 아래 유한 시간에 특이점을 만든다는 해석적 증명과 Lean 형식화를 공개했습니다.

OpenAI는 이 결과가 Clay 공식화의 C·D를 해소한다고 적습니다. 반면 A·B를 풀었다고 말하지는 않습니다. 페이지에는 논문과 Lean 링크도 함께 붙어 있습니다.

특이점은 어떻게 설명됐나

원문이 강조하는 그림은 안쪽으로 감기는 소용돌이입니다. 유체가 스파게티처럼 가늘어지면서 중심이 줄고 속도는 커지지만, 에너지는 유한하게 남는다는 설명입니다. 중요한 점은 이것이 바깥에서 무한한 외력을 억지로 넣는 방식이 아니라는 점입니다.

페이지는 가속도, 압력, 운동량, 점성 항이 모두 커지면서도 정밀하게 상쇄되고, 그 결과 외력은 매끄럽게 남는다고 설명합니다. 점성이 있는데도 특이점이 생긴다는 점이 이 문제의 난이도를 보여주는 대목입니다.

무한 외력을 손으로 넣는 방식이 아니라, 여러 항이 커지면서도 정밀하게 상쇄되어 외력은 매끄럽게 남는다고 설명합니다.

어떤 모델과 어떤 운영으로 나왔나

OpenAI에 따르면 나비에–스토크스 해석은 GPT-6 Astra보다 능력 있는 내부 모델이 만들었습니다. 이 모델은 8월 28일부터 학습 중이며, 학습은 아직 진행 중이라고 적습니다. 공개 이유도 결과 자체의 선언이라기보다 모델의 진행 속도를 세계에 알리기 위한 것이라고 설명합니다.

9월 1일 소문 이후에는 밀레니엄·고영향 문제에 에이전트 그룹을 투입했습니다. 나비에–스토크스를 찾은 그룹은 약 1만 동시 에이전트 규모였고, 도구로는 캐시된 웹 읽기와 코드 실행이 있었다고 합니다. 그룹 내 통신, 모니터링, 격리도 유지했다고 적습니다.

또한 OpenAI는 Clay 공식화의 증명형인 A·B와 반증형인 C·D 변형을 서로 다른 그룹에 나눠 시도했다고 설명합니다.

오일러를 먼저 풀고, 그다음 나비에–스토크스로 갔다

페이지에 따르면 OpenAI는 먼저 비강제 오일러 정칙성 문제를 풀었습니다. 점성을 뺀 극한인 오일러 방정식의 비강제 변형을 약 100개 에이전트가 약 50시간에 해결했다고 합니다. 그 뒤 자원을 나비에–스토크스에 집중했고, 9월 5일 토요일에 나비에–스토크스 해석이 나왔다고 적습니다.

시간도 분리해서 봐야 합니다. 첫 에이전트 기동 후 약 88시간 만에 해석이 나왔고, Lean 형식화와 검증에는 GPT-6 Astra로 추가 17시간이 걸렸다고 합니다. 이 둘을 합쳐 다른 의미로 바꾸면 원문과 달라집니다.

나비에–스토크스 해석은 약 88시간, Lean 형식화·검증은 추가 17시간이었습니다.

공개된 규모 수치

이번 발표는 에이전트 운영 규모도 비교적 구체적으로 공개했습니다. 시도한 전 문제를 합치면 약 490만 메시지와 약 3000억 출력 토큰이었고, 나비에–스토크스 경로만 보면 약 270만 메시지와 약 1300억 출력 토큰이었다고 합니다. Codex를 통해 그룹 간 유용한 중간 결과를 교차했다고도 설명합니다.

여기서도 전 문제 합계와 나비에–스토크스 경로 수치를 섞지 않는 것이 좋습니다. 원문은 둘을 분리해 제시합니다.

병행 연구와 우선권에 대한 입장

OpenAI는 Buckmaster·Alpöge와의 병행 작업을 인정합니다. 페이지에 따르면 9월 1일의 소문은 나중에 강제 오일러 결과와 연결됐고, OpenAI는 강제 오일러에 대한 두 사람의 우선권을 인정하며 축하한다고 적습니다.

또한 서로의 작업을 공개 전까지 보지 않았고, 증명도 다르며, 오일러의 경우에는 강제와 비강제라는 점에서 결과 자체도 다르다고 설명합니다. 공개 전 제품 사용에서 나온 탈식별 데이터의 도움이 완전히 없었다고 단정하지는 않지만, 이를 과장해 다른 주장으로 바꾸는 것은 원문과 맞지 않습니다.

Buckmaster·Alpöge의 강제 오일러 우선권을 인정하며, 이번 결과로 밀레니엄 상을 청구할 의사가 없다고 명시합니다.

무엇은 아직 아닌가

이번 공개는 OpenAI의 증명과 Lean 형식화 공개입니다. 따라서 이것을 곧바로 Clay의 공식 시상이나 상금 수상 공지로 읽으면 안 됩니다. 페이지는 상금을 청구하지 않는다고만 적고 있으며, 별도의 Clay 발표가 이 글의 근거로 제시되지는 않습니다.

또한 강제 오일러 우선권을 주장하는 글도 아닙니다. OpenAI가 먼저 풀었다고 적은 것은 비강제 오일러이고, 강제 오일러에 대해서는 Buckmaster·Alpöge의 우선권을 인정합니다.

공학 적용을 곧바로 과장하는 것도 피해야 합니다. 페이지는 항공기, 기상, 혈류 등 방정식의 쓰임을 설명하지만, 이번 결과가 즉시 제품 설계를 바꾼다고 말하지는 않습니다.

한눈에 보는 구분

정리

이번 발표에서 확인할 수 있는 사실은 비교적 분명합니다. OpenAI는 내부 모델이 나비에–스토크스 존재·매끄러움 문제에 대해 유한 시간 특이점을 보이는 해석적 증명과 Lean 형식화를 만들었고, 이를 Clay 공식화의 C·D 해소로 제시했습니다. 특이점의 기하학은 안쪽으로 감기며 가늘어지는 소용돌이로 설명됩니다. 비강제 오일러를 먼저 푼 뒤 나비에–스토크스로 넘어갔고, 에이전트 운영 규모와 메시지·토큰 수치도 함께 공개했습니다.

동시에 원문은 선을 분명히 긋습니다. 이것은 상금 수상 발표가 아니며, 강제 오일러 우선권은 Buckmaster·Alpöge에게 있다고 인정합니다. 따라서 이번 공개를 읽을 때는 수학적 주장, 형식화 공개, 에이전트 운영 보고, 상금 절차를 서로 구분해 보는 것이 좋습니다.

참고 자료

OpenAI — On the Navier–Stokes Millennium Prize Problem

이 발표에서 가장 먼저 확인하고 싶은 대목은 무엇이었는지 궁금합니다.