- Ang Hodge Conjecture ba ang susunod na Millennium Prize Problem na malulutas ng AI?37¢37%
- Wala bang Millennium Prize Problem ang malulutas ng AI pagsapit ng Disyembre 31, 2027?35¢35%
- Ang haka-haka ni Birch and Swinnerton-Dyer ba ang susunod na Millennium Prize Problem na malulutas ng AI?17¢17%
- Ang problema sa pag-iral at mass gap ng Yang-Mills ba ang susunod na Millennium Prize Problem na malulutas ng AI?10¢10%
- Ang P versus NP ba ang susunod na Millennium Prize Problem na malulutas ng AI?2¢2%
- Ang Riemann Hypothesis ba ang susunod na Millennium Prize Problem na malulutas ng AI?2¢2%
Recent OpenAI advances, including its September 2026 Navier-Stokes resolution via 10,000 AI agents and October release of hundreds of model-generated proofs, have elevated the Hodge Conjecture and Birch and Swinnerton-Dyer as leading contenders in trader consensus. These partial results on algebraic geometry and elliptic curves demonstrate rapid gains in large language model reasoning and multi-agent proof search, yet full verification in Lean and community acceptance remain uncertain amid ongoing scrutiny. This dynamic keeps the no-solution-by-end-2027 outcome closely competitive at 34.5 percent, with P versus NP and Riemann Hypothesis trailing due to greater perceived complexity. Upcoming catalysts include further formalizations and Clay Institute reviews that could shift market-implied odds.
Mga panuntunan
Ayon sa unang kwalipikadong Millennium Prize Problem na ang solusyon ay iaanunsyo ng isang kwalipikadong AI lab bago sumapit ang Disyembre 31, 2027, 11:59 PM ET pagpapasyahan ang market na ito. Kung walang kwalipikadong AI lab na mag-anunsyo ng solusyon sa isang kwalipikadong problema bago sumapit ang Disyembre 31, 2027, 11:59 PM ET, ang market na ito ay pagpapasyahan bilang "Walang solusyon bago sumapit ang Disyembre 31, 2027". Kung iaanunsyo ang mga solusyon sa dalawa o higit pang kwalipikadong problema sa iisang araw sa kalendaryo (ET), pagpapasyahan ang market na ito batay sa problemang ang pangalan, ayon sa pagkakalista sa ibaba, ang unang mauuna sa alpabetikong pagkakasunod-sunod. Ang mga kwalipikadong problema, ayon sa alpabetikong pagkakasunod-sunod, ay ang Birch at Swinnerton-Dyer Conjecture, ang Hodge Conjecture, P versus NP, ang Riemann Hypothesis, at ang problema ng pag-iral ng Yang-Mills at mass gap (https://www.claymath.org/millennium-problems/). Hindi kuwalipikado ang mga anunsyo tungkol sa problema ng pag-iral at kinis ng Navier-Stokes. Dapat gawin ng isang kwalipikadong AI lab o ng opisyal na kinatawan nito ang anunsyong pasok sa mga pamantayan, at dapat nitong ipahayag na nalutas na ang problema; hindi pasok sa mga pamantayan ang mga anunsyo ng bahagyang resulta o pag-usad tungo sa solusyon. Dapat ilahad sa anunsyo na gawa ng lab, ng mga mananaliksik nito, o ng mga modelo nito ang solusyon, mag-isa man o katuwang ang mga panlabas na mananaliksik. Hindi kuwalipikado ang anunsyong nagbibigay lamang ng pagkilala o pagbati sa mga panlabas na mananaliksik, kabilang ang mga mananaliksik na gumamit ng mga modelo, computing, o research credit ng lab. Hindi kailangan ng karagdagang kumpirmasyon mula sa Clay Math Institute o anumang ibang organisasyon. Ang mga kuwalipikadong AI lab ay Anthropic, Google, SpaceXAI, Alibaba, OpenAI, Baidu, Z.ai, Xiaomi, Moonshot, Meta, Nvidia, DeepSeek, MiniMax, Meituan, Amazon, ByteDance, Mistral, Tencent, StepFun, Microsoft, Harmonic, Axiom Math, Math Inc, Safe Superintelligence, Thinking Machines Lab, Reflection AI, Periodic Labs, Apple, IBM, Huawei, Samsung, Oracle, Salesforce, Cohere, AI21 Labs, Reka, Sakana AI, Poolside, Magic, Perplexity, Anysphere, Kuaishou, SenseTime, iFlytek, Baichuan, at 01.AI, kasama ang mga subsidiary at dibisyon ng pananaliksik ng mga ito, gayundin ang anumang ibang kumpanyang may modelong nakalista sa MMLU-pro leaderboard (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) sa oras ng anunsyo. Hindi kuwalipikado ang mga anunsyo ng anumang ibang kumpanya, organisasyon, o indibidwal. Ang pangunahing pagmumulan ng resolusyon para sa market na ito ay ang opisyal na impormasyon mula sa mga kuwalipikadong AI lab at/o sa mga opisyal na kinatawan ng mga ito; gayunman, maaari ring gamitin ang pagkakasundo ng mga mapagkakatiwalaang ulat.
Awtomatikong salin. Kapag may alitan, ang orihinal ang masusunod.