Axiom Math formalization finds broken step in finite simple group classification proof
jiqizhixin · x · 2026-11-12
Axiom Math released a 35-page manuscript, The Unbalanced Group Theorem, revisiting an argument used in the classification of finite simple groups (CFSG).
- The theorem stands: the authors found counterexamples to a closure assertion in one published proof route — the obstruction is in the argument, not the theorem, which has other proofs. Separating these claims is essential.
- Alternative route: for the simple-group case they build on Solomon's theory of maximal 2-components, with a new result, "Preservation of simple tops," specifying conditions under which comparisons between relevant components preserve their simple quotients, replacing the failed closure step.
A landmark case for formal math: machine-assisted formalization can expose a broken step in a proof route without overturning the theorem itself.
More from AGI Musings
- Very few people can build agents for scientists, and that's the real bottleneck — nlarusstone · 2026-11-12
- Fable 5.2 builds a playable FPS in 30 minutes; Scoble says distribution is the real bottleneck — Scobleizer · 2026-11-12
- Andrew Ng at Stanford: AI aces tasks with answers, lags badly on judgment calls — stanfordnlp · 2026-11-12
- SF Series A+ startups average ~75% men; AI infra median just 18% women — henloitsjoyce · 2026-11-12
- Most biology AI models learn only one layer, and the big bet hinges on mapping — anshulkundaje · 2026-11-12
- 'This was AFTER GPT-3': why failing to see new things makes you useless at prediction — repligate · 2026-11-12