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.
More from Models
- ChatGPT co-inventor launches Jev: claims 20-200x faster, 40-400x cheaper than LLMs — GabGarrett · 2026-09-18
- Ran Jev across 10 services for hours, still couldn't spend $1 — multiply_matrix · 2026-09-18
- ChatGPT co-inventor launches Jev, claiming 200x faster, 400x cheaper frontier model — multiply_matrix · 2026-09-18
- Tencent's Hy4 Preview ranks #4 among open-weight models, cheapest in top ten — mariofilhoml · 2026-09-18
- Simple letter-counting test exposes huge gap: GPT-6-Astra hits 93%, Fable 5.1 flounders — scaling01 · 2026-09-18
- Jev, a 'System One' model by Typesafe, launches on OpenRouter with typed decisions instead of text — majidmanzarpour · 2026-09-18