Definition
Plain language
The branch of mathematics that studies symmetry and the rules for combining operations, like all the ways you can rotate a cube back onto itself.
As stated in the literature
The study of groups — sets with an associative operation, an identity, and inverses — a core area of abstract algebra; the domain of the Kourovka Notebook open problems used as a testbed for AI proof-assistant systems.
Why it matters: It provides a rigorous language for symmetry and combining operations, and its open problems make a demanding testbed for AI proof systems.
For example, group theory describes every way you can rotate a cube so it looks unchanged, and the rules for combining those rotations.
Heard on the show
“Marc Lackenby — a mathematician — brought the system a problem from the koo-ROV-kah Notebook, which is a long-running compendium of open problems in group theory.”Episode 029 — Why Forty-Eight Percent on FrontierMath Isn't the Real Story in DeepMind's New Math Paper