Astra model solves ten open problems in mathematics and theoretical computer science
OpenAI's internal Astra model has generated solutions to ten long-standing open problems across mathematics and theoretical computer science, with the arguments formalized in Lean. These results span high-dimensional geometry, coding theory, group theory, and quantum complexity, addressing questions that had seen no progress for at least a decade.