[deadbeef57]

I just want to say that in the case of the classification of finite simple groups, there's actually a bit of a problem. Exactly because "a lot of the deep expertise mathematicians" have left the field; but on the other hand "a small, curated subset of these techniques" is still missing. A small group of experts (all in their 70's or 80's) are currently writing a dozen volumes on this classification, and the rest of the community hopes that they get it done before they pass away.

This proof has a seriously low bus factor at the moment :scared:

[Hermitian909]

Oh you're right! I hadn't been aware that the book series was incomplete, my face is a bit red and I share your concerns. Here's to hoping!