By extending the scope of a key insight behind Fermat’s Last Theorem, four mathematicians have made great strides toward building a unifying theory of mathematics.