How many more Millennium Prize Problems will AI solve in 2026?
I think there is a low chance that AI ends 2026 having solved zero additional Millennium Prize Problems, because there is already a public claim from an eligible lab that it solved Navier-Stokes. The main uncertainty is whether that claim ultimately counts under the market’s exact wording, but absent a major reversal, the zero-outcome looks weaker than the market price implies.
Analysis
The decisive issue is that the market is asking whether AI solves zero more Millennium Prize Problems in 2026, and there is already a highly relevant public announcement from an eligible AI lab claiming a solution to Navier-Stokes. Since Navier-Stokes is one of the qualifying Millennium Prize Problems and the market explicitly counts a problem once if an eligible lab announces that it has been solved, the existence of that announcement puts real pressure on the zero outcome. Even if the result remains under review or is described cautiously by observers, the wording of the market suggests that the announcement itself is the key event, not formal acceptance by Clay or a broader scientific consensus.
The strongest argument for the yes side is therefore not that the math claim is uncontroversial, but that the market’s threshold appears to be announcement-based and not validation-based. OpenAI is clearly an eligible lab, and the reported statement that its system produced a proof and formalization is exactly the kind of announcement that would ordinarily break a zero count. If that announcement stands and is attributable to the lab or its official representatives, the most natural resolution would be at least one solved problem in 2026, making the zero outcome false.
The case for zero is that there is still ambiguity around whether the announcement is sufficiently final, sufficiently official, and sufficiently “solved” rather than “proposed solution.” Some coverage has emphasized that independent verification is pending, and markets like this can sometimes hinge on whether the statement is considered a genuine solution claim or merely a research milestone. There is also some residual risk that the claim is later walked back, narrowed, or judged not to qualify under the market’s criteria. Still, given the explicit announcement and the absence of any equally strong reason to expect it to be disqualified, the probability of zero more problems being solved feels well below the market-implied price for Yes.
Arguments
For
- Arguments for Yes: The market question is about zero solved problems, and a public eligible-lab announcement of a Navier-Stokes solution already points toward at least one.
- Arguments for Yes: The resolution rules say no further confirmation is required, so a credible official announcement may be enough even before external verification.
Against
- Arguments against Yes: If the OpenAI claim is not treated as a qualifying solved announcement, then the year could still end with zero counted solutions.
- Arguments against Yes: Ongoing skepticism about the proof and formalization creates a nontrivial chance that the market will not count the claim.
Key drivers
- OpenAI has already publicly claimed an AI solution to Navier-Stokes in 2026, which is a qualifying Millennium Prize Problem.
- The market appears to hinge on the announcement itself rather than formal acceptance, which favors counting at least one solved problem.
Risk factors
- The claim could be treated as non-qualifying if it is viewed as provisional, incomplete, or not officially attributable in the required way.
- If the reported announcement is later retracted or reinterpreted as a partial result, the market could still resolve to zero.
Scenarios
Best case
The OpenAI Navier-Stokes announcement is accepted as a qualifying solved announcement, and the market resolves to at least one solved problem, making zero clearly false.
Most likely
At least one qualifying announcement remains on the record by the end of 2026, most likely the Navier-Stokes claim, so the market should lean away from zero even if debate continues about the strength of the underlying proof.
Worst case
The announcement is deemed insufficient, unofficial, or effectively unqualified, and no other eligible lab announces a valid solution before year-end, so zero prevails.
More from this day
- SportsKalshi3mo
When will Greg Schiano leave Rutgers?
AI28%MKT93%Edge-65HypedI think Greg Schiano is much more likely to remain Rutgers coach through Feb. 1, 2027 than the market suggests. The current record has created pressure, but there is no concrete departure signal yet, and the price appears to be extrapolating hot-seat chatter far beyond the evidence.
- PoliticsKalshi20d
Will 3 mg THC beverages qualify as hemp under federal law?
AI28%MKT92%Edge-64HypedMy estimate is that 3 mg THC beverages will probably not qualify as hemp under federal law on Nov. 13, 2026. The reported container-based THC cap is far below 3 mg, and the main uncertainty is timing rather than substance.
- PoliticsKalshi23d
Will 3 mg THC beverages be federally legal to sell?
AI56%MKT93%Edge-37HypedI think the market is too optimistic. A 3 mg THC beverage is clearly above the new hemp THC limit, but the key question is whether the delayed effective date pushes enforcement past Nov. 16; my best read is that the odds are close to even, with a slight lean to Yes.