- 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日 23:59 ET 前宣布解决方案的第一个千年大奖难题进行结算。 如果没有符合条件的 AI 实验室在 2027年12月31日 23:59 ET 前宣布解决任何符合条件的难题，本市场将以“截至 2027年12月31日 尚无解决方案”结算。如果两个或更多符合条件的难题在同一个日历日（美国东部时间 ET）宣布解决，本市场将按下方所列名称的字母顺序，选择最靠前的难题进行结算。 符合资格的问题按字母顺序排列如下：Birch 和 Swinnerton-Dyer 猜想、Hodge Conjecture、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 实验室和/或其官方代表发布的官方信息；不过，也可以依据可信媒体报道形成的共识进行判定。
机器翻译。如有争议，以原文为准。