한국어EN
추론 모델·AGI 논쟁OpenAI발언·성명

OpenAI, 나비에-스토크스 밀레니엄 문제 해법 공개

OpenAI, 나비에-스토크스 밀레니엄 문제 해법 공개 — 내부 시스템이 만든 증명으로, 처음에 정지해 있던 매끄러운 3차원 비압축성 유체에 매끄러운 외력을 주면 에너지가 유한한 채로 유한 시간 안에 특이점(속도가 끝없이 커지는 점)이 생길 수 있음을 보였다고 밝히고 논문과 Lean 형식화 증명을 함께 공개

왜 중요한가

OpenAI 주장 기준으로 에이전트 약 100개가 약 50시간 협업해 외력 없는 오일러 방정식의 정칙성 문제도 반증했고, 첫 에이전트 투입 뒤 약 88시간 만에 결론에 이른 뒤 GPT-6 Astra로 Lean 형식화에 17시간을 더 썼다고 설명. 상금은 청구하지 않겠다고 했으며, 같은 시기 해법을 낸 Levent Alpöge(Anthropic)·Tristan Buckmaster(NYU)에게 공동 발표를 제안했다고 적음

출처 — 1차 출처를 우선 확인하고, 2차 보도는 「보도」로 따로 표시해요

공식 발표openai.comhttps://openai.com/index/navier-stokes-solution/

2026년 42주차에 더한 기록이에요 · 그 주 보기

같은 주에 나온 조각

StepAudio 3 Realtime 기술 보고서 공개논문'Scaling Storage for 1 Billion ChatGPT Users (Part I)' 공개공식 발표Agents API 퍼블릭 베타 공개공식 발표ChatGPT Work에 Data agent를 공개함공식 발표

같은 축의 가까운 조각

올림피아드 수학의 자연어 증명 생성에 대해 post-training과 test-time 추론 설계의 영향을…논문'Formalizing Fermat's Last Theorem' 공개공식 발표GPT-6 Astra 공개공식 발표Gemini 3.8 Flash 및 3.8 Flash Cyber 공개공식 발표