OpenAI Astra Solves 10 Math Problems for $2,000

OpenAI's Astra model resolves ten major unsolved problems in cryptography and quantum computing with minimal compute costs, verified via Lean formal proofs.

Woofun AI reports that OpenAI has published research findings demonstrating its next-generation AI model, Astra, achieved breakthroughs in mathematics and theoretical computer science. The internal version of Astra addressed ten long-standing unsolved problems, including high-dimensional sphere packing, post-quantum cryptography, and quantum complexity, with a total computational cost of approximately $2,000 based on Sol API pricing. Human researchers subsequently utilized the model to compile these results into papers and generated verifiable proof certificates through the Lean formal proof system.