OpenAI's next-generation model 'Astra' solves 10 major challenges in mathematics and computer science

OpenAI says an internal version of its next-gen Astra model solved 10 long-standing problems in mathematics and theoretical computer science.

The process involved generating new mathematical ideas, having human researchers turn them into papers, and formally verifying them with Lean.

OpenAI framed the result as a step forward in scientific reasoning, showing AI can propose new theorems and proofs, not just assist with them.

The milestone could have broad implications for quantum complexity, lattice cryptography, and computational complexity research.