Curiously fitting that the Pope is also a Mathematician by training. I'd imagine he agrees with Tao on the fundamental aims of mathematical research and how these proof dumps largely miss the point