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.
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