Strong market consensus favoring zero additional Millennium Prize Problem solutions by AI in 2026 reflects the extreme difficulty of the remaining open problems, despite OpenAI’s September 2026 multi-agent resolution of a Navier-Stokes case with Lean formalization. Traders see that breakthrough—achieved after 88 hours of agent interaction and 130 billion tokens—as a singular advance enabled by specialized internal models, not a template for rapid replication across P vs NP, Riemann hypothesis, or Yang-Mills. Subsequent October releases of over 370 AI-generated proofs across number theory and algebraic geometry have produced notable results but lack immediate Clay Institute certification and face ongoing scrutiny over partial or forced cases. Limited remaining calendar time, high per-attempt compute costs, and the need for novel human-verifiable insights reinforce the view that further full resolutions this year remain improbable.
基于Polymarket数据的AI实验性摘要。这不是交易建议,也不影响该市场的结算方式。 · 更新于View resolved

警惕外部链接哦。
警惕外部链接哦。
常见问题