- CMI는 2026년 12월 31일까지 Navier-Stokes 문제를 해결된 것으로 선언할까요?4¢4%
- CMI는 2027년 12월 31일까지 Navier-Stokes 문제를 해결된 것으로 선언할까요?14¢14%
- CMI는 2028년 12월 31일까지 Navier-Stokes 문제를 해결된 것으로 선언할까요?38¢38%
OpenAI’s September 2026 announcement that an internal multi-agent AI system produced a Lean-formalized proof of finite-time singularity in the forced three-dimensional Navier-Stokes equations has driven recent trader sentiment, though CMI immediately described the problem as only “apparently settled.” The institute’s rules require peer-reviewed publication in a qualifying journal, broad community acceptance, and a two-year waiting period before any declaration, leaving the problem officially active as of late October. Parallel human-AI results on related forced Euler and Boussinesq equations by Buckmaster and Alpöge have added context but do not resolve the unforced case central to the prize formulation. Ongoing scrutiny, including an October arXiv note questioning semantic fidelity of the Lean formalization, and the absence of an accepted journal paper keep resolution timelines uncertain despite the computational milestone.
규칙
Clay Mathematics Institute(CMI)가 명시된 날짜의 오후 11:59 ET까지 Navier-Stokes 존재성과 매끄러움 문제에 대해 Millennium Prize를 수여하거나, 그 밖의 방식으로 웹사이트 또는 공식 발표를 통해 Navier-Stokes 존재성과 매끄러움 문제가 해결되었다고 공식 선언하면 이 시장은 "예"로 판정됩니다. 그렇지 않으면 이 마켓은 "아니오"로 판정됩니다. Millennium Prize 수여는 공식 선언으로 인정되지만 필수 요건은 아닙니다. Navier-Stokes 존재성과 매끄러움 문제가 해결되었다는 CMI의 공식 발표만으로도 충분합니다. 해결책이 인공지능에 의해 전부 또는 일부 만들어졌는지, 그리고 수상자가 상을 수락하거나 거절하는지는 고려하지 않습니다. 발표되거나 공개적으로 게시된 증명은 수학계의 수용 여부와 관계없이 그 자체만으로는 적격하지 않습니다. 주요 결제 출처는 Clay Mathematics Institute의 공식 정보(예: https://www.claymath.org)입니다. 다만, 적격한 CMI 선언 또는 수상 결정이 이루어졌음을 확인하기 위해 신뢰할 만한 보도의 합의를 사용할 수 있습니다.
기계 번역입니다. 분쟁 시 원문이 우선합니다.