Will CMI declare a Millennium Prize Problem solved by ___?
CMI has a live, high-profile claim under review, but the institute has not made any formal declaration and historically moves cautiously. I think a year-end official “solved” declaration is still unlikely, though not impossible if the review process moves unusually fast.
Analysis
The market is being driven by a genuine event risk rather than a purely abstract possibility. CMI has publicly acknowledged that the Navier-Stokes problem has apparently been settled, which means there is now at least one concrete candidate resolution sitting inside the institute’s review pipeline. That is materially different from a world with no visible candidate at all, and it creates a non-zero chance of a formal declaration before year-end. Still, the key point is that CMI has stopped well short of saying the problem is solved, and the wording of its public updates suggests a careful verification process rather than an imminent prize announcement.
Historical precedent strongly argues for caution. CMI has only officially recognized one Millennium Prize Problem as solved, the Poincaré Conjecture, and that recognition came after a long period of scrutiny and community-wide validation. The fact that a proof is publicly claimed, even by a prominent organization, does not by itself satisfy this market. For this event to resolve Yes, CMI must explicitly state on its website or in an official communication that one of the remaining problems has been solved, or award a prize. That is a high bar, and the institute has every incentive to avoid premature endorsement, especially on a problem as technically demanding and contested as Navier-Stokes.
The current market price implies roughly a 2.5% chance of Yes, and that feels directionally reasonable, if maybe a touch low given the existence of an active candidate claim. The chance is not zero because the headline claim could survive scrutiny and CMI could decide quickly enough to make an announcement by December 31. But the most likely path is a longer verification timeline, additional expert review, and no official declaration before the deadline. In other words, the market is correctly treating this as a real but very low-probability event, with the main uncertainty being the speed and outcome of CMI’s internal evaluation.
One additional reason to keep the probability modest is that even if the mathematics ultimately checks out, formal institutional recognition may lag far behind the initial claim. CMI may wait for broader consensus, address any objections, or simply move deliberately because a Millennium Prize declaration is exceptionally consequential. That makes a year-end timing window especially restrictive. So while the recent development is important and materially increases the odds versus a baseline year with no candidate solution, the most defensible estimate remains well below 10 percent.
Arguments
For
- Arguments for Yes: A live, high-profile claim now exists, and if CMI becomes satisfied with the proof quickly, a formal declaration could happen within the deadline.
- Arguments for Yes: The institute’s wording suggests the issue may already be close to resolution, so the remaining step may be administrative rather than substantive if the work holds up.
Against
- Arguments against Yes: CMI has not officially declared anything solved yet, and the organization is known to be conservative about prize-level recognition.
- Arguments against Yes: The year-end deadline is short relative to the likely depth of review required for a Millennium Prize Problem.
Key drivers
- CMI has a specific, public candidate solution under review, which creates a real possibility of a formal declaration before year-end.
- The institute has so far only said the problem has apparently been settled, which leaves substantial uncertainty about whether and when it will formally recognize the result.
Risk factors
- CMI may take months to complete its verification process, pushing any official declaration past December 31.
- The claimed proof could fail scrutiny or remain too disputed for CMI to issue a formal solved statement this year.
Scenarios
Best case
CMI completes its review quickly, accepts the Navier-Stokes claim as valid, and issues an official statement or award declaring the problem solved before December 31, 2026.
Most likely
CMI continues its careful evaluation without making a formal declaration in 2026, and the market resolves No despite the existence of a serious candidate proof.
Worst case
The current claim is rejected, remains unresolved, or is still under review at year-end, leaving CMI with no official solved declaration by the deadline.
More from this day
- pop culturePolymarketTomorrow
"Resident Evil" Opening Weekend Box Office
AI58%MKT2%Edge+56Hidden GemI think there is a modest edge to the opening weekend finishing under $50 million, but it is far from certain. The current tracking cluster sits close to the line, so a result just above or just below $50 million remains the most plausible range.
- PoliticsKalshi1y
2026: Trump's dream year?
AI38%MKT4%Edge+34Hidden GemI think the bull case for Trump in 2026 is meaningfully more likely than the market implies, though still far from assured. My estimate is that there is roughly a 38% chance the favorable Trump-and-markets narrative remains intact through 2026.
- techPolymarket11d
Best Chinese AI Company end of September?
AI68%MKT89%Edge-21HypedAlibaba looks like a strong contender and may well hold the top Chinese slot by the end of September, but the lead is not secure. The market price appears higher than the evidence warrants because the frontier among Chinese models is still moving quickly and could flip on a late update.