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.
The story you just read is not locked behind a paywall because listeners and readers like you generously support our nonprofit newsroom. Now more than ever, we need your help to support our global reporting work and power the future of The World. Can we count on you?