OpenAI 未发布 Astra 模型攻克数学与量子复杂性难题

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!