- 某家 AI 实验室会在 2026年12月31日 之前公布另一个千年大奖难题的解答吗？20¢20%
- 某家 AI 实验室会在 2027年12月31日 之前公布另一个千年大奖难题的解答吗？64¢64%
OpenAI’s September 2026 announcement that an internal swarm of roughly 10,000 AI agents solved a version of the Navier-Stokes Millennium Prize Problem in 88 hours, followed by Lean formalization, has sharply raised trader expectations for further breakthroughs. The result, which addressed a permitted formulation involving smooth external forcing, drew immediate scrutiny from mathematicians and overlapped with concurrent human-AI work by researchers linked to Anthropic. Subsequent OpenAI releases of hundreds of additional mathematical manuscripts, some touching other Millennium Problems, plus a Chinese lab’s claim on the Ghys conjecture, underscore accelerating capability across frontier labs. Ongoing peer review, potential model releases, and competitive pressure from Anthropic and Google DeepMind remain key swing factors for any near-term second announcement.
规则
如果符合条件的 AI 实验室，或符合条件的 AI 实验室的官方代表，在标题所示日期的 23:59 ET 前宣布该实验室已解决任何一项符合条件的千年大奖难题，则本市场将判定为“是”。否则，本市场将以“否”结算。 符合条件的问题包括黎曼猜想、P 与 NP 问题、杨-米尔斯存在性与质量间隙问题、霍奇猜想，以及 Birch 和 Swinnerton-Dyer 猜想 (https://www.claymath.org/millennium-problems/)。关于纳维-斯托克斯存在性与光滑性问题的公告不符合条件。 符合条件的公告必须明确表示该问题已得到解决；关于部分结果或解决进展的公告不符合条件。公告必须将该解决方案表述为该实验室、其研究人员或其模型的成果，可以是单独完成，也可以是与外部研究人员合作完成。仅向外部研究人员致谢或表示祝贺的公告不符合条件；这也包括使用过该实验室模型、计算资源或研究额度的研究人员。无需 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 实验室和/或其官方代表发布的官方信息；不过，也可以依据可信媒体报道形成的共识进行判定。
机器翻译。如有争议，以原文为准。