Formalization of Finite Simple Groups Classification May Land Next Week

Anthropic researcher Geoffrey Irving says the formalization of the classification of finite simple groups could be completed as soon as next week, noting the statement is hard to formulate precisely but easy to verify once written correctly.

2026-10-10 ~ 2026-10-10 · 2 related posts

• Anthropic's Geoffrey Irving: is the formalized classification of finite simple groups coming next week? — geoffreyirving · 2026-10-10
• Formalized classification of finite simple groups may be near, says Irving — geoffreyirving · 2026-10-10