AI WILL BECOME MATHEMATICIANS' ‘CO-PILOT'

Summary from the TLDR newsletter

Computers can help solve the big, unsolved problems in mathematics. The latest advancements in artificial intelligence introduce completely new ways of working and open up new possibilities for cooperation in mathematics. This article contains a transcript of an interview with Terence Tao from the University of California in which he discusses the future of the field of mathematics. Tao also covers collaboration in the field, automated proof checking, new technologies, the big unanswered problems in mathematics, and more.