There has been a lot of nonsense posted recently about this “Wikipedia Sized Proof”, but this is the clearest explanation I’ve seen of what the problem is, how the proof can be so large, and why it’s just a single case of a much larger problem.