What an AI maths breakthrough means for human discovery

This FT commentary examines how AI's latest breakthrough in mathematics is reshaping the process of human discovery. It argues that AI can now not only speed up calculations but also generate new conjectures and uncover novel structures, potentially transforming the paradigm of mathematical research. However, the author cautions that AI's 'black box' nature introduces new challenges around verification and trust. For AI practitioners, this signals that model capabilities are expanding from 'solving problems' to 'posing good questions,' requiring a redefinition of human-machine collaboration.