OpenAI releases batch of new mathematical results from internal frontier model
nabla_theta · x · 2026-10-07
OpenAI announced it is releasing a broad range of new mathematical results produced by an internal frontier model.
The company expanded evaluations on open research problems after saturating existing math benchmarks. Release decisions were informed by the independent Advisory Group on Mathematics and AI at the Institute for Advanced Study. A companion GitHub repository hosts manuscripts and proof artifacts, with Lean formalizations to be added progressively; some unformalized results may contain issues.
More from Research
- OpenAI proves matrix multiplication solvable in O(n^2.25) operations — but no algorithm yet — Pascallisch · 2026-10-07
- Melanie Mitchell fires back: cites recent LLM research, two NeurIPS papers — MelMitchell1 · 2026-10-07
- Integer multiplication faster than N log N? Algorithm fans call it "cursed" — QuintinPope5 · 2026-10-07
- OpenAI Researcher Surprised AI Lab Math Results So Far All Hold Up — willdepue · 2026-10-07
- Frontier LLMs as simulators of human biologists will land faster than 'virtual cells' — CatAstro_Piyush · 2026-10-07
- AI claims progress on 90 of 500 major open math problems, including partial Riemann Hypothesis results — DavidSKrueger · 2026-10-07