When will an AI lab solve another Millennium Prize Problem? — Will any AI lab solve a Millennium Prize Problem before 2027?

What has to be true for yes

An AI lab must solve a Millennium Prize Problem other than the already-claimed Navier-Stokes, after Issuance and before January 1, 2027, where "solved" means the first unretracted date on which either a complete proof, disproof, or counterexample addressing the problem as originally formulated by CMI is published in a reputable peer-reviewed journal; or CMI or another recognized academic governing or recognition body officially states the problem has been resolved by reference to a specific written work; or at least two Source Agencies themselves report the problem proven, disproven, or otherwise resolved by reference to a specific publicly available written work. The lab, its personnel, or an AI system it developed and operated must be credited as author, contributor, or producer.

How the forecast was built

It started from a base rate of 3% and moved on each piece of evidence below, no further than its grade allows.

1. Demonstrated capability to produce a Millennium-scale proof artifact in days · decisive toward yes · documented
2. A named second-problem effort reported as near completion · strong toward yes · reported
3. The settlement standard excludes exactly the artifacts a lab produces first · strong toward no · documented
4. The 20-day Navier-Stokes record shows announcement does not convert to recognition on this timescale · moderate toward no · documented
5. No written work exists yet for any second problem · moderate toward no · documented
6. Reported intent to delay the announcement for messaging reasons · slight toward no · reported
7. A second lab independently active on the remaining problems · slight toward yes · reported

What would move it

• OpenAI publicly announces a claimed complete solution to the Hodge Conjecture, accompanied by a named manuscript and a Lean formalization · undated — The Information reported employees expect it soon,
• The Guardian or the Associated Press publishes coverage stating that a Millennium Prize Problem other than Navier-Stokes has been resolved, by reference to a specific named written work, rather than reporting a lab's claim · undated — would follow within days of any second-problem ann
• The Clay Mathematics Institute issues a statement on a second Millennium problem using resolution language referencing a specific written work, as distinct from the "apparently been settled" phrasing it used for Navier-Stokes on September 11, 2026
• A peer-reviewed mathematics or scientific journal accepts and publishes a complete AI-lab-authored proof addressing a Millennium problem as originally formulated by CMI · undated — no such submission is publicly known to be pending
• The Navier-Stokes priority dispute produces a reported unresolved identified error, retraction, or withdrawal of the OpenAI manuscript
• Late-December 2026 arrives with no second-problem written work in public existence · December 2026