Comment by jl6

I am reminded of Mochizuki’s claimed proof of the abc conjecture: an impenetrable paper, building on other work of the same author, building on work in an already complex and abstract subject. It was said that the only people who had done enough of the background reading to understand the paper were the author’s own students - and therefore not independent enough to validate its claims. The legendary Peter Scholze got far enough to offer a debunking, but the trial continues…

It seems inevitable that the theoretically infinite world of math will be finitely bound by the limits of the human mind. There’s only so much time in one lifespan to do all the pre-reading.