Ten conundrums that stumped human mathematicians for years have been cracked by OpenAI's Astra model, continuing a hot streak of AI-driven breakthroughs that are shaking up the field
OpenAI's Astra solved 10 math problems including a non-sofic group counterexample, disproving a 27-year conjecture. AI's shift to theory-building signals R&D automation; enterprises must prepare for skill gaps in deep problem-solving.
Mathematics
OpenAI announces solutions to 10 longstanding maths problems
Ten conundrums that stumped human mathematicians for years have been cracked by OpenAI's Astra model, continuing a hot streak of AI-driven breakthroughs that are shaking up the field
By Matthew Sparkes
3 August 2026
OpenAI's internal model solves 10 long-standing math problems, and the implications reach far beyond academia
OpenAI's unreleased Astra model solves 10 long-standing math problems
OpenAI's Astra solves 10 long-open math problems and publishes the proofs - SiliconANGLE
OpenAI's next major model Astra claims breakthroughs on 10 long-standing math problems
OpenAI says its next model, Astra, has solved ten open problems in mathematics
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
Mathematicians are buzzing about AI’s solution to a math mystery
AI keeps cracking unsolved math problems, and mathematicians have mixed feelings
FrontierMath expands Open Problems benchmark to 50 challenges as AI solves three unsolved math questions
