- 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日 23:59 ET 前宣布 OpenAI 已解决符合资格的千年大奖难题，则此市场将判定为“OpenAI”。如果 Anthropic 或 Anthropic 的官方代表在 OpenAI 之前，且在 2027年12月31日 23:59 ET 前宣布 Anthropic 已解决符合资格的千年大奖难题，则此市场将判定为“Anthropic”。 如果两家公司都未在 2027年12月31日, 23:59 ET 前发布符合条件的公告，或者两家公司在同一个日历日发布符合条件的公告，则此市场将按 50-50 判定。其他任何公司的符合条件公告都不会让这场竞赛结束，也不会影响判定结果。 符合条件的问题包括黎曼猜想、P 与 NP 问题、杨-米尔斯存在性与质量间隙问题、霍奇猜想，以及 Birch 和 Swinnerton-Dyer 猜想 (https://www.claymath.org/millennium-problems/)。关于纳维-斯托克斯存在性与光滑性问题的公告不符合条件。 符合条件的公告必须明确表示该问题已得到解决；关于部分结果或解决进展的公告不符合条件。公告必须将解决方案描述为该公司、其研究人员或其模型的成果，无论是独立完成还是与外部研究人员合作完成。如果公告仅仅是向外部研究人员致谢或表示祝贺，则不符合条件；这也包括使用了该公司模型、计算资源或研究积分的研究人员。无需 Clay Math Institute 或任何其他组织提供进一步确认。 此市场的主要判定依据为 OpenAI 和 Anthropic 及/或其官方代表发布的官方信息；不过，也可采用可信报道形成的共识。
机器翻译。如有争议，以原文为准。