- Anthropic 会在 2026年12月31日 之前宣布一个千年大奖难题的解答吗？10¢10%
- Anthropic 会在 2027年12月31日 之前宣布一个千年大奖难题的解答吗？28¢28%
Recent developments center on intense competition between leading AI labs to tackle the Navier-Stokes Millennium Prize Problem. In early September 2026, OpenAI announced that its internal multi-agent system produced a Lean-formalized proof establishing a singularity in the equations, satisfying key criteria for the $1 million prize. Concurrent work by Anthropic researcher Levent Alpöge alongside mathematician Tristan Buckmaster advanced related forced Euler equations using large language models, including unreleased Claude versions, but stopped short of the full Navier-Stokes resolution. These efforts highlight accelerating AI capabilities in mathematical formalization and proof generation, alongside ongoing scrutiny over verification, priority claims, and model training data. Traders are watching for any follow-up Anthropic announcements or Clay Institute validation that could shift sentiment in this fast-moving domain.
规则
如果 Anthropic 或其官方代表在标题所指定日期的 23:59 ET 之前宣布 Anthropic 已解决任何一项符合条件的千年大奖难题，则此市场将判定为“是”。否则，本市场将以“否”结算。 符合条件的问题包括黎曼猜想、P 与 NP 问题、杨-米尔斯存在性与质量间隙问题、霍奇猜想，以及 Birch 和 Swinnerton-Dyer 猜想 (https://www.claymath.org/millennium-problems/)。关于纳维-斯托克斯存在性与光滑性问题的公告不符合条件。 符合条件的公告必须明确表示该问题已得到解决；关于部分结果或解决进展的公告不符合条件。公告必须将该解答表述为 Anthropic、其研究人员或其模型的成果，可以是单独完成，也可以是与外部研究人员共同完成。如果公告仅将功劳归于外部研究人员或向其致贺，则不符合条件；这也包括使用过 Anthropic 模型、计算资源或研究额度的研究人员。无需 Clay Math Institute 或任何其他组织提供进一步确认。 此市场的主要判定依据为 Anthropic 和/或其官方代表发布的官方信息；但也可以采用可信报道形成的共识。
机器翻译。如有争议，以原文为准。