Anthropic's Geoffrey Irving: is the formalized classification of finite simple groups coming next week?
geoffreyirving · x · 2026-10-10
Geoffrey Irving asks when the formalized classification of finite simple groups will land — possibly within the next week? The theorem spans thousands of pages across hundreds of papers and is one of formal mathematics' most coveted big targets, hinting that progress may be imminent.
Related event: Formalization of Finite Simple Groups Classification May Land Next Week(2 posts)→
More from Research
- MOSS@COLM 2026 spotlights small-scale LLM research with talks by Danqi Chen and Omar Khattab — sewon__min · 2026-10-10
- Data firms need frontier-level training infra to prove data value, says Proximal — AccBalanced · 2026-10-10
- AI agent misses $14M in lease clauses: Surge AI's GDP.xlsx benchmarks agents on real spreadsheets — echen · 2026-10-10
- Calico open-sources Cerberus DNA model in PyTorch: 786kb input, 8361 human tracks — anshulkundaje · 2026-10-10
- New preprint uses state space models for long-sequence genomic prediction, open-sources Cerberus PyTorch models — anshulkundaje · 2026-10-10
- MaCVi maritime computer vision workshop lands at WACV 2027 with 3D sonar and underwater benchmarks — HildeKuehne · 2026-10-10