지난 며칠 사이 나온 AI 연구 뉴스 중 가장 의미가 큰 후속 업데이트입니다.
핵심 내용. OpenAI는 9월 8일 내부 연구모델과 약 1만 개의 동시 Agent를 이용해 Navier–Stokes Millennium Prize Problem의 공식 formulation 중 C와 D, 즉 매끄러운 외력이 있는 조건에서 유한시간 singularity가 발생할 수 있음을 보이는 해를 찾았다고 발표했습니다. 약 88시간의 Agent 탐색 뒤 GPT‑6 Astra를 이용한 Lean 형식검증에 추가 17시간이 들어갔고, Navier–Stokes 작업 자체에는 약 27만이 아니라 270만 개 메시지와 1,300억 output token이 사용됐다고 OpenAI가 밝혔습니다. (OpenAI)
중요한 구분이 있습니다. 흔히 알려진 “외력이 없는 3차원 Navier–Stokes가 항상 매끄러운가”라는 형태 자체를 직접 증명한 것은 아닙니다. Clay가 공인한 Millennium formulation은 여러 대안 가운데 하나를 입증하면 문제 해결로 인정할 수 있도록 되어 있고, OpenAI는 외력이 있는 blow-up 반례인 C/D를 제시한 것입니다. 따라서 “모든 Navier–Stokes 문제가 해결됐다”는 표현보다 “Clay Millennium Problem의 허용된 반례 formulation을 해결했다고 주장한다”가 정확합니다. (OpenAI)
그리고 9월 11일 Clay Mathematics Institute가 처음 공식 반응을 내놨습니다. Clay는 “Navier–Stokes 문제가 apparently been settled라는 발표를 바라보며 수학계의 흥분을 공유한다”고 밝혔습니다. 다만 상금·공식 인정 절차는 의도적으로 서두르지 않으며 기존 검증·credit 규칙에 따라 진행하겠다고 명시했습니다. 즉 현재는 매우 강한 긍정 신호지만 100만 달러 Millennium Prize 수상이 확정된 상태는 아닙니다. (Clay Mathematics Institute)
배경. 이번 작업은 사람 한 명과 챗봇 하나의 대화가 아니라 대규모 연구조직에 가깝습니다. OpenAI에 따르면 전체 Millennium 문제 탐색에는 490만 개 메시지와 약 3,000억 output token이 사용됐습니다. 모델 스스로 여러 가설을 병렬 탐색하고 그룹 간 결과를 공유한 뒤 Codex가 유용한 결과를 통합하는 방식이었습니다. (OpenAI)
동시에 우선권과 학술 관행을 둘러싼 논쟁도 있습니다. OpenAI가 주변 연구자들의 미공개 결과를 알고 있었던 것 아니냐는 의문이 제기됐고, OpenAI는 9월 10일 추가 조사 후 해당 연구자들의 Codex 입력이 이번 모델 학습이나 결과에 영향을 줄 수 없었다고 밝혔습니다. 증명 자체도 아직 수학계의 긴 검토 과정이 남아 있습니다. (OpenAI)
산업·시장 영향. 이번 결과가 최종 검증될 경우 AI 연구 생산성의 기준이 크게 달라집니다. 경쟁력이 좋은 수학 모델 1개가 아니라 Frontier model × 수천 Agent × 대규모 inference compute × 형식검증기 조합으로 이동합니다. 특히 Lean과 같은 formal verifier가 LLM의 오류를 잡는 최종 검증 계층으로 사용됐다는 점이 중요합니다.
반대로 이 방식은 일반 기업이 따라 하기엔 아직 매우 비쌉니다. 1,300억 output token을 한 문제에 쓸 수 있는 상황은 극히 제한적이므로, 가까운 시기에는 신약·반도체·수학·재료과학처럼 문제 하나의 가치가 매우 높은 연구에서 먼저 경제성이 나올 가능성이 큽니다.
실무 시사점. 연구형 Agent를 만들 때 Agent를 많이 돌리는 것보다 독립 verifier를 같이 두는 구조가 핵심입니다. 코드라면 테스트·정적분석, 수학이라면 Lean, 데이터 분석이라면 재현 가능한 계산과 별도 Agent reviewer를 사용해야 합니다. 생성 Agent × 검증 Agent 구조가 단순 다중 Agent보다 안전합니다.
OpenAI — Navier–Stokes 공식 발표 Clay Mathematics Institute — Navier–Stokes Announcement