How the contract works
Probability
How the price has moved
Analysis
Context
What moves the probability
AI math benchmark momentum
OpenAI's reasoning models have reported gold-medal-level results on the 2025 International Mathematical Olympiad problems, which pushes some traders toward pricing in further rapid capability gains. This pushes the probability up somewhat, though Olympiad problems are fundamentally different from open, unsolved conjectures.
Strict resolution wording
The rules explicitly exclude partial results, progress announcements, and claims that only credit outside researchers using OpenAI's tools. This pushes the probability down, since it removes several plausible middle-ground outcomes that might otherwise count.
Historical base rate of solved Millennium Problems
Only one of the seven Millennium Prize Problems has been solved since 2000, and that was done by a single mathematician using conventional methods, not an AI system. This weighs heavily against the probability, since it shows how rarely these problems yield to any approach within a defined timeframe.
No Clay Institute confirmation required
Because only OpenAI's own announcement is needed, not third-party mathematical verification, the bar is lower than actually proving the result correct. This nudges the probability up relative to a rule that demanded peer-reviewed confirmation.
Three-month window
The question closes 31 December 2026, leaving a short runway from today. This constrains the probability, since even a company moving quickly on a genuine result would need time before making a formal claim.
The case for
- OpenAI has publicly emphasized rapid gains in mathematical reasoning throughout 2026, including claimed Olympiad-gold-level results, and has a competitive incentive to make a high-profile claim before year end.
- The resolution rules require only an official OpenAI announcement, not Clay Institute confirmation, which lowers the practical bar from proof to public claim.
- If OpenAI's internal research teams believe they have a credible result on any of the five listed problems, a announcement before 31 December 2026 would settle the contract Yes regardless of later peer review outcomes.
The case against
- No AI system, from any company, has produced a full proof of a Millennium Prize Problem that has withstood mathematical scrutiny, and these problems have resisted the world's best mathematicians for over two decades in most cases.
- Strong performance on Olympiad-style benchmarks, where correct answers are already known, does not demonstrate the ability to generate and verify an entirely new proof of an open conjecture.
- The rules exclude partial results and progress claims, removing the more achievable middle ground that a research team might otherwise announce.
- Making a premature or unverified claim carries real reputational risk for OpenAI, which discourages an announcement unless the internal confidence is very high.
What to watch
Trade this contract
- gas covered
