Non-surveyable proof

Known as: Human-surveyable proof, Non-surveyable proofs, Surveyable proof

In the philosophy of mathematics, a non-surveyable proof is a mathematical proof that is considered infeasible for a human mathematician to verify…