OpenAI says a next-gen model produced 10 new results on open math problems for about $2,000
OpenAI · x · 2026-08-04
An internal version of OpenAI’s next major model produced 10 new results on long-standing open problems in mathematics and theoretical computer science, using roughly $2,000 in tokens at GPT-5.6 Sol API rates.
OpenAI says the results cover problems in sphere packing, coding theory, group theory, quantum complexity, lattice cryptography, and extremal combinatorics. The company also says it is releasing the manuscripts, formal Lean certificates, and reasoning walkthroughs so mathematicians can inspect and build on the work.
Related event: OpenAI's Next-Gen Model Solves Math Problems at Low Cost(2 posts)→
More from Models
- Model outputs are no less buggy, but they now take hours to spot — jsuarez · 2026-08-04
- ASCII art may be a better taste benchmark for frontier models than you think — weswinder · 2026-08-04
- Athena 4B beats GPT-5.6 and Claude on shopper-action prediction benchmark — rohanpaul_ai · 2026-08-04
- MiniMax model reportedly cuts MacBook Pro runtime from 2h19m to 49m — bookwormengr · 2026-08-04
- DeepSeek V4 Pro still looks early, even as results are already being reported — teortaxesTex · 2026-08-04
- DeepSeek V4 Flash beat GLM 5.2 and Kimi K3 on a multi-app agent benchmark — LimpComedian1317 · 2026-08-04