OpenAI announced its AI model, Astra, has resolved 10 longstanding mathematical problems spanning cryptography, quantum computing, geometry, and graph theory.
Astra solved 10 landmark math problems (Connes conjecture disproof, three Erdos problems) with Lean-verified proofs costing ~$2k via API. Signals frontier models now tackle pure research: direct competitive advantage for R&D, cost-effective theorem-proving, pending peer review.
Astra's solutions were verified using Lean
Aug 02, 2026
11:16 am
What's the storyOpenAI has announced that its unreleased artificial intelligence (AI) model, Astra, has solved 10 long-standing mathematical problems.
The problems span various fields such as cryptography, quantum computing, geometry, and graph theory.
OpenAI's Astra solves 10 long-open math problems and publishes the proofs - SiliconANGLE
OpenAI's Astra model solved 10 open math problems and disproved an 80-year-old conjecture, with implications for crypto security…
OpenAI has revealed Astra, an unreleased model designed to tackle complex, long-running tasks, after an internal version produced…
TL;DROpenAI says its unreleased Astra model solved ten open maths problems, shipping Lean proofs on GitHub for roughly $2,000 in…
OpenAI's upcoming AI model named Astra just achieved what human mathematics researchers couldn't pull off in decades.
OpenAI is building a new model family called "Astra" that would let multiple agents tackle complex problems together for hours or…
OpenAI's Astra solves 10 long-open math problems and publishes the proofs - SiliconANGLE
OpenAI's internal model solves 10 long-standing math problems, and the implications reach far beyond academia
OpenAI teases Astra, its next major AI model, after it solves 10 long-standing math problems
OpenAI says its next model, Astra, has solved ten open problems in mathematics
OpenAI's next major model Astra claims breakthroughs on 10 long-standing math problems
OpenAI announces its "next major model" Astra by dropping ten previously unsolved math solutions
OpenAI Astra Runs For Days And Cracked 10 Maths Problems
OpenAI announces solutions to 10 longstanding maths problems | New Scientist
OpenAI’s Astra Solved Decades-Old Math Problems For $2,000
OpenAI Pamer AI "Astra", Selesaikan 10 Masalah Matematika yang Belum Terpecahkan
