En «Mathematics: The rise of the machines», Yang-Hui He explora cómo la IA está transformando la investigación matemática, desde la verificación formal de teoremas y el descubrimiento de conjeturas hasta la resolución de problemas con modelos de lenguaje.