OpenAI Releases Hundreds of AI-Generated Mathematical Proofs
The company published over 370 findings, including progress on the Navier-Stokes problem, sparking debate among mathematicians about verification and academic impact.
Headline and summary written by an AI model from the linked articles; not reviewed by a person. How this was made
First reported by Hacker News, 17 min ahead of the next publisher · who breaks stories first
This story has stopped developing; this page is its permanent record. More from that day
The odds
Each tick is a source publishing on this story
Price data
| Time | Chance of yes |
|---|---|
| now | 14% |
| 31 Oct, 18:04 UTC | 14% |
| 31 Oct, 17:57 UTC | 14% |
| 31 Oct, 13:38 UTC | 15% |
| 31 Oct, 10:52 UTC | 14% |
| 31 Oct, 08:28 UTC | 14% |
| 31 Oct, 07:25 UTC | 14% |
| 31 Oct, 04:57 UTC | 14% |
| 31 Oct, 03:45 UTC | 14% |
| 31 Oct, 03:08 UTC | 14% |
| 31 Oct, 01:18 UTC | 14% |
| 31 Oct, 00:38 UTC | 18% |
| 31 Oct, 00:02 UTC | 17% |
| 30 Oct, 23:48 UTC | 17% |
| 30 Oct, 22:26 UTC | 17% |
| 30 Oct, 21:53 UTC | 17% |
| 30 Oct, 21:17 UTC | 17% |
| 30 Oct, 20:44 UTC | 17% |
| 30 Oct, 20:22 UTC | 17% |
| 30 Oct, 18:58 UTC | 18% |
| 30 Oct, 15:50 UTC | 19% |
| 30 Oct, 14:38 UTC | 19% |
| 30 Oct, 14:23 UTC | 19% |
| 30 Oct, 13:58 UTC | 19% |
| 30 Oct, 13:06 UTC | 19% |
| 30 Oct, 12:52 UTC | 19% |
| 30 Oct, 12:06 UTC | 18% |
| 30 Oct, 11:59 UTC | 18% |
| 30 Oct, 11:24 UTC | 18% |
| 30 Oct, 10:43 UTC | 18% |
| 30 Oct, 09:58 UTC | 18% |
| 30 Oct, 09:29 UTC | 18% |
| 30 Oct, 08:41 UTC | 18% |
| 30 Oct, 08:16 UTC | 19% |
| 30 Oct, 07:55 UTC | 19% |
| 30 Oct, 07:28 UTC | 19% |
| 30 Oct, 06:56 UTC | 19% |
| 30 Oct, 06:28 UTC | 18% |
| 30 Oct, 05:56 UTC | 18% |
| 30 Oct, 05:28 UTC | 18% |
| 30 Oct, 04:43 UTC | 18% |
| 30 Oct, 04:29 UTC | 18% |
| 30 Oct, 03:54 UTC | 18% |
| 30 Oct, 03:23 UTC | 18% |
| 30 Oct, 02:55 UTC | 18% |
| 30 Oct, 02:16 UTC | 18% |
| 30 Oct, 01:55 UTC | 18% |
| 30 Oct, 01:28 UTC | 18% |
| 30 Oct, 00:56 UTC | 19% |
| 30 Oct, 00:21 UTC | 18% |
| 29 Oct, 23:47 UTC | 20% |
| 29 Oct, 23:19 UTC | 21% |
| 29 Oct, 22:57 UTC | 24% |
| 29 Oct, 22:24 UTC | 20% |
| 29 Oct, 19:15 UTC | 20% |
| 29 Oct, 17:46 UTC | 18% |
| 29 Oct, 17:04 UTC | 18% |
| 29 Oct, 15:53 UTC | 18% |
| 29 Oct, 15:22 UTC | 18% |
| 29 Oct, 14:07 UTC | 18% |
| 29 Oct, 13:46 UTC | 18% |
| 29 Oct, 13:22 UTC | 18% |
| 29 Oct, 12:59 UTC | 17% |
| 29 Oct, 12:18 UTC | 17% |
| 29 Oct, 11:12 UTC | 18% |
| 29 Oct, 10:04 UTC | 18% |
| 29 Oct, 09:34 UTC | 18% |
| 29 Oct, 09:12 UTC | 18% |
| 29 Oct, 07:32 UTC | 17% |
| 29 Oct, 07:19 UTC | 17% |
| 29 Oct, 06:58 UTC | 16% |
| 29 Oct, 05:22 UTC | 18% |
| 29 Oct, 04:49 UTC | 18% |
| 29 Oct, 04:21 UTC | 18% |
| 29 Oct, 03:00 UTC | 17% |
| 29 Oct, 02:27 UTC | 17% |
| 29 Oct, 01:59 UTC | 17% |
| 28 Oct, 23:47 UTC | 17% |
| 28 Oct, 23:04 UTC | 17% |
| 28 Oct, 22:46 UTC | 17% |
| 28 Oct, 22:25 UTC | 17% |
| 28 Oct, 20:37 UTC | 17% |
| 28 Oct, 19:33 UTC | 17% |
| 28 Oct, 19:26 UTC | 17% |
| 28 Oct, 15:19 UTC | 17% |
| 28 Oct, 14:42 UTC | 17% |
| 28 Oct, 14:06 UTC | 18% |
| 28 Oct, 11:37 UTC | 18% |
| 28 Oct, 10:48 UTC | 18% |
| 28 Oct, 10:09 UTC | 18% |
| 28 Oct, 09:48 UTC | 18% |
| 28 Oct, 08:36 UTC | 18% |
| 28 Oct, 06:43 UTC | 18% |
| 28 Oct, 06:27 UTC | 18% |
| 28 Oct, 05:58 UTC | 18% |
| 28 Oct, 05:10 UTC | 18% |
| 28 Oct, 04:56 UTC | 18% |
| 28 Oct, 04:17 UTC | 18% |
| 28 Oct, 03:56 UTC | 18% |
| 28 Oct, 03:22 UTC | 18% |
| 28 Oct, 02:58 UTC | 18% |
| 28 Oct, 02:23 UTC | 19% |
| 28 Oct, 01:35 UTC | 18% |
| 28 Oct, 01:28 UTC | 18% |
| 28 Oct, 00:53 UTC | 18% |
| 28 Oct, 00:28 UTC | 18% |
| 27 Oct, 23:52 UTC | 15% |
| 27 Oct, 23:19 UTC | 21% |
| 27 Oct, 22:58 UTC | 20% |
| 27 Oct, 22:23 UTC | 19% |
| 27 Oct, 21:56 UTC | 18% |
| 27 Oct, 21:26 UTC | 16% |
| 27 Oct, 20:46 UTC | 16% |
| 27 Oct, 19:04 UTC | 16% |
| 27 Oct, 18:41 UTC | 16% |
| 27 Oct, 18:12 UTC | 16% |
| 27 Oct, 17:36 UTC | 16% |
| 27 Oct, 17:07 UTC | 15% |
| 27 Oct, 15:05 UTC | 15% |
| 27 Oct, 14:36 UTC | 15% |
| 27 Oct, 14:21 UTC | 15% |
| 27 Oct, 13:57 UTC | 14% |
| 27 Oct, 13:26 UTC | 13% |
| 27 Oct, 12:42 UTC | 13% |
| 27 Oct, 12:00 UTC | 13% |
| 27 Oct, 11:51 UTC | 13% |
| 27 Oct, 11:22 UTC | 13% |
| 27 Oct, 10:49 UTC | 13% |
| 27 Oct, 10:27 UTC | 13% |
| 27 Oct, 09:30 UTC | 13% |
| 27 Oct, 08:54 UTC | 13% |
| 27 Oct, 08:20 UTC | 13% |
| 27 Oct, 07:44 UTC | 13% |
| 27 Oct, 07:10 UTC | 13% |
| 27 Oct, 06:49 UTC | 13% |
| 27 Oct, 06:01 UTC | 13% |
| 27 Oct, 05:54 UTC | 13% |
| 27 Oct, 05:27 UTC | 13% |
| 27 Oct, 04:47 UTC | 13% |
| 27 Oct, 04:20 UTC | 13% |
| 27 Oct, 03:52 UTC | 13% |
| 27 Oct, 02:58 UTC | 13% |
| 27 Oct, 02:23 UTC | 13% |
| 27 Oct, 01:46 UTC | 13% |
| 27 Oct, 01:25 UTC | 12% |
| 27 Oct, 00:45 UTC | 13% |
| 27 Oct, 00:17 UTC | 12% |
| 26 Oct, 23:52 UTC | 12% |
| 26 Oct, 23:17 UTC | 11% |
| 26 Oct, 22:56 UTC | 11% |
| 26 Oct, 22:22 UTC | 6% |
| 26 Oct, 21:45 UTC | 6% |
| 26 Oct, 21:25 UTC | 6% |
| 26 Oct, 20:56 UTC | 6% |
| 26 Oct, 19:58 UTC | 6% |
| 26 Oct, 19:15 UTC | 5% |
| 26 Oct, 18:48 UTC | 4% |
| 26 Oct, 18:11 UTC | 6% |
| 26 Oct, 17:45 UTC | 6% |
| 26 Oct, 16:02 UTC | 14% |
| 25 Oct, 02:00 UTC | 14% |
| 25 Oct, 00:58 UTC | 20% |
| 24 Oct, 03:30 UTC | 16% |
| 24 Oct, 01:25 UTC | 17% |
| 23 Oct, 18:22 UTC | 16% |
| 23 Oct, 17:53 UTC | 16% |
| 23 Oct, 11:41 UTC | 17% |
| 23 Oct, 11:27 UTC | 16% |
| 22 Oct, 12:00 UTC | 16% |
| 22 Oct, 10:46 UTC | 16% |
| 20 Oct, 05:47 UTC | 16% |
| 17 Oct, 23:58 UTC | 14% |
| 17 Oct, 20:57 UTC | 15% |
| 17 Oct, 09:52 UTC | 14% |
| 16 Oct, 22:09 UTC | 15% |
| 16 Oct, 19:20 UTC | 15% |
| 16 Oct, 18:45 UTC | 16% |
| 16 Oct, 18:09 UTC | 16% |
| 16 Oct, 14:45 UTC | 16% |
| 16 Oct, 14:08 UTC | 15% |
| 16 Oct, 13:24 UTC | 16% |
| 14 Oct, 20:45 UTC | 14% |
| 10 Oct, 15:41 UTC | 15% |
| 10 Oct, 14:13 UTC | 16% |
| 10 Oct, 13:52 UTC | 15% |
| 10 Oct, 11:41 UTC | 14% |
| 9 Oct, 12:24 UTC | 14% |
| 9 Oct, 09:20 UTC | 14% |
| 9 Oct, 08:42 UTC | 13% |
| 9 Oct, 03:40 UTC | 11% |
| 9 Oct, 03:20 UTC | 12% |
| 9 Oct, 02:28 UTC | 14% |
| 8 Oct, 10:30 UTC | 19% |
| 8 Oct, 07:06 UTC | 18% |
| 8 Oct, 06:18 UTC | 19% |
| 7 Oct, 23:31 UTC | 16% |
| 7 Oct, 23:24 UTC | 16% |
| 7 Oct, 19:06 UTC | 16% |
| 7 Oct, 13:19 UTC | 21% |
| 7 Oct, 12:50 UTC | 25% |
| 7 Oct, 11:42 UTC | 26% |
| 7 Oct, 08:40 UTC | 28% |
| 7 Oct, 07:20 UTC | 27% |
| 7 Oct, 00:35 UTC | 31% |
| 6 Oct, 20:30 UTC | 27% |
| 6 Oct, 14:37 UTC | 22% |
| 6 Oct, 06:59 UTC | 23% |
| 3 Oct, 21:30 UTC | 20% |
| 3 Oct, 15:40 UTC | 21% |
| 3 Oct, 13:03 UTC | 21% |
| 3 Oct, 11:54 UTC | 22% |
| 3 Oct, 07:51 UTC | 23% |
| 2 Oct, 15:09 UTC | 24% |
| 2 Oct, 12:58 UTC | 23% |
| 2 Oct, 11:42 UTC | 27% |
| 2 Oct, 11:15 UTC | 27% |
| 1 Oct, 21:16 UTC | 28% |
| 1 Oct, 19:12 UTC | 27% |
| 1 Oct, 18:43 UTC | 27% |
| 1 Oct, 17:14 UTC | 28% |
| 1 Oct, 13:30 UTC | 27% |
| 1 Oct, 13:21 UTC | 28% |
| 1 Oct, 12:58 UTC | 27% |
| 30 Sept, 16:26 UTC | 25% |
| 30 Sept, 15:08 UTC | 26% |
| 30 Sept, 14:50 UTC | 26% |
| 30 Sept, 14:15 UTC | 27% |
| 30 Sept, 12:24 UTC | 30% |
| 28 Sept, 18:54 UTC | 32% |
| 26 Sept, 13:50 UTC | 36% |
| 25 Sept, 13:49 UTC | 32% |
Replay the odds, article by article
Step through each article in the order it published and watch Will OpenAI announce another Millennium Prize solution by December 31, 2026? respond.
The story so far
21 publishers have covered this in 38 articles since 6 Oct 2026. Hacker News published first, on 6 October at 23:42 UTC; Nature followed 18 min later. The most recent article, from All Content from Business Insider, appeared on 10 October at 00:16 UTC.
Outlets reporting it: Nature (major outlet), Latest News from Science Magazine (major outlet), The Hill News (major outlet), The Guardian Business (major outlet), The Economist (major outlet), Axios (major outlet), TechCrunch (major outlet), Bloomberg Technology (major outlet), The New York Times (major outlet), The Verge (major outlet), Hacker News, New Scientist and 9 more, all listed under Sources below.
3 prediction markets price this story:
- Will OpenAI announce another Millennium Prize solution by December 31, 2026? — the market puts it at 14%, with $9k traded in the last 24 hours, closing 1 Jan 2027. The market resolves to Yes if OpenAI or an official representative announces that it has fully solved one of the five specified Millennium Prize Problems by December 31, 2026, at 11:59 PM ET. The announcement must explicitly state that the problem is solved and credit OpenAI as the solver; partial results, progress reports, or announcements crediting only outside researchers do not count.
- Will OpenAI have the best AI model at the end of October 2026? — resolved “No” on 31 Oct 2026. The market resolves by checking the arena.ai Text Arena leaderboard on October 31, 2026, at 12:00 PM ET. OpenAI wins if its model holds the highest rank among eligible models at that specific time and source. Readers often mistake the check date for the end of the month or overlook that auto-evaluated models are excluded from the ranking.
- Before Jan 1, 2027 — the market puts it at 20%, with $2k traded in the last 24 hours, closing 1 Jan 2027. The market resolves to Yes if OpenAI or its direct collaborators announce a complete solution to one of the five specified Millennium Prize Problems before January 1, 2027. It resolves to No if no such announcement occurs by that date. Readers often mistake the linked news story about math papers as sufficient for resolution, but only an official announcement of a complete solution counts.
Odds are the market's probability that the outcome happens, updated every few minutes. They are information about what traders expect, not a forecast we make and not investment advice.
How it unfolded
Every source in the order it published, with the odds on Will OpenAI announce another Millennium Prize solution by December 31, 2026? at that moment. A dash means the source published before we started tracking prices.
- Hacker NewsOpenAI releases 722 math manuscripts27%
- NatureOpenAI posts 700 maths preprints online: mathematicians are up in arms27%
- Latest News from Science MagazineWatch: What’s the deal with OpenAI’s massive dump of math papers?31%▲4 points since the previous source
- New ScientistOpenAI announces 722 mathematical discoveries in one go28%▼3 points since the previous source
- QuartzOpenAI released 372 groups of math results on GitHub after its Millennium Prize breakthrough28%
- QuartzOpenAI veröffentlichte 372 Gruppen von Mathematikergebnissen auf GitHub nach seinem Durchbruch beim Millennium-Preis.28%
- Times of IndiaOpenAI releases 722 research documents showing its AI model solved 372 Maths problems26%▼3 points since the previous source
- EngadgetOpenAI just posted hundreds more results on major math problems25%▼1 points since the previous source
- The Hill NewsOpenAI releases new batch of math breakthroughs21%▼4 points since the previous source
- The Guardian BusinessOpenAI’s release of mathematical findings draws concerns from experts21%
Show 28 later sources
- New ScientistOpenAI has dumped 722 maths papers – now it must clean up the mess21%
- The EconomistOpenAI claims to have solved hundreds of long-standing maths problems21%
- FortuneOpenAI publishes solutions to more than 370 outstanding math challenges. The results divide mathematicians but most agree: math will never be the same16%▼5 points since the previous source
- QuartzDie KI von OpenAI löste ein berühmtes mathematisches Problem. Dann knackte sie Hunderte mehr.16%
- QuartzOpenAI's AI solved one famous math problem. Then it cracked hundreds more16%
- decrypt.coOpenAI Says a Secret AI Model Cracked Hundreds of Open Math Problems in One Prompt—Mathematicians Want Receipts16%
- theinformation.comAI's Simmering Question: "Where the F--- Is All the Automation?"16%
- Hacker NewsTerence Tao Responds to the OpenAI Math Drop16%
- Hacker NewsOpenAI withdraws three mathematical results19%▲3 points since the previous source
- Hacker NewsOpenAI Withdraws 3 Math Papers18%▼1 points since the previous source
- New ScientistThe most interesting mathematical discoveries in OpenAI’s 722 new papers18%
- AxiosOpenAI's math breakthrough points beyond math18%
- Hacker NewsAHM Statement on OpenAI's October 6 Release of Mathematical Documents18%
- theinformation.comHow OpenAI Beat Math19%▲1 points since the previous source
- New ScientistOpenAI mistranslated mathematics into code for its Navier-Stokes proof19%
- TechCrunchOpenAI’s math solutions aren’t meeting the field’s standards yet19%
- Scientific AmericanMathematicians marvel, and grumble, at OpenAI’s trove of new results19%
- Scientific AmericanThe most exciting claims from OpenAI’s heap of new proofs19%
- Bloomberg TechnologyOpenAI’s Math Advances Spark a Reckoning for Academia19%
- The New York Times‘Breathtaking,’ ‘Devastating’: Mathematics Reels After New OpenAI Release19%
- The New York TimesWhat Are the Remaining Millennium Prize Problems?19%
- Hacker NewsOpenAI, the Partition Principle, and Mathematics19%
- Bloomberg MarketsOdd Lots: How AI Is Upending the World of Mathematics (Podcast)11%▼7 points since the previous source
- Bloomberg MarketsWhat Open AI Solving Navier-Stokes Means for Professional Math11%
- Bloomberg TechnologyHow AI Is Upending the World of Mathematics11%
- Phys.org - latest science and technology news storiesIs this the 'mathocalypse'? Why OpenAI's latest results dump has left mathematicians in shock14%▲3 points since the previous source
- The Verge‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop14%▼1 points since the previous source
- All Content from Business InsiderAn NYU professor says OpenAI's mass release of math papers wiped out early-career researchers' projects14%
- Current odds14%
Sources
Every article we clustered into this story. Headlines link to the publisher.
- ‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop The Verge ·
- How AI Is Upending the World of Mathematics Bloomberg Technology ·
- What Open AI Solving Navier-Stokes Means for Professional Math Bloomberg Markets ·
- Odd Lots: How AI Is Upending the World of Mathematics (Podcast) Bloomberg Markets ·
- What Are the Remaining Millennium Prize Problems? The New York Times ·
- ‘Breathtaking,’ ‘Devastating’: Mathematics Reels After New OpenAI Release The New York Times ·
Show 32 more sources
- OpenAI’s Math Advances Spark a Reckoning for Academia Bloomberg Technology ·
- OpenAI’s math solutions aren’t meeting the field’s standards yet TechCrunch ·
- OpenAI's math breakthrough points beyond math Axios ·
- OpenAI claims to have solved hundreds of long-standing maths problems The Economist ·
- OpenAI’s release of mathematical findings draws concerns from experts The Guardian Business ·
- OpenAI releases new batch of math breakthroughs The Hill News ·
- Watch: What’s the deal with OpenAI’s massive dump of math papers? Latest News from Science Magazine ·
- OpenAI posts 700 maths preprints online: mathematicians are up in arms Nature ·
- An NYU professor says OpenAI's mass release of math papers wiped out early-career researchers' projects All Content from Business Insider
- Is this the 'mathocalypse'? Why OpenAI's latest results dump has left mathematicians in shock Phys.org - latest science and technology news stories
- The most exciting claims from OpenAI’s heap of new proofs Scientific American
- Mathematicians marvel, and grumble, at OpenAI’s trove of new results Scientific American
- OpenAI mistranslated mathematics into code for its Navier-Stokes proof New Scientist
- How OpenAI Beat Math theinformation.com
- The most interesting mathematical discoveries in OpenAI’s 722 new papers New Scientist
- AI's Simmering Question: "Where the F--- Is All the Automation?" theinformation.com
- OpenAI Says a Secret AI Model Cracked Hundreds of Open Math Problems in One Prompt—Mathematicians Want Receipts decrypt.co
- Die KI von OpenAI löste ein berühmtes mathematisches Problem. Dann knackte sie Hunderte mehr. Quartz
- OpenAI's AI solved one famous math problem. Then it cracked hundreds more Quartz
- OpenAI publishes solutions to more than 370 outstanding math challenges. The results divide mathematicians but most agree: math will never be the same Fortune
- OpenAI has dumped 722 maths papers – now it must clean up the mess New Scientist
- OpenAI just posted hundreds more results on major math problems Engadget
- OpenAI releases 722 research documents showing its AI model solved 372 Maths problems Times of India
- OpenAI released 372 groups of math results on GitHub after its Millennium Prize breakthrough Quartz
- OpenAI veröffentlichte 372 Gruppen von Mathematikergebnissen auf GitHub nach seinem Durchbruch beim Millennium-Preis. Quartz
- OpenAI announces 722 mathematical discoveries in one go New Scientist
- OpenAI, the Partition Principle, and Mathematics Hacker News
- AHM Statement on OpenAI's October 6 Release of Mathematical Documents Hacker News
- OpenAI Withdraws 3 Math Papers Hacker News
- OpenAI withdraws three mathematical results Hacker News
- Terence Tao Responds to the OpenAI Math Drop Hacker News
- OpenAI releases 722 math manuscripts Hacker News
Related prediction markets
Linked by software because they are about the same subject. Most ask a different question from the one this story reports, so read each market's own question. How often the link is right
- Polymarket Will OpenAI announce another Millennium Prize solution by December 31, 2026? 14% −4
Does the market have this right?
Wrong market?
- Resolved Will OpenAI have the best AI model at the end of October 2026? No 7d ago
The market favoured No at 100% a day out, and it won. How often it's right
Wrong market?
- Kalshi Before Jan 1, 2027 20%
Does the market have this right?
Wrong market?
Have your say
Your call. How does this end?
Free, no money involved. Calls are scored against the market's price when you make them, so backing an underdog that wins scores most. Leaderboard · Your calls
Email me when the odds move
In this story
- OpenAI
- Navier-Stokes problem