AI
Navier–Stokes 밀레니엄 상금 문제에 관하여
On the Navier–Stokes Millennium Prize Problem
두줄요약
OpenAI는 내부 시스템이 Navier–Stokes 문제의 유한 시간 특이점 증명을 만들었다고 발표했습니다. 분석 증명과 Lean 형식화, 멀티에이전트 탐색 과정을 함께 공개했습니다.
핵심 발표
- 내부 OpenAI 시스템이 Navier–Stokes 존재성과 매끄러움 문제의 유한 시간 특이점 발생 분석 증명 및 Lean 형식화 생성
- 공식 밀레니엄 상금 문제 서술의 진술 C와 D 확립 주장
연구 방법·결과
- 처음에는 정지 상태인 매끄러운 유체에 매끄러운 힘을 가해 유한 에너지를 유지하면서 유한 시간 특이점으로 전개되는 결과
- 안쪽으로 나선형 운동하며 축 방향으로 늘어나는 소용돌이 구조를 해법으로 제시
- 약 10,000개 동시 에이전트 그룹이 약 88시간 후 해법 도출, GPT‑6 Astra를 통한 Lean 형식화·검증에 추가 17시간 소요
개발자 영향
- 캐시된 인터넷 읽기와 코드 실행 도구를 갖춘 조율형 멀티에이전트 시스템 활용 사례
- 문제 변형별 에이전트 그룹 운영 및 Codex를 통한 중간 결과 통합 방식
한계·주의점
- 밀레니엄 상금 수상 청구 의도 부재 표명
- 현재 결과를 AI 개발 진전의 한 시점으로 규정