Show Notes
It is kind of a huge deal. OpenAI dumped a broad range of huge new mathematical results produced by an internal frontier model. They just put it all on GitHub.
This included 90 of the top 500 open problems in all of math, as per Proof of Atlas. In total there were 722 manuscripts (now 719 after three withdraws from the cluster that did not have Lean proofs) organized into 372 families.
This was the result of a single model, presumably the same one that produced the Navier-Stokes proof (as per their link back to that post), mostly on a single prompt (quasi-RH was one of the few exceptions), working an average of three hours’ worth of compute per solution found, after being asked to try its luck at about 4,000 problems. The prompt included lines like ‘Even if the problem is “open,” the intention is that you should resolve it and present a full solution.’ OpenAI was trying a lot less than maximally hard.
Levant and others called October 6, 2026, ‘obviously the most significant moment in mathematical history.’
Table of Contents
What Did We Prove?
The Mathocalypse.
The World [...] --- Outline: (01:16) What Did We Prove? (04:09) The Mathocalypse (07:10) The World Does Not Understand (10:17) For Now You Can Still Do Math (11:10) You Will Need To Find A New Problem (14:40) Verification or Evaluation Is Not Always Easier Than Generation (15:56) Cracking the Code (20:08) Never Change (20:28) The Mathematicians Are Not Okay (29:27) The Situation Turns Ugly (32:21) The Advisory Group Responds (34:15) Another Mathematical Group Responds (37:03) A Different Approach (40:07) Three Withdraws (41:00) Leaning Into Lean ---
First published:
October 9th, 2026
Source:
https://www.lesswrong.com/posts/eyqxBuxXCaamNSxBB/new-math-from-openai
---
Narrated by TYPE III AUDIO.
--- Images from the article: Apple Podcasts and Spotify do not show images in the episode description. Try Pocket Casts, or another podcast app.
More from LessWrong posts by zvi
It was the probably worst day in cybersecurity history. So far. Not only is there a critical flaw in PHP that due to a leak was announced a day before the fix would be available, sending most of the internet scrambling for solutions and likely dooming a lot of long tail websites permanently, there were several other unrelated incidents. The floodgates seem to have been opened. I have a market on whether there will be an even worse day before the end of the year.
Anthony Cimino offered the closest thing to an official response we have seen on the leaked Anthropic draft bill I covered on Saturday.
Nick Cammarata of Goodfire makes a bold claim: Neural Networks are Already Clean. This was his follow up after various resulting online discussions.
There is a newly leaked bill that Anthropic is purportedly shopping around is (if you assume its bugs get fixed).