AI is rapidly changing math and mathematicians are defining their role in the equation

Artificial intelligence is a game changer across many fields these days and mathematics is no exception. Yet, the rapid acceleration of its ability to solve some of arithmetic's most challenging proofs has left many a mathematician wondering how they fit into future equations. The World's Host Marco Werman spoke to one such human mathematician, Daniel Litt, at the University of Toronto.