- 某家 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 實驗室，或該實驗室的正式代表，在標題所示日期的 下午11:59 ET 前宣布該實驗室已解決任何一項符合資格的千禧年大獎難題，本市場將判定為「是」。否則，此市場將以「否」結算。 符合資格的問題包括黎曼猜想、P 對 NP 問題、楊–米爾斯存在性與質量間隙問題、霍奇猜想，以及 Birch–Swinnerton-Dyer 猜想（https://www.claymath.org/millennium-problems/）。關於 Navier–Stokes 存在性與光滑性問題的公告不符合資格。 符合資格的公告必須明確表示該問題已獲解決；僅公布部分結果或解題進展的公告不符合資格。公告必須將解答描述為該實驗室、其研究人員或其模型的成果，可以是單獨完成，也可以是與外部研究人員共同完成。若公告僅對外部研究人員表示肯定或祝賀，則不符合資格；這也包括使用過該實驗室的模型、運算資源或研究點數的研究人員。無須 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 實驗室和／或其正式代表發布的官方資訊；但也可以採用可信報導的共識。
機器翻譯。如有爭議，以原文為準。