Comments by "Lepi Doptera" (@lepidoptera9337) on "Zero Knowledge Proof (with Avi Wigderson) - Numberphile" video.

@Muhahahahaz I have a felling that might be the catch. The verification of that process might be harder than the original proof. Maybe my intuition here is wrong, but the constructions seems to classify all theorems and proofs into an infinite set of equivalence classes. What we are given is the equivalence class but not which particular proof in that class it is. Since the number of proofs in each equivalence class is infinite, knowing the class is useless.
2
It's simple but not efficient. He said that the map might be humongous (as in have a larger number of countries than the number of atoms in the observable universe).
2