There are many similarities in your comment to how grandmasters discuss engines. I have a hunch the arc of AI in math will be very similar to the arc of engines in chess.
https://www.wired.com/story/defeated-chess-champ-garry-kaspa...
https://www.wired.com/story/defeated-chess-champ-garry-kaspa...