non-surveyable proof

mathematical proof infeasible for a human to verify