Traders just piled into a Manifold market asking whether all seven Millennium Prize Problems will be solved before 2030. The contract sits at a 24% implied chance of “yes” as of September 10, 2026, after a single day in which volume equal to 106% of the market’s entire history changed hands and 107 unique bettors placed positions. The trigger is not a mathematics journal. It is OpenAI’s September 8, 2026 claim that an internal AI system cracked the Navier-Stokes problem — a claim the Clay Mathematics Institute has formally acknowledged but not endorsed, addressing it directly in a “Navier-Stokes Announcement” posted to its site on September 11, 2026.
Don't miss new tech stories on Google
Add Tech Insider once in the Google app and our stories appear in your news suggestions.
What the market is asking
The resolution bar for “yes”
The contract lives on Manifold Markets, a play-money and social prediction platform, under the question “All Millennium Prize Problems solved before 2030?” To resolve “yes,” every one of the seven problems named by the Clay Mathematics Institute in 2000 — each carrying its own $1 million prize, per the institute’s own rules — would need an accepted, official resolution before the decade turns. That is a demanding bar. Six of the seven remain open, and the institute’s own rules make “accepted” a slow, deliberate process rather than a press release.
How the price reflects sentiment
Prediction markets translate crowd sentiment into a single number: the price of a “yes” share, read as a rough implied probability. When the price jumps and volume spikes together, it usually signals that new information, or a new story, has reached the crowd. That is exactly what happened here.
The odds, and what 24% implies
A record day of trading
As of September 10, 2026, the Manifold market prices the “all solved before 2030” outcome at roughly a 24% implied probability of “yes.” For context, that number was far lower before this week. The move is notable less for its absolute level than for the speed and participation behind it: the 24-hour turnover reported by the source equalled about 106% of the market’s all-time volume, ranking among the top 24-hour volumes tracked, with 107 unique accounts trading. In plain terms, more money moved through the contract in one day than in its entire prior life.
What a 24% price does not mean
A 24% price does not mean mathematicians expect six unsolved problems to fall in under four years. On a play-money venue it reflects a mix of genuine belief, hedging, and momentum trading around a headline. Treat it as a sentiment gauge, not a forecast from the field.
What is driving the move: OpenAI’s Navier-Stokes claim
10,000 agents, 88 hours
On September 8, 2026, OpenAI published a post titled “On the Navier-Stokes Millennium Prize Problem,” stating that an internal system had produced a solution. According to the company and to reporting by CNBC and Quanta Magazine, the effort used roughly 10,000 autonomous AI agents running on an advanced model, and the agents reached their result about 88 hours after launch. OpenAI said the proof was formally checked in Lean, a proof-assistant language that verifies each logical step by machine. The written argument runs to roughly 100 pages, and as of September 22, 2026 OpenAI had still not posted it to arXiv or any other preprint server, leaving it unreviewed outside the company more than two weeks after the announcement.
The claimed result: a finite-time blowup
The mathematical content, as described by Quanta Magazine and Nature, is a “finite-time blowup”: a configuration in which a vortex tightens and spins faster without bound while the fluid’s total energy stays finite. If correct and accepted, that would answer the existence-and-smoothness question in the negative for the relevant setting. The Navier-Stokes equations describe how fluids and gases flow, and whether their smooth solutions can break down has been open for roughly nine decades.
Why the Clay Institute has not called it solved
The two-year waiting rule
The Clay Mathematics Institute still lists Navier-Stokes among its unsolved problems. Its president, mathematician Martin Bridson, described the announcement as “an exciting day” while signalling that rigorous, deliberate evaluation would follow. That caution is baked into the rules. As reported by CNN, the institute does not accept direct submissions and will only consider a proposed solution after it is published in a qualifying outlet, has been in print for at least two years, and has gained general acceptance in the global mathematics community.
The September 11 Navier-Stokes Announcement
That caution became official on September 11, 2026, when the Clay Mathematics Institute posted a formal “Navier-Stokes Announcement” to its own channels, saying it “shares in the excitement” of the global mathematics community while stressing that the claimed result still awaited scientific validation. The statement confirmed that OpenAI’s claim had reached the institute directly rather than circulating only through press coverage, but it did not validate the proof or shorten the review process — it put the institute’s existing, deliberate posture on the record in its own words. That two-year clock still matters enormously for a market betting on resolution “before 2030.” Even in the most favorable case, an official Clay acceptance of a September 2026 result could not arrive until roughly late 2028 at the earliest, and only if the proof survives scrutiny unchanged.
The technical catch: a forced equation
Why the forcing term matters
There is a substantive objection beyond process. Multiple outlets, including The Washington Post, note that the OpenAI construction relies on a smooth external force. The written problem statement permits a forcing term, but many working mathematicians regard the deeper and more interesting question as whether the equations can break down on their own, without an externally imposed force chosen to drive the blowup. If the community treats the forced version as a related but distinct result, it would not settle the problem people actually care about, and the “official solved” count would stay put.
Who is involved, and the credit fight
The Buckmaster-Alpoge dispute
The story arrived tangled in a dispute. NYU mathematician Tristan Buckmaster, whose related work with Levent Alpoge (an Anthropic employee) concerned a connected problem, publicly accused OpenAI of pursuing the route only after learning of their unpublished research. As TechCrunch reported, Buckmaster questioned whether private Codex sessions exposed unpublished material, and alleged that OpenAI’s Sebastien Bubeck proposed a publication arrangement that excluded Alpoge over his Anthropic affiliation. OpenAI has framed its work as independent. In follow-up posts that circulated through September 21, 2026, Bubeck publicly rejected the accusations as “false and inflammatory,” said he had tried to “coordinate releases” with the two mathematicians, insisted “I never ever asked to remove Alpoge from authorship of his own work,” and said credit for the result should go to Buckmaster and Alpoge. The disagreement itself adds uncertainty about how, and how quickly, the result will be written up and accepted.
The bigger picture for a tech and finance reader
Only one problem, ever
Only one Millennium Prize Problem has ever been officially resolved: the Poincare conjecture, proved by Grigori Perelman in the mid-2000s. As Wikipedia’s tally still showed as of September 2026, that remains just 1 of the 7 problems officially solved. The other five besides Navier-Stokes remain wide open, with no comparable recent breakthrough reported: P versus NP, the Riemann hypothesis, Yang-Mills existence and the mass gap, the Hodge conjecture, and Birch and Swinnerton-Dyer. A market on “all seven before 2030” is therefore a bet on an extraordinary compression of mathematical history, catalysed this week by a single contested claim about one problem.
How this compares to other prediction markets
For markets watchers, the episode is a clean case study in how prediction venues price narrative. The same pattern shows up whenever a headline collides with a long-dated contract. A narrower, nearer-term contract makes the comparison concrete: a separate Manifold market asking whether another Millennium Prize problem will be solved in 2026 — covering any formal announcement or publication between September 9, 2026 and 11:59 PM UTC on December 31, 2026 — traded at 38% YES as of September 5, 2026, well above the 24% price on the tougher “all seven by 2030” question this article tracks. Compare also the related Manifold action on whether Navier-Stokes alone will be solved by 2027, the longer-dated Millennium problems by 2040 bet, and unrelated event markets like the Polymarket contract we covered earlier and Kalshi’s government spending market. In each, price is a story-weighted average, not a verdict.
The seven problems at a glance
| Millennium Prize Problem | Official status (Sept 2026) | Recent development |
|---|---|---|
| Poincare conjecture | Solved (Perelman, accepted) | Only one ever resolved |
| Navier-Stokes existence and smoothness | Open, unaccepted | OpenAI claim Sept 8, 2026; Clay’s Sept 11 announcement; disputed forcing term |
| P versus NP | Open | No verified breakthrough |
| Riemann hypothesis | Open | No verified breakthrough |
| Yang-Mills and mass gap | Open | No verified breakthrough |
| Hodge conjecture | Open | No verified breakthrough |
| Birch and Swinnerton-Dyer | Open | No verified breakthrough |
What to watch next
Three signals that would move the price
Three signals will move this market from here. First, whether OpenAI’s proof is posted to a preprint server or journal and survives independent checking; a Lean-verified argument still needs mathematicians to agree it proves the stated problem. Second, any further statement from the Clay Mathematics Institute — beyond its September 11 announcement — clarifying whether a forced solution counts. Third, the credit dispute with Buckmaster and Alpoge, which could shape peer reception. Absent official acceptance of even one new problem, “all seven before 2030” remains a long shot regardless of this week’s volume.
FAQ
Did AI actually solve a Millennium Prize Problem? Not officially. OpenAI claims a solution to Navier-Stokes and says it was checked in Lean, but the Clay Mathematics Institute has not accepted it and still lists the problem as open.
Why is the Manifold market moving if nothing is official? Prediction prices react to news and sentiment, not just confirmed outcomes. The September 8 claim drove a day of trading equal to about 106% of the market’s all-time volume.
How many Millennium Prize Problems have been solved? One: the Poincare conjecture, proved by Grigori Perelman and accepted years later.
Could all seven really be solved before 2030? It would require accepted resolutions for six open problems in under four years, against Clay’s two-year post-publication waiting rule. The 24% price reflects sentiment, not expert consensus.
What is the disputed “forcing term”? OpenAI’s construction uses a smooth external force. Many mathematicians view the core question as whether the equations break down without such an imposed force, so the result may be seen as related but distinct.
Did the Clay Institute say anything after September 8? Yes. On September 11, 2026, it posted a formal “Navier-Stokes Announcement,” saying it “shares in the excitement” of the global mathematics community while the claim awaited scientific validation. The statement did not validate the proof or waive the institute’s two-year, post-publication acceptance process.
Is there a separate bet on another Millennium Prize problem being solved in 2026? Yes. A different Manifold market asks whether any Millennium Prize problem besides Navier-Stokes gets a formal announcement or publication between September 9 and December 31, 2026. It traded at 38% YES as of September 5, 2026, notably higher than the 24% price on the broader “all seven by 2030” market this article covers.
The Bottom Line
Sources
- OpenAI — On the Navier-Stokes Millennium Prize Problem
- Quanta Magazine — AI Has Solved One of Math’s $1 Million Millennium Prize Problems
- Nature — OpenAI claims huge maths breakthrough on a famed Millennium Problem
- Clay Mathematics Institute — Navier-Stokes Announcement (September 11, 2026)
- CNN Business — OpenAI says it has solved one of math’s Millennium Problems
- CNBC — OpenAI claims to have solved the 90-year-old Navier-Stokes problem in 88 hours
- The Washington Post — OpenAI claims solution to one of math’s $1 million problems
- TechCrunch — OpenAI fought dirty on career-making math problem, says NYU mathematician
- Manifold Markets — All Millennium Prize Problems solved before 2030?
Prediction markets carry financial risk and are not investment or betting advice. Market availability is restricted by jurisdiction: Polymarket is not available to US persons, while Kalshi is a CFTC-regulated US exchange. Participation is limited to those 18+ or 21+ as applicable in your area. If gambling is affecting you or someone you know, help is available at 1-800-GAMBLER.
Related Coverage
- Millennium Problems Bet: Manifold Prices 99% Odds Two Fall by 2040 After OpenAI's Navier-Stokes Claim
- AI Solves a Millennium Prize Problem in 2026? Manifold Traders Say 38%
- Trump National Emergency Odds Sit at 24% on Manifold as Traders Rush a Late-August Bet
- Navier-Stokes 'Solved by 2027' Bet Surges to 79% on Manifold After a Claude Rumor
- Jack Lowden's Next-Bond Odds Jump 12 Points on Kalshi After Gary Oldman's Comments
