Formalizing the classification of finite simple groups: a draw between machines and humans
burny_tech · x · 2026-10-28
A witty take from the AI/math circle: formalizing the classification of finite simple groups — one of the largest proof efforts in history — is a huge win for machines; but the fact that the classification actually turned out to be correct is a huge win for humans, "so we can call it a draw." A neat encapsulation of what formal verification means for both sides.
More from Fun
- Economist Jason Furman maxes out 3 of 5 Claude accounts, told to switch to Codex — soumitrashukla9 · 2026-10-28
- Community challenge: can a single bit flip observably change an LLM's behavior? — burny_tech · 2026-10-28
- Researcher's Sharp Take: e/acc Is auDHD, EA Is Malignant Psychopathy — mjdramstead · 2026-10-28
- 'The free energy principle is free because it's not that useful' — researchers clash over FEP — mjdramstead · 2026-10-28
- Beff Jezos raves about Astra Ultrafast's token speed — beffjezos · 2026-10-28
- AI CEO memes about girlfriends leaving over Dyson swarm ambitions — beffjezos · 2026-10-28