Martian Moonshine

23 karmaJoined


Does anyone one have the time stamp, when he argues that it's easier to show that a mathematical proof is correct than to find the proof. I am working on making that argument rigorous for the case of an AI planer and would like to reference the conversation.

Edit: I found it: it's at 01:46:50