What open math problems did OpenAI's Astra model solve?
Astra solved ten longstanding open problems, including constructing a non-sofic group (open since 1999), disproving Connes's rigidity conjecture on von Neumann algebras, proving Ehrhart's volume conjecture, and resolving three problems from Paul Erdos's catalog including problem 183 on multicolor Ramsey numbers.
Answered in
OpenAI's Astra Model Solved 10 Open Math Problems — With Machine-Verified ProofsOpenAI's Astra solved 10 longstanding open math problems with fully verified Lean 4 proofs and zero unproven steps. Total compute cost: roughly $2,000.
Read the full analysisOther questions this article answers
More how ai actually works questions
- Why did OpenAI shut down Sora?
- Is Google Veo 3.1 free to use?
- What is Kling AI and why is it significant?
- What makes ByteDance's Seedance 2.0 different from other AI video tools?
- What is Isomorphic Labs?
- What is the Isomorphic Labs Drug Design Engine?
- Why did Hassabis step back from DeepMind?
- What is AlphaFold and why does it matter for drug discovery?
Every answer on Crashtech is written by the editor of the article it comes from — never auto-summarised. Browse all answers or the How AI Actually Works beat.