OpenAI’s September 2026 resolution of the Navier-Stokes existence and smoothness problem—one of the remaining Millennium Prize Problems—using an internal model coordinating roughly 10,000 AI agents over days, followed by its October release of 722 papers advancing hundreds of open mathematical questions, has anchored trader sentiment at 62.5% implied probability. These results, verified in Lean and targeting singularities plus variants of the Riemann hypothesis, demonstrate scaled reasoning capabilities that outpace prior benchmarks. Anthropic contributed concurrent progress on related fluid-dynamics problems via employee collaborations and has advanced Riemann zeta bounds and quantum-circuit design with Claude, yet lacks equivalent verified Millennium-scale claims. Key near-term catalysts include independent scrutiny of OpenAI’s proofs and any parallel pushes on unsolved problems such as Yang-Mills.
Maresolba ang market na ito bilang "OpenAI" kung iaanunsyo ng OpenAI, o ng opisyal na kinatawan ng OpenAI, na nalutas na ng OpenAI ang isang kuwalipikadong Millennium Prize Problem bago ito magawa ni Anthropic at pagsapit ng Disyembre 31, 2027, 11:59 PM ET. Maresolba ang market na ito bilang "Anthropic" kung iaanunsyo ng Anthropic, o ng opisyal na kinatawan ng Anthropic, na nalutas na ng Anthropic ang isang kuwalipikadong Millennium Prize Problem bago ito magawa ni OpenAI at pagsapit ng Disyembre 31, 2027, 11:59 PM ET. Kung walang kumpanyang maglalabas ng kuwalipikadong anunsyo bago ang Disyembre 31, 2027, 11:59 PM ET, o kung parehong maglalabas ng kuwalipikadong anunsyo sa iisang araw sa kalendaryo, 50-50 ang magiging resulta ng market na ito. Hindi tatapusin ng kuwalipikadong anunsyo mula sa ibang kumpanya ang karera o makaaapekto sa resulta. Kabilang sa mga kuwalipikadong problema ang Riemann Hypothesis, P versus NP, ang problema ng pag-iral ng Yang-Mills at mass gap, ang Hodge Conjecture, at ang Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Hindi kuwalipikado ang mga anunsyo tungkol sa problema ng pag-iral at kinis ng Navier-Stokes. Dapat malinaw na sabihin sa isang kuwalipikadong anunsyo na nalutas na ang problema; hindi kuwalipikado ang mga anunsyo tungkol sa mga bahagyang resulta o pag-usad tungo sa solusyon. Dapat ilahad sa anunsyo na ang solusyon ay gawa ng kumpanya, ng mga mananaliksik nito, o ng mga modelo nito, nang mag-isa man o katuwang ang mga mananaliksik mula sa labas. Hindi kuwalipikado ang anunsyong nagbibigay-puri o bumabati lamang sa mga mananaliksik mula sa labas, kabilang ang mga mananaliksik na gumamit ng mga modelo, computing resources, o research credits ng kumpanya. Hindi kailangan ng karagdagang kumpirmasyon mula sa Clay Math Institute o anumang ibang organisasyon. Ang pangunahing sanggunian sa pagresolba sa market na ito ay ang opisyal na impormasyon mula sa OpenAI at Anthropic at/o sa kanilang mga opisyal na kinatawan; gayunman, maaari ring gamitin ang pagkakasundo ng mga mapagkakatiwalaang ulat.
Awtomatikong salin. Kapag may alitan, ang orihinal ang masusunod.