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！