You’re talking about whether something can be verified. I’m talking about the mental DDOS releasing work like this creates

The navier stokes paper is 166 pages long and the lean code is over 500 kloc. Nothing about that is “clear”. Someone has to real ALL of that to see if the proof is clearly right or wrong.

the right may not be clear sometimes but the wrong definitely is

Interestingly, maths isn't really like that.