오픈AI가 1만 개의 AI 에이전트를 동시에 가동해 90년 가까이 미해결이던 나비에-스토크스 존재성·매끄러움 문제의 해법을 도출하고 이를 린(Lean) 형식화로 검증 가능하게 공개했다. 매끄럽게 시작한 유체도 유한한 시간 안에 속도가 무한대로 발산하는 특이점을 만들 수 있음을 수학적으로 구성한 것이 핵심으로, 오픈AI는 이 결과가 클레이 수학연구소 밀레니엄 문제의 명제 C·D를 입증한다고 주장한다. 다만 상금 수령을 위한 논문 게재·2년 대기·수학계의 일반적 수용이라는 절차가 남아 있어, 오픈AI 스스로도 상금을 신청하지 않겠다고 밝혔다. 이번 사례는 단일 모델이 아닌 수천 개의 에이전트가 병렬로 가설을 세우고 코드를 실행하는 'AI 연구팀' 구조가 인간이 수십 년 걸릴 탐색을 며칠 만에 수행할 수 있음을 보여준다.

• •오픈AI가 약 1만 개 AI 에이전트를 동원해 88시간 만에 나비에-스토크스 해법 도출, 이후 17시간 걸려 린 형식화로 검증
• •매끄러운 초기조건에서도 유한 시간 내 유체 속도가 발산하는 특이점 발생 가능성을 수학적으로 구성
• •클레이 수학연구소의 밀레니엄 문제 규정상 논문 게재 후 최소 2년, 수학계의 일반적 수용이 필요해 공식 해결 인정은 아직
• •오픈AI는 100만 달러 상금을 신청하지 않겠다고 밝혔으며, 벅마스터·알포게 연구 소문이 프로젝트의 계기였다고 설명
• •연구 데이터 활용과 우선권·저자권을 둘러싼 논쟁도 함께 제기됨