나비에–스토크스에 특이점이 생깁니다 | DAKER 커뮤니티
OpenAI가 2026년 9월 8일 「On the Navier–Stokes Millennium Prize Problem」을 공개했습니다. 내부 모델이 해석적 증명과 Lean 형식화를 냈고, 매끄러운 유체가 유한 시간에 특이점을 만들 수 있음을 보였다고 합니다. 오늘은 공식 페이지만의 사실로 정리하며, 밀레니엄 상금 청구는 하지 않는다고 밝힌 점을 함께 둡니다. 원문은 openai.com/index/navier-stokes-solution입니다.
나온 것
1. 결과는 Clay 공식화의 C·D 명제를 해소한다고 적습니다. 초기에 정지한 매끄러운 유체에 매끄러운 외력을 가하고 에너지가 유한한 채, 유한 시간에 특이점(속도가 유계를 넘김)이 생긴다는 해석적 증명과 Lean 형식화를 공개했습니다. 논문 쓰기와 Lean 링크를 페이지에 붙였습니다.
2. 사용한 모델은 GPT-6 Astra보다 능력 있는 내부 모델입니다. 8월 28일부터 학습 중이며 벤치마크가 계속 오른다고 합니다. 학습은 아직 진행 중입니다. 세계에 진행 속도를 알리기 위해 공개한다고 적습니다.
3. 특이점의 기하학은 안쪽으로 감기는 소용돌이입니다. 스파게티처럼 가늘어지며 중심이 줄고 속도가 커지지만 에너지는 유한합니다. 무한 외력을 손으로 넣는 방식이 아니라, 가속도·압력·운동량·점성 항이 커지면서도 정밀하게 상쇄되어 외력은 매끄럽게 남는다고 설명합니다.
4. 9월 1일 소문 이후 밀레니엄·고영향 문제에 에이전트 그룹을 올렸습니다. NS를 찾은 그룹은 약 1만 동시 에이전트 규모입니다. 도구로 캐시된 웹 읽기와 코드 실행이 있었고, 그룹 내 통신·모니터링·격리를 유지했다고 합니다. A·B(증명형)와 C·D(반증형) 변형을 다른 그룹에 나눴습니다.
5. 먼저 비강제 오일러 정칙성을 풀었습니다. 점성을 뺀 극한(오일러)의 비강제(외력 없음) 변형을 약 100개 에이전트가 약 50시간에 해결했다고 합니다. 이후 NS에 자원을 모았고, 9월 5일 토요일에 NS 해석이 나왔습니다. 첫 에이전트 기동 후 약 88시간, Lean 형식화·검증에 GPT-6 Astra로 추가 17시간이 걸렸습니다.
6. 토큰·메시지 규모가 공개됐습니다. 시도한 전 문제에서 약 490만 메시지·약 3000억 출력 토큰, NS 경로에서는 약 270만 메시지·약 1300억 출력 토큰입니다. Codex로 그룹 간 유용한 중간 결과를 교차했다고 합니다.
7. Buckmaster·Alpöge와의 병행 작업을 인정합니다. 소문은 나중에 강제 오일러 결과와 연결됐고, OpenAI는 강제 오일러에 대한 그들의 우선권을 인정하며 축하한다고 적습니다. 서로의 작업을 공개 전까지 보지 않았고, 증명도 다르며 오일러의 경우 강제/비강제로 결과 자체도 다릅니다. OpenAI는 이 결과로 밀레니엄 상을 청구할 의사가 없다고 명시합니다.
상금·달러 액수를 임의로 붙이지 마십시오. 공식 페이지는 상금 청구를 하지 않는다고만 적습니다. Clay 상금 금액을 이 글에 넣지 않습니다.
「Millennium Prize를 탔다」고 쓰지 마십시오. 공개 목적은 모델 진행을 보고하는 것이며, 수상 선언이 아닙니다.
수치 단위를 원문과 같게 두십시오. 4.9 million messages, ~300 billion output tokens, 2.7 million / ~130 billion, ~10,000 concurrent agents, ~100 agents / ~50 hours, ~88 hours + 17 hours Lean입니다. 임의로 반올림 규칙을 바꾸지 마십시오.
강제 오일러와 비강제 오일러를 섞지 마십시오. OpenAI 에이전트는 비강제 오일러를 먼저 풀었고, Buckmaster·Alpöge는 강제 오일러 우선권을 인정받았습니다.
내부 모델과 GPT-6 Astra를 구분하십시오. NS 해석은 더 강한 내부 모델, Lean 형식화·검증 단계에 Astra가 쓰였다고 적혀 있습니다.
유체 방정식의 공학 적용을 과대포장하지 마십시오. 페이지는 항공기·기상·혈류 등 방정식의 쓰임을 설명하지만, 이번 결과가 즉시 제품 설계를 바꾼다고 쓰지 않습니다.
공격·익스플로잇·시스템 침해 내용을 넣지 마십시오. 수학 결과와 에이전트 운영 규모만 옮깁니다.
출처는 공식 인덱스 페이지와 페이지가 가리키는 논문·Lean 링크만 쓰십시오. 확인되지 않은 2차 요약을 본문 근거로 쓰지 마십시오.
팀 위키에는 「C·D 해소」「상금 미청구」「병행 강제 오일러 우선권 인정」 세 줄을 고정하십시오. 제목만 보고 수상으로 오해하지 않게 하십시오.
DAKER에 남길 때는 공개 URL을 우선하십시오. 내부 프롬프트 전문이나 미공개 증명을 추측해 쓰지 마십시오. 올린 링크가 제출입니다.
학습 시작일 8월 28일과 기동일 9월 1일을 구분하십시오. 모델 학습은 계속 중이고, 밀레니엄 시도는 소문 이후입니다.
특이점 정의를 짧게 남기십시오. 유한 시간에 속도가 유계를 넘는 현상이며, 연속체 모형이 깨질 수 있음을 뜻한다고 페이지가 설명합니다. 「우주가 붕괴한다」류의 비공식 표현은 쓰지 마십시오.
시각화 설명은 원문의 스파게티형 소용돌이 비유만 옮기십시오. 새로운 기하학을 창작하지 마십시오.
Clay 공식화 A·B·C·D를 표로 정리하십시오. OpenAI는 증명형(A·B)과 반증형(C·D)을 다른 그룹에 나눴고, 결과는 C·D를 해소한다고 적습니다. A·B를 풀었다고 쓰지 마십시오.
Lean 검증 완료 시각과 해석 도출 시각을 구분하십시오. 해석은 약 88시간, Lean은 추가 17시간입니다. 하나로 합쳐 「105시간 만에 상 수상」처럼 쓰지 마십시오.
에이전트 도구 범위를 과장하지 마십시오. 캐시된 웹 읽기와 코드 실행이 있었다고 적혀 있습니다. 실시간 무단 시스템 접근 이야기로 바꾸지 마십시오.
교차 수분(Codex) 설명을 「사람 수학자가 증명을 받아썼다」로 바꾸지 마십시오. 그룹 간 중간 결과를 모았다는 운영 설명입니다.
동시 1만 에이전트는 NS를 찾은 그룹 규모입니다. 모든 밀레니엄 문제에 1만씩 붙였다고 쓰지 마십시오. 그룹 크기는 달랐다고 적혀 있습니다.
오일러 각주 논문 링크를 별도 북마크하십시오. 페이지 각주에 오일러 증명·Lean 링크가 있습니다. NS 본편과 섞어 제목을 붙이지 마십시오.
「차세대 AI 시대」 문장은 페이지의 진행 보고 맥락입니다. 제품 출시일 예고로 인용하지 마십시오.
탈식별 데이터 가능성 문장을 과장하지 마십시오. OpenAI는 공개 전까지 상대 작업을 보지 않았고, 제품 사용에서 나온 탈식별 데이터 도움을 완전히 배제할 수는 없다고 적습니다. 「훔쳤다」류 표현은 금지입니다.
수학 팀과 AI 팀 브리핑을 분리하십시오. 방정식 의미(연속체 모형 붕괴 가능성)와 에이전트 운영 수치를 다른 슬라이드로 두십시오.
시각 자료는 페이지의 국소 비압축 운동 스냅샷 설명을 따르십시오. 주황·청록 회전 속도 표시는 원문 캡션 기준입니다.
메시지 490만·토큰 3000억은 전 문제 합계입니다. NS만의 수치(270만·1300억)와 표를 나눠 두십시오. 합쳐 한 줄로 쓰면 독자가 혼동합니다.
내부 모델 학습이 8월 28일부터 「ongoing」임을 명시하십시오. 고정 체크포인트 이름처럼 쓰지 마십시오.
소문 날짜(9월 1일)와 연락·확인 날짜(9월 6일 이후)를 타임라인에 나누십시오. 병행 연구 인정 문장을 같은 줄에 두십시오.
증명 공개와 상금 절차를 분리해 설명하십시오. Clay 측 별도 발표가 이 페이지에 없다고 밝히십시오.
유체 특이점 결과를 「날씨 예보가 즉시 바뀐다」로 연결하지 마십시오. 방정식 이론 결과와 현업 모델을 구분하십시오.
에이전트 격리·모니터링 언급을 보안 홍보 문장으로 확장하지 마십시오. 원문이 말한 평가 안전장치 수준만 옮기십시오.
공식 페이지 상단의 논문·Lean 링크를 주간 리뷰에 포함하십시오. 본문 요약만 읽고 끝내지 말고, 형식화 저장소가 열려 있는지 확인하십시오.
「F=ma」 설명 문단은 대중 이해를 위한 도입입니다. 증명 핵심을 뉴턴 법칙 한 줄로 대체하지 마십시오.
점성이 있는데도 특이점이 생긴다는 점이 난이도의 핵심입니다. 점성이 모든 돌발을 없앤다는 직관을 팀에 교정하십시오.
1934 Leray·2000 Clay 연표를 참고로만 두십시오. 이번 결과의 우선권 논의와 섞어 새 연표를 창작하지 마십시오.
GPT-6 Astra 제품 발표 글과 이 NS 글을 북마크에서 분리하십시오. Astra는 Lean 단계에 쓰였고, 해석의 주 모델은 더 강한 내부 모델입니다.
커뮤니티 제목에 「상금 수상」이 들어가면 수정하십시오. 「특이점」「C·D」「미청구」가 안전한 키워드입니다.
아닌 것
OpenAI가 밀레니엄 상금을 청구·수상했다는 공지가 아닙니다. 청구하지 않는다고 명시했습니다.
강제 오일러 우선권 주장 글이 아닙니다. Buckmaster·Alpöge의 강제 오일러 우선권을 인정합니다.
Clay가 공식 시상했다고 확인된 글이 아닙니다. OpenAI의 증명·Lean 공개입니다.
공격·해킹·우회 절차를 적는 글이 아닙니다. 수학·에이전트 규모만 다룹니다.
임의 상금 달러액을 단정하는 글이 아닙니다. 공식 페이지에 없는 금액을 넣지 않습니다.
오늘 할 일
첫째, 공식 페이지에서 C·D 해소와 상금 미청구 문장을 확인하십시오. OpenAI — On the Navier–Stokes Millennium Prize Problem을 여십시오.
둘째, 논문 쓰기와 Lean 형식화 링크를 북마크하십시오. 페이지 상단 Read the paper / Lean 링크를 따릅니다.
셋째, 팀 문서에 메시지·토큰·시간 수치를 원문 단위로 옮기십시오. 임의 환산표를 만들지 마십시오.
넷째, 오일러(비강제)와 NS, 그리고 병행 강제 오일러를 표로 구분해 두십시오. 우선권 문장을 같이 적으십시오.
다섯째, 「수상」 표현이 들어간 초안이 있으면 수정하십시오. 공개·보고·미청구로 고치십시오.
여섯째, 확인한 요약과 출처 링크를 공개로 남기십시오. DAKER에는 빌더와 대회 기록이 쌓여 있습니다. 올린 링크가 제출입니다.
한 페이지 요약
OpenAI는 내부 모델로 나비에–스토크스 존재·매끄러움 문제에 대해, 정지한 매끄러운 유체가 매끄러운 외력과 유한 에너지 아래 유한 시간에 특이점을 만든다는 해석적 증명과 Lean 형식화를 공개했습니다. Clay 공식화 C·D를 해소한다고 적습니다. 소용돌이가 안쪽으로 감기며 가늘어지는 형태입니다. 9월 1일 이후 약 1만 동시 에이전트 그룹이 NS를 찾았고, 비강제 오일러를 먼저(~100에이전트·~50시간) 푼 뒤 NS는 약 88시간+Lean 17시간이었습니다. 전 문제 4.9M 메시지/~300B 토큰, NS 경로 2.7M/~130B입니다. 강제 오일러는 Buckmaster·Alpöge 우선권을 인정합니다. 밀레니엄 상금은 청구하지 않습니다.