non-surveyable proof

mathematical proof infeasible for a human to verify

Categories: