1만 개 에이전트가 겨냥한 90년 난제

약 90년 동안 미해결로 남았던 3차원 Navier–Stokes 존재성과 매끄러움 문제가 대규모 AI 협업의 시험대가 됐다. OpenAI는 GPT-6 Astra보다 훨씬 강력한 훈련 중 내부 모델을 약 1만 개의 조정형 에이전트에 연결했고, 첫 실행 뒤 88시간 만에 유한한 시간 안에 특이점이 생길 수 있다는 해석적 증명을 얻었다. 이어 GPT-6 Astra를 이용한 Lean 형식화와 검증에 17시간을 더 썼다. 회사는 Clay Mathematics Institute의 상금을 청구하지 않겠다고 밝혔으며, 공개된 증명이 독립적인 수학 검토를 통과하는지가 이제 핵심이다.

“The proof was produced by a group of agents.”

이 문장이 중요한 이유는 한 모델의 단발성 답변이 아니라, 서로 다른 접근을 병렬로 탐색하고 중간 결과를 교환한 연구 시스템이 결과를 만들었다는 데 있다. OpenAI 설명에 따르면 에이전트들은 캐시된 인터넷을 읽고 코드를 실행할 수 있었고, 문제의 여러 공식화에 따라 그룹을 나눴다. 전체 시도에서는 490만 건의 메시지와 약 3,000억 개 출력 토큰이 사용됐으며, Navier–Stokes 작업만 270만 건의 메시지와 약 1,300억 개 출력 토큰을 소비했다. Euler 방정식의 더 단순한 정칙성 문제를 약 100개 에이전트가 50시간에 먼저 푼 뒤, 그 통찰을 Navier–Stokes 그룹에 전달한 과정도 공개됐다.

증명의 내용과 남은 검증

Navier–Stokes 방정식은 항공기 설계, 날씨 예측, 혈류 분석 등에 쓰이는 유체 운동의 기본 언어다. 공개된 구성은 처음에 정지한 매끄러운 유체에 매끄러운 힘을 가했을 때, 소용돌이가 안쪽으로 감기고 길게 늘어나면서 속도가 유한시간 안에 무한대로 커질 수 있음을 보인다. 그동안 핵심 장벽은 점성이 운동을 매끄럽게 만드는 상황에서도 가속도, 압력 기울기, 운동량 전달, 점성 항이 정교하게 상쇄되도록 구성하는 일이었다. OpenAI는 해석적 논문과 Lean 코드를 함께 공개해 사람이 수식 논리와 기계 검증을 각각 추적할 수 있게 했다.

OpenAI 계정은 평소 모델·제품 공개와 안전 연구 결과를 직접 전달하는 공식 채널이다. 이번 게시물은 단순 성능 홍보보다 훨씬 큰 주장을 담았고, 원문은 게시 하루 만에 10만 회가 넘는 좋아요와 5,500만 회가 넘는 조회를 기록했다. 다만 형식 검증은 전제와 구현이 올바른지를 확인하는 수단이지 수학계의 독립 심사를 대신하지 않는다. 앞으로 볼 지점은 외부 전문가가 논문의 힘 항과 특이점 구성을 재검산하는지, Lean 저장소가 재현 가능한 상태로 유지되는지, Clay의 공식 문제 진술 C·D를 충족한다는 해석에 반론이 나오는지다. 원문 트윗과 연구 설명, 논문에서 근거를 확인할 수 있다.

#formal-proof

OpenAI 1만 에이전트, 88시간 만에 90년 난제 Navier–Stokes 특이점 증명