Will the US confirm that aliens exist by...?
4%December 31
- October 311%▲ 1
- December 314%
Install
Will CMI declare a Millennium Prize Problem solved by ___?
The odds
36%December 31, 2028
- December 31, 20263%
- December 31, 202714%
- December 31, 202836%▲ 1
How the odds have moved
December 31, 2026: 3% on Oct 20, 3% now.
Each outcome's chance over time on Polymarket. The dots along the bottom are headlines about its subject: point at one to read it.
Every outcome
| Outcome | Chance | Day | Bid | Ask | Pays | Traded |
|---|---|---|---|---|---|---|
| December 31, 2026 | 3% | 3¢ | 4¢ | $27.03 | $289K | |
| December 31, 2027 | 14% | 14¢ | 15¢ | $6.67 | $89.7K | |
| December 31, 2028 | 36% | ▲ 1 | 34¢ | 37¢ | $2.70 | $60.8K |
"Pays" is what a $1 stake returns if that outcome happens, at the price shown (before any fees). Bid and ask are the best prices to sell and buy "Yes".
The news: Millennium Prize Problem
Search ›-
Harvard mathematicians debate whether AI proofs need human understanding after OpenAI’s Navier-Stokes claimOpenAI's claimed progress on a Millennium Prize Problem has Harvard faculty asking whether a correct proof is worth much if no person truly grasps it OpenAI official logo (public domain, Wikimedia Commons) — CryptoBriefing brand treatment… -
Add ‘post-AI’ encryption to your to-do listGetty Images / J Studios Even as federal agencies move their most sensitive systems to new forms of encryption following an order from the White House in June, the release this month by OpenAI of new results to theoretical math problems… -
What’s the point of MIT? OpenAI’s math proofs have thrown students and researchers into chaos.By Michaela Towfighi, The Boston Globe Inside the math department at the Massachusetts Institute of Technology, more than 100 students, professors, and postdocs solemnly shuffled into a lecture hall, as if they were going to group therapy… -
‘Just answering the questions is not the point’: Dartmouth mathematicians weigh artificial intelligence’s role in the future of their workThe manuscripts, generated by an unreleased OpenAI model, were organized into 372 groups of related findings and published on GitHub, an online platform where people can publish, share and collaborate on code, research and other project… -
Navier-Stokes, AI And Maths IntegrityWhen OpenAI announced on September 8, 2026 that it had solved the Navier–Stokes smoothness problem, the news rent the social media space. Within days of the announcement, the claim generated extensive discussion across X (formerly Twitter)… -
Top mathematicians grade AI’s ability to solve toughest problemsThird round of First Proof tests document the technology’s impressive gains and stubborn shortcomings Oct 19, 2026 | 6 minutes Less than a year ago, a Harvard math professor joined a handful of world-leading scholars on an ambitious… -
Who was George Gabriel Stokes? The Irish mathematician whose 180-year-old puzzle has AI giants at warA mathematical problem is making big news, with AI companies clashing over claims by one tech giant to have found the solution to the Navier-Stokes equations. Regarded as one of trickiest puzzles of mathematics, it has Irish connection… -
The Best Time to Study Math Is Right Now. Here Is the Framework That Proves It.AI just solved a Millennium Prize problem and dumped 722 machine-generated proofs on GitHub. MIT math students are in … The Best Time to Study Math Is Right Now. Here Is the Framework That Proves It. AI just solved a Millennium Prize… -
AI Proved the Quasi-Riemann Hypothesis. What Happens Now?The Riemann hypothesis is a fundamental statement about the distribution of prime numbers. The Riemann hypothesis has been an open problem for over 160 years. Resolving it would enable mathematicians to better understand the nature of… -
3 Questions: What Is the Best Path Forward for AI in Academia?By Stefanie Koperniak | Institute for Data, Systems, and Society | MIT News With artificial intelligence capabilities continuing to expand, universities now face complex, urgent questions about how to navigate increasing challenges, as… -
Why are mathematicians concerned about OpenAI’s AI solving problems that stumped researchers for years?OpenAI has released more than 700 AI-generated mathematical research papers, raising hopes that artificial intelligence could accelerate scientific discovery while prompting concerns about the reliability of its findings and the future of… -
AI expanding the frontier of human knowledgeOn Sept. 29, Elon Musk stood outside the White House alongside President Trump and top artificial intelligence executives after an indoor AI leadership luncheon. Addressing reporters on the driveway, Mr. Musk offered an optimistic…
Related markets
All science ›Skin cancer vaccine BLA submitted by...?
Mar 31, 2027even chance by
- March 31, 202750%▼ 2
- June 30, 2027?77%
FDA approves skin cancer vaccine by...?
Nov 28, 2027even chance by
- June 30, 202714%
- September 30, 202727%
- December 31, 202764%
When will the first useful quantum computer be developed?
59%Before 2040
- Before 204059%▼ 1
- Before 203549%▼ 1
- Before 203032%▼ 6
1 more
- Before 20271%▼ 1
When will nuclear fusion be achieved?
52%Before 2040
- Before 204052%
- Before 203548%
- Before 203031%▲ 1
When will the Riemann hypothesis win the Millennium Prize?
51%Before 2035
- Before 203551%▼ 1
- Before 203248%
- Before 203030%
1 more
- Before 20285%
Odds are traders' prices on Kalshi, Polymarket, ForecastEx and Crypto.com, not forecasts by 4Search. Prices read from the venues 4 min ago. Prices may be delayed. Money traded on Kalshi and ForecastEx is estimated from contracts. Not betting or investment advice.
Prediction-market prices are what traders pay for each outcome on Kalshi, Polymarket, ForecastEx and Crypto.com, read as the market's implied chance. They are not forecasts by 4Search, can move fast and can be wrong; they are read every few minutes and may be delayed. Money traded on Kalshi and ForecastEx is estimated from contracts at their price. News comes from the 4Search index; prices of stocks, rates and coins from 4Search Finance. Nothing here is betting, financial or investment advice. Terms of use. How to use Predictions