Source authenticated
Kourovka Problem 19.25 - Totient Sums and Simplicity
Do a finite group's order together with $\sum_{g \in G} \varphi(|g|)$ determine whether the group is simple? A simple and a non-simple group of order $6048$ share the statistic $23984$.
Exact FrontierDelta
Prior state unknown→disproved
Scope and record
Occurred: Jul 20, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: Kourovka Problem 19.25 - Totient Sums and Simplicity · Kourovka 19.25
Confidence: Not scored
Registry verification: lean verified · preprint · resolved
Lineage and corrections
This event attributed to Aristotle