- OpenAI 對上 Anthropic：誰會先找到另一個千禧年大獎難題的解答？54¢54%
OpenAI’s September 2026 resolution of the Navier-Stokes existence and smoothness problem—one of the remaining Millennium Prize Problems—using an internal model coordinating roughly 10,000 AI agents over days, followed by its October release of 722 papers advancing hundreds of open mathematical questions, has anchored trader sentiment at 62.5% implied probability. These results, verified in Lean and targeting singularities plus variants of the Riemann hypothesis, demonstrate scaled reasoning capabilities that outpace prior benchmarks. Anthropic contributed concurrent progress on related fluid-dynamics problems via employee collaborations and has advanced Riemann zeta bounds and quantum-circuit design with Claude, yet lacks equivalent verified Millennium-scale claims. Key near-term catalysts include independent scrutiny of OpenAI’s proofs and any parallel pushes on unsolved problems such as Yang-Mills.
規則
如果 OpenAI 或 OpenAI 的官方代表在 Anthropic 之前，且在 2027年12月31日 下午11:59 ET 前宣布 OpenAI 已解決符合資格的千禧年大獎難題，則此市場將判定為「OpenAI」。如果 Anthropic 或 Anthropic 的官方代表在 OpenAI 之前，且在 2027年12月31日 下午11:59 ET 前宣布 Anthropic 已解決符合資格的千禧年大獎難題，則此市場將判定為「Anthropic」。 如果兩家公司都未在 2027年12月31日, 下午11:59 ET 前發布符合資格的公告，或兩家公司在同一個日曆日發布符合資格的公告，則此市場將以 50-50 判定。其他任何公司的符合資格公告都不會讓這場競賽結束，也不會影響判定結果。 符合資格的問題包括黎曼猜想、P 對 NP 問題、楊–米爾斯存在性與質量間隙問題、霍奇猜想，以及 Birch–Swinnerton-Dyer 猜想（https://www.claymath.org/millennium-problems/）。關於 Navier–Stokes 存在性與光滑性問題的公告不符合資格。 符合資格的公告必須明確表示該問題已獲解決；僅公布部分結果或解題進展的公告不符合資格。公告必須將解答描述為該公司、其研究人員或其模型的成果，無論是單獨完成，或與外部研究人員合作完成。如果公告僅向外部研究人員致謝或祝賀，則不符合資格；這也包括使用該公司模型、運算資源或研究點數的研究人員。無須 Clay Mathematics Institute 或任何其他組織進一步確認。 此市場的主要判定依據為 OpenAI 和 Anthropic 及／或其官方代表發布的官方資訊；不過，也可採用可信報導所形成的共識。
機器翻譯。如有爭議，以原文為準。