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