AI May Have Resolved a Major Open Question in Group Theory
Sauers_ · x · 2026-08-13
A developer stated they are fairly confident that their AI (mostly a model named Sol) has successfully resolved a major open question in group theory. They noted that they now have to dive deep into learning group theory to understand and verify the proof generated by the AI.
Related event: User Claims AI Assistant Solves Major Open Problem in Group Theory(2 posts)→
More from AGI Musings
- Personal shopping agents bumped her secondhand spending from $365 to $820 in 2 months — davidyin44 · 2026-10-16
- There's no formal route to frontier AI research: 19-year-olds are advancing tech from their basements — repligate · 2026-10-16
- 'Will you end humanity?' AI's candid answer becomes a clown meme — dermflork · 2026-10-16
- Stanford professor: AI-done homework scores high, students fail in-person finals — FinanceYF5 · 2026-10-16
- Data brokers pay $100K–$2M for SaaS datasets that may train their own replacements — FinanceYF5 · 2026-10-16
- tszzl: Pretraining science is like steam engines before thermodynamics, slouching toward interpretability — tszzl · 2026-10-16