Comment by olmo23

> if an advanced theorem is proven, and no one alive is competent enough to comprehend it, does it even matter

For any applied mathematics: of course it matters if I can use a better algorithm for $PROBLEM. Yes, even if I do not understand it (I'd like a LEAN certificate tho)! As for pure mathematics, it can be argued that it never mattered in the first place.