Shouldn’t it be easy for mathematicians be able to validate the proof quickly?
It’s not just validating the proof. It must be shown to be noncircular. For example, a proof that uses on the familiar trig identity sin^2(x)+cos^2(x)=1 would be a circular proof.