- AI 會在 2026 年額外解決千禧年大獎難題的數量：0 嗎？79¢79%
- AI 會在 2026 年解決更多千禧年大獎難題嗎？數量：114¢14%
- AI 會在 2026 年額外解決千禧年大獎難題的數量：2 嗎？4¢4%
- AI 會在 2026 年額外解決千禧年大獎難題的數量：3 嗎？1¢1%
- AI 會在 2026 年額外解決千禧年大獎難題的數量：4 嗎？<1¢<1%
- AI 會在 2026 年額外解決千禧年大獎難題的數量：5 嗎？<1¢<1%
Trader consensus assigns an 81% implied probability to zero additional Millennium Prize Problems solved by AI in 2026, driven by the extreme difficulty of these open mathematical challenges and the current limits of large language models in generating novel, rigorous proofs. Recent AI advances have improved performance on competition benchmarks, yet no verified progress has emerged on the Clay Institute problems, which demand creative insights beyond existing training data or formal verification tools. With 2026 nearing its end, traders view the remaining timeframe as insufficient for the breakthroughs needed, though hybrid symbolic-neural systems or major model releases could still shift outcomes before year-end.
規則
此市場將根據符合資格的 Millennium Prize Problems 中，有多少項不同問題由符合資格的 AI 實驗室在 2026年12月31日 下午11:59 ET 前宣布已找到解答來結算。 每項符合資格的問題只計算一次，不論有多少間符合資格的 AI 實驗室宣布找到解答，或發布了多少次公告。 符合資格的問題依字母順序為 Birch 和 Swinnerton-Dyer 猜想、Hodge 猜想、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 實驗室和／或其正式代表發布的官方資訊；但也可以採用可信報導的共識。
機器翻譯。如有爭議，以原文為準。