New Math from OpenAI
OpenAI dumped a broad range of huge new mathematical results produced by an internal frontier model.
Proof1 independent outlet
Key points
- It is kind of a huge deal.
- This included 90 of the top 500 open problems in all of math, as per Proof of Atlas.
- 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.
Sources (1)
- [1]New Math from OpenAIDon't Worry About the Vase (Zvi) · Oct 9, 01:20 PM
OpenAI dumped a broad range of huge new mathematical results produced by an internal frontier model.
It is kind of a huge deal.
Extractive summary: sentences quoted from the sources.
Before this
- Oct 8, 2026Kernelized Parameter Sensitivity Atlases for Amortized Conditional Interpretability
- Oct 8, 2026openai/codex rust-v0.162.0: 0.162.0
- Oct 8, 2026Show HN: Jevman – AI decision models play Pac-Man
- Oct 8, 2026Understanding Jev, the new model everyone is talking about
- Oct 8, 2026Text is so 2023
- Oct 7, 2026[AINews] Claude Haiku 5.5 — better than GPT-6 Luna at the same pricing
