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
“Real numbers, group theory, combinatorics, chunks of analysis and number theory.”Episode 067 — An AI Just Solved a 1996 Erdős Problem—and the Simplest Agent Won