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
- FinancialsKalshi13y
Will OpenAI or Anthropic IPO first?
AI14%MKT91%Edge-77HypedI think the more likely outcome is that Anthropic goes public before OpenAI, so I put the Yes side at a low probability. OpenAI’s public comments and the current reporting both point to Anthropic having the earlier path to listing.
- pop culturePolymarketEnded
"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.
- PoliticsKalshi2y
Who will Trump pardon?
AI2%MKT50%Edge-48HypedI put the chance of Barron Trump receiving a presidential pardon before Jan. 21, 2029 at 2%. There is no visible legal predicate for a pardon, and absent a federal case or at least a credible public controversy, the event is extremely unlikely.