A pair of researchers has shown that trying to classify groups of numbers called “torsion-free abelian groups” is as hard as it can possibly be.