- Hodge Conjecture 會是下一個由 AI 解出的千禧年大獎難題嗎？37¢37%
- 到2027年12月31日為止，是否不會有任何千禧年大獎難題由 AI 解決？35¢35%
- Birch and Swinnerton-Dyer 猜想會是下一個由 AI 解決的千禧年大獎難題嗎？17¢17%
- Yang-Mills 的存在性與質量間隙問題會是下一個由 AI 解決的千禧年大獎難題嗎？10¢10%
- P versus NP會是下一個由 AI 解決的千年大獎難題嗎？2¢2%
- Riemann Hypothesis 會是下一個由 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.
規則
本市場將根據符合資格的 AI 實驗室在 2027年12月31日 下午11:59 ET 前宣布解決方案的第一個千禧年大獎難題進行結算。 如果沒有符合資格的 AI 實驗室在 2027年12月31日 下午11:59 ET 前宣布解決任何符合資格的難題，本市場將以「截至 2027年12月31日 尚無解答」結算。如果兩個或更多符合資格的難題在同一個日曆日（美東時間 ET）宣布解決，本市場將以名稱依下方所列、按字母順序最先的難題結算。 符合資格的問題按字母順序排列如下：Birch 和 Swinnerton-Dyer 猜想、Hodge Conjecture、P 與 NP 問題、黎曼猜想，以及 Yang-Mills 存在性與質量間隙問題（https://www.claymath.org/millennium-problems/）。關於 Navier–Stokes 存在性與光滑性問題的公告不符合資格。 符合資格的公告必須由符合資格的 AI 實驗室或該實驗室的官方代表發布，且必須表明問題已獲解決；部分結果或解決問題的進展公告不符合資格。公告必須將解答描述為該實驗室、其研究人員或其模型的成果，可以是單獨完成，也可以是與外部研究人員共同完成。若公告僅對外部研究人員表示肯定或祝賀，則不符合資格；這也包括使用過該實驗室的模型、運算資源或研究點數的研究人員。無須 Clay Mathematics Institute 或任何其他組織進一步確認。 符合資格的 AI 實驗室包括 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 和 01.AI，以及它們的子公司和研究部門；此外，公告發布時任何有模型列於 MMLU-pro 排行榜（https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro）上的其他公司也符合資格。任何其他公司、組織或個人發布的公告均不符合資格。 本市場的主要判定依據為符合資格的 AI 實驗室和／或其正式代表發布的官方資訊；但也可以採用可信報導的共識。
機器翻譯。如有爭議，以原文為準。