- AI 會在 2026 年額外解決千禧年大獎難題的數量：0 嗎？77¢
- AI 會在 2026 年解決更多千禧年大獎難題嗎？數量：113¢
- AI 會在 2026 年額外解決千禧年大獎難題的數量：2 嗎？3¢
- AI 會在 2026 年額外解決千禧年大獎難題的數量：3 嗎？3¢
- AI 會在 2026 年額外解決千禧年大獎難題的數量：4 嗎？<1¢
- AI 會在 2026 年額外解決千禧年大獎難題的數量：5 嗎？1¢
Trader consensus heavily favors zero additional Millennium Prize Problems solved by AI in 2026, with 76.5% implied probability. OpenAI’s September 2026 claim of resolving the Navier-Stokes existence and smoothness problem via an internal multi-agent system—later formalized in Lean—represents the first credible AI-attributed solution to one of the remaining problems, yet the Clay Mathematics Institute has described it only as “apparently settled” without formal prize award. Early October releases of over 700 AI-generated papers delivered notable progress on the Riemann hypothesis (a verified quasi-Riemann result) and mentions of the Hodge and Birch–Swinnerton-Dyer conjectures, but no further full resolutions. Remaining barriers include rigorous independent verification, official Clay recognition, and the intrinsic difficulty of the last five open problems. With limited time left in the year and no announced breakthroughs since early October, markets reflect caution that additional verified solutions will materialize before December 31.
規則
此市場將根據符合資格的 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 實驗室和／或其正式代表發布的官方資訊；但也可以採用可信報導的共識。
機器翻譯。如有爭議，以原文為準。