OpenAI's Astra Solved Decades-Old Math Problems For $2,000

OpenAI's Astra model generated machine-checkable proofs for ten longstanding mathematical problems, costing $2,000. The results, published August 1, span group theory, geometry, coding theory, quantum complexity, lattice cryptography, and extremal combinatorics, and named OpenAI's next major model family.