OpenAI's upcoming AI model named Astra just achieved what human mathematics researchers couldn't pull off in decades.
OpenAI's Astra solved 10 open math problems (sphere packing, quantum complexity, lattice crypto) for ~$2K with Lean proofs. For tech leaders, frontier models are advancing to research-grade problem-solving—reshaping R&D strategy, hiring, and AI positioning.
When you purchase through links on our site, we may earn an affiliate commission. Here’s how it works.
OpenAI has previewed Astra, its next-generation frontier model, which successfully generated breakthroughs for 10 decade-old open problems.
Pradeep Viswanathan
Neowin
@pradeepviswav ·
OpenAI teases Astra, its next major AI model, after it solves 10 long-standing math problems
OpenAI announces its "next major model" Astra by dropping ten previously unsolved math solutions
OpenAI's unreleased Astra model solves 10 long-standing math problems
OpenAI's internal model solves 10 long-standing math problems, and the implications reach far beyond academia
OpenAI's Astra solves 10 long-open math problems and publishes the proofs - SiliconANGLE
OpenAI says its next model, Astra, has solved ten open problems in mathematics
OpenAI Astra Runs For Days And Cracked 10 Maths Problems
OpenAI’s amazing — but vastly oversold — new model Astra
OpenAI Smuggled the Announcement of Astra, Its Next AI Model, Into a Blog Post About Math
OpenAI announces solutions to 10 longstanding maths problems | New Scientist
