Stephen Wolfram - Topology of Proof Space (via searchlore.ai)