OpenAI Announces Astra, Its Next Major Model Family, by Solving Ten Previously Unsolved Math Problems
OpenAI revealed its next-generation model family, Astra, by publishing verified solutions to ten open problems in mathematics and theoretical computer science that had resisted human progress for at least a decade. The proofs span high-dimensional geometry, coding theory, group theory, quantum complexity, and lattice cryptography, and would have cost approximately $2,000 at current API rates to generate.