OpenAI, 나비에-스토크스 백만 달러 문제 해결 발표

TL;DR

OpenAI는 내부 AI 시스템이 엄밀한 해석적 증명과 Lean 형식화를 통해, 매끄러운 3차원 비압축성 나비에-스토크스 흐름이 유한 시간 내에 특이점을 형성할 수 있음을 입증했다고 발표했다. 이는 나비에-스토크스 존재성 및 매끄러움 백만 달러 문제를 해결한 것이다.

문제와 그 중요성

나비에-스토크스 방정식은 연속 매질에 뉴턴의 제2법칙을 적용하여 유체 운동을 모델링한다. 3차원 비압축성 유체(일정 밀도)에 대해, 지난 90년간의 미해결 문제는 초기 매끄러운 조건이 유한 시간 내에 특이점(점성 감쇠에도 불구하고 속도가 무한대로 발산하는 현상)으로 진화할 수 있는지 여부였다. 긍정적인 답변은 연속체 근사의 근본적인 붕괴를 보여주며, 클레이 수학연구소 백만 달러 문제 중 첫 번째 해결이 될 것이다.

발표된 결과

OpenAI의 시스템은 정지한 초기 매끄러운 유체에 매끄러운 외부 힘이 작용할 경우, 전체 운동 에너지는 유한한 상태에서 유한 시간 내에 특이점이 발생할 수 있음을 증명했다. 이 증명은 공식 백만 달러 문제 서술에서 "C"와 "D"를 입증하여 다음과 같이 확인한다:

  • 나비에-스토크스 역학은 유한 시간 내에 무한한 속도를 생성할 수 있다.
  • 특이점은 내부로 회전하며 축 방향으로 늘어나는 소용돌이를 통해 발생하며, 마치 조여지는 스파게티 줄기와 유사하다.
  • 방정식의 모든 항(가속도, 압력 기울기, 운동량 전달, 점성)은 크기가 커지지만 정확히 상쇄되어 매끄러운 외부 힘은 유지된다.

발표와 함께 전체 기술 문서와 Lean 정리 증명기에서 기계적으로 검증된 형식화가 제공된다.

증명 발견 과정

모델 훈련 및 배포

  • 2026년 8월 28일부터 OpenAI는 수학 분야에서 이전 벤치마크를 능가하는 새로운 내부 모델을 훈련시켰으며, GPT-6 Astra를 능가하는 능력을 보였다.
  • 모델은 지속적인 훈련을 유지하며, 전체 과정 동안 성능이 향상되었다.

다중 에이전트 평가 프레임워크

  • 2026년 9월 1일, 백만 달러 문제 해결 소문이 퍼지자 OpenAI는 모든 미해결 문제에 대한 통합된 다중 에이전트 평가를 시작했다.
  • 에이전트들은 내부 통신이 가능한 그룹으로 조직되었으며, 각 그룹은 문제 서술의 서로 다른 변형(예: 증명을 위한 나비에-스토크스 버전 "A/B", 반증을 위한 "C/D")을 받았다.
  • 나비에-스토크스 문제 해결에는 약 10,000개의 동시 에이전트가 참여했다.
  • 에이전트들은 도구 접근 권한을 보유: 캐시된 인터넷 읽기, 코드 실행, 이후 업그레이드된 모델 버전.
  • 유체 미해결 문제(강제되지 않은 블루업)에서 초기 성공 후 자원이 나비에-스토크스 문제로 재배치되었다.

워크플로우 및 자원

  • 나비에-스토크스 문제 해결 과정에서 에이전트들은 270만 건의 메시지를 교환하고, 약 1300억 개의 출력 토큰을 생성했다.
  • 해결은 2026년 9월 5일에 도출되었으며, 첫 에이전트가 배포된 지 약 88시간 후였다.
  • Lean에서의 형식적 검증은 GPT-6 Astra를 사용해 추가로 17시간이 소요되었다.
  • 모든 시도된 문제에 대해 시스템은 490만 건의 메시지와 약 3000억 개의 토큰을 생성했다.

동시 작업 및 기여자

OpenAI는 자체 증명을 완료한 후, 앤서닉의 레벤트 알포지와 뉴욕대의 트리스탄 브카머가 병렬 작업을 수행하고 있음을 알게 되었다. 외부 팀은 강제된 오일러 블루업 문제를 해결했지만, 나비에-스토크스 문제는 아니었다. OpenAI는 공동 발표를 제안하고 프롬프트 로그를 공유했으며, 두 결과가 서로 다름을 확인했다.

수학과 AI에 대한 함의

  • 수학적 영향 – 이 증명은 유체역학의 핵심 질문을 해결하며, 나비에-스토크스 방정식이 유한 시간 내에 잘 정의되지 않을 수 있음을 확인한다. 이는 난류 이론, 수치 시뮬레이션 보장, 연속체 역학의 기초에 대한 이론적 작업을 재구성한다.
  • AI 연구적 영향 – 대규모 다중 에이전트 AI 시스템이 새로운, 동료 검토 수준의 수학을 생성하고 기계적으로 검증된 형식적 증명을 생성할 수 있음을 보여준다. 메시지 수백만 건, 토큰 수백억 개의 규모는 자동 탐사의 새로운 패러다임을 시사한다.
  • 책임과 미래 방향 – OpenAI는 미국 100만 달러 백만 달러 상을 주장하지 않으며, 이러한 시스템이 인간의 가치에 부합하고 조절 가능하며 책임감 있게 작동하도록 지속적으로 노력하고 있다고 강조한다. 향후 능력의 속도를 조절하기 위해 모델의 추론 과정을 연구할 계획이다.

참고자료

Sources