Highly recommend this lecture by a working mathematician shared above (https://www.youtube.com/watch?v=vYCT7cw0ycw [54min]). It's very much grounded in history and experience, much more so than in speculation. I wrote a brief summary of some main points in that thread.
But specifically to your worry about humans just dotting i's and crossing t's, he predicts that exactly the opposite will happen. At the end he emphasizes that the ultimate goal of mathematics is more about human understanding than proving theorems.
But specifically to your worry about humans just dotting i's and crossing t's, he predicts that exactly the opposite will happen. At the end he emphasizes that the ultimate goal of mathematics is more about human understanding than proving theorems.