Artificial intelligence has bested humans at problem-solving tasks including games like chess and Go. Is mathematics research next? Steven Strogatz speaks with Kevin Buzzard, professor of pure mathematics at Imperial College London, to learn about the ongoing multidisciplinary effort to translate math into language that computers understand.