How many more Millennium Prize Problems will AI solve in 2026?
I think there is a meaningful chance the market ends at zero, but it is more likely that at least one qualifying AI announcement will stand in 2026. The OpenAI Navier-Stokes claim makes the zero outcome hard to justify, though uncertainty about qualification and verification keeps it from being near certain.
Analysis
The central issue is that this market resolves on qualifying announcements by eligible AI labs, not on formal prize acceptance. On the facts provided, OpenAI has already publicly claimed that its internal model solved Navier-Stokes, which is one of the five eligible Millennium Prize Problems named in the market. If that announcement is treated as valid under the rules, then the answer cannot be zero, because at least one qualifying problem has already been announced solved in 2026. That is the strongest reason to lean away from 0 more, and it is materially different from a market about final institutional validation.
At the same time, there is real uncertainty about whether the OpenAI claim will ultimately qualify under the market’s exact standards. The summary notes that the claim is unverified publicly, that there is no published proof, and that some reporting suggests the review process could take years. If traders think the announcement may later be judged too incomplete, too ambiguous, or not sufficiently attributable to the lab’s own work, then the zero outcome becomes much more plausible. The market question is unusually sensitive to formal wording and attribution, so a headline claim does not automatically eliminate the zero path unless it clearly satisfies the event rules.
Historically, Millennium Prize Problems are extraordinarily hard, and AI progress in mathematics has often been uneven: strong at generating candidate proofs or uncovering structure, but much weaker at producing universally accepted resolutions of top-tier open problems. Even if one lab has now made a bold claim, the jump from a claimed solution to a market-qualifying solution is not trivial, and it is possible that no additional problem will be announced by an eligible lab before year-end. That said, the existence of one high-profile claim, plus the fact that the same model is said to have solved many other hard problems, suggests the capability threshold may already have been crossed, making a zero outcome less likely than the market’s current price implies.
Arguments
For
- Argument for Yes: The OpenAI announcement is already on record and appears to fit the event’s requirement for a lab-level claim of having solved a Millennium Prize Problem.
- Argument for Yes: Even if the first claim is disputed, the broader surge in AI math capability raises the chance that no additional qualifying solution will be announced.
Against
- Argument against Yes: If the OpenAI Navier-Stokes claim is accepted as qualifying, then the answer is no, because at least one Millennium Prize Problem has already been solved in 2026.
- Argument against Yes: The market may be over-discounting the possibility that a single explicit lab announcement is enough, regardless of later verification or community acceptance.
Key drivers
- OpenAI has already publicly claimed a solution to Navier-Stokes, which would directly defeat the zero outcome if it qualifies.
- The market’s rules rely on eligible lab announcements, so final Clay recognition is not required for resolution.
Risk factors
- The claim may be judged too unverified, ambiguous, or insufficiently attributable to count as a qualifying announcement.
- If no other eligible lab makes a clean, explicit solved-claim by year-end, the market could still end at zero if the OpenAI claim is excluded.
Scenarios
Best case
The OpenAI Navier-Stokes claim is ruled non-qualifying, and no other eligible lab makes a clear solved announcement before year-end, so the market resolves to zero.
Most likely
The OpenAI claim remains the pivotal event, and the final outcome depends on whether traders and the resolution process treat that public solved announcement as qualifying; absent disqualification, zero is unlikely.
Worst case
The OpenAI claim clearly qualifies under the market rules, or another eligible lab announces a solution to a different Millennium Prize Problem, making zero impossible.
More from this day
- PoliticsKalshi23d
Will 3 mg THC beverages be federally legal to sell?
AI9%MKT92%Edge-83HypedA 3 mg THC beverage is very unlikely to remain federally legal to sell on Nov. 16, 2026 under the newly reported hemp rules. I put the Yes probability at 9%, with the market appearing heavily overpricing legalization persistence.
- economyPolymarketEnded
What will the median home value in the SF Metro area be on September 30?
AI16%MKT62%Edge-46HypedThe evidence strongly suggests the San Francisco metro median home value will remain above $1,176,000 on September 30, so the chance of a Yes outcome is low. The market price looks too optimistic for Yes given the recent price level and momentum.
- SportsKalshi37d
When will Bill Belichick leave North Carolina?
AI34%MKT69%Edge-35HypedI make Belichick’s chance of being out before Dec. 1, 2026 materially lower than the market suggests. The guaranteed contract and reported administrative support make an immediate exit possible but not the base case.