That is direct copy paste from article, and he did read the whole article in here. www.youtube.com/watch?v=gPrW...
He does clearly have same view as many other mathematicians like Terrence Tao in that he wants human level understanding.
It might be that LLMs can do that too.
youtube.com
What’s the Future for Pure Math Research in the Age of AI?
YouTube video by Wolfram