- 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日 23:59 ET 前宣布已找到解答来结算。 每个符合条件的问题只计算一次，无论有多少家符合条件的 AI 实验室宣布找到解答，或发布了多少次公告。 符合条件的问题按字母顺序为 Birch 和 Swinnerton-Dyer 猜想、Hodge 猜想、P 对 NP、黎曼猜想，以及 Yang-Mills 存在性与质量间隙问题（https://www.claymath.org/millennium-problems/）。关于纳维-斯托克斯存在性与光滑性问题的公告不符合条件。 符合条件的公告必须由符合条件的 AI 实验室或该实验室的官方代表发布，并且必须表明问题已经解决；部分结果或解决问题的进展公告不符合条件。公告必须将该解决方案表述为该实验室、其研究人员或其模型的成果，可以是单独完成，也可以是与外部研究人员合作完成。仅向外部研究人员致谢或表示祝贺的公告不符合条件；这也包括使用过该实验室模型、计算资源或研究额度的研究人员。无需 Clay Math 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 实验室和/或其官方代表发布的官方信息；不过，也可以依据可信媒体报道形成的共识进行判定。
机器翻译。如有争议，以原文为准。