OpenAI's Astra Solves Ten Long-Standing Problems in Mathematics and Computer Science
Ten advances in mathematics and theoretical computer science
We recently used our internal Astra model to solve ten major open problems in mathematics and theoretical computer science that had seen no progress for over a decade. These breakthroughs span fields like high-dimensional geometry, quantum complexity, and lattice cryptography. We have formalized these proofs in Lean and released the model's reasoning process, while committing to honest attribution and deep engagement with the mathematical community.
Claiming human authorship for a proof generated entirely by an AI system would misrepresent both the system's contribution and the nature of genuine human intellectual work.