What is a non-sofic group and why was it an important open problem?
A sofic group is a mathematical concept defined by Mikhail Gromov in 1999. Whether non-sofic groups exist was unknown for over 25 years — no one could construct an example or prove they were impossible. Astra produced an explicit construction, settling one of the longest-standing open questions in group theory.
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.