I suggest listening to "Math Vs Machine" [1], which has a much more nuanced take. It clearly lays out two types of use of AI in math, one that helps humans have better understanding, and one just bulldozes problems without helping us get any insights. It also touches on the topic of "does it matter if the machine does things in ways humans cannot understand".