AI & Enterprise
OpenAI\'s Astra solves 10 math problems unsolved for more than a decade
OpenAI’s unreleased internal model Astra has produced new results on 10 problems in mathematics and theoretical computer science that had remained unsolved for at least a decade, and released machine-verifiable proofs. OpenAI posted a 249-page manuscript, model reasoning traces and Lean 4 proof certificates on GitHub under the Apache 2.0 licence. Some researchers called the results significant, but the work has not been peer reviewed and mathematicians still need to confirm the claims’ meaning and alignment with the original open problems.
