Formalized classification of finite simple groups may be near, says Irving
geoffreyirving · x · 2026-10-10
Geoffrey Irving on formalizing the classification of finite simple groups: the classification statement is hard to state precisely, but easy to mostly check — verify you can prove the corollary that all finite simple groups are generated by two elements. Responding to whether formalization lands next week, he was cautiously optimistic.
Related event: Formalization of Finite Simple Groups Classification May Land Next Week(2 posts)→
More from Research
- ELLIS UnConference unveils 20 sessions, with LeCun giving a 30-min World Models tutorial — ylecun · 2026-10-10
- 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