OpenAI Unveils Astra — a Model That Solved Ten Decades-Old Math Problems, and Each Proof Cost $2,000 in Tokens

On August 2, 2026, OpenAI revealed Astra, a new model family designed for long-running complex tasks. An internal version just produced ten major advances in mathematics and theoretical computer science, including a disproof of Connes's rigidity conjecture. The total token cost to find these solutions was $2,000.