Lost in Hyperspace: The Quest for Mathematical Proofs

Finding mathematical proofs is like finding big cities in a large dimension hyperspace where map is revealed only for the roads you walk on.

Discussion