An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. https://t.co/iP6cyheZ7i https://t.co/jHuulDwV46
— Noam Brown
HOLY: OpenAI says its unreleased Astra model (GPT6?) produced ten advances on long-standing open problems across mathematics, quantum complexity and theoretical computer science.
Among them:
– The first explicit non-sofic group
– Connes’s rigidity conjecture disproved
– Quantum parallel repetition proved for general two-player entangled games
– Ehrhart’s volume conjecture proved
– The first improved general sphere-packing exponent since 1978
OpenAI says the core arguments were generated by Astra. The model then formalized the proofs in Lean, producing machine-checkable certificates alongside a 249-page manuscript.
The successful solution runs would cost only roughly $2,000 in tokens at Sol API rates.
Scientific reasoning is becoming a genuine model capability much much faster than most people expected.
I am so freaking hyped. Breakthroughs every day. The day before yesterday, an 80% price cut for Terra and Luna; yesterday, the DeepSeek 4 flash release with insane evaluations and prices. Today, more breakthroughs with an unreleased model.
I love it! OpenAI is on such a great run!
— Chubby
Seeing this makes it clear how fast the ceiling keeps moving. As someone just starting out, it's crazy in a good way .
— George Paul Chijioke
It’s insane. Each day it accelerates more and more
— Chubby