HOW TERRY TAO BECAME AN EVANGELIST FOR AI IN MATH

Summary from the TLDR newsletter

Terrence Tao didn't think AI would replace human mathematicians any time soon, but he thought the technology was well-suited to helping solve mathematical problems that could be broken into thousands of small, manageable subproblems.