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
- Did the AI ultrasound study prove that it improves pregnancy outcomes?
- What does blind-sweep ultrasound mean in this study?
- Does Meta’s PrivacyLib watch every AI-agent action?
- What is the main design idea behind PrivacyLib?
- Is GPT-6.1 Terra available through the API?
- Do OpenAI's computer-use benchmarks guarantee reliable automation?
- What is semantic tokenization in a recommender system?
- Does Meta's reported conversion lift prove semantic tokens will improve every recommender?
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.