Can Computers Be Mathematicians?
The Joy of Why - A podcast by Steven Strogatz, Janna Levin and Quanta Magazine

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.