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.
1 vote
Overall karma indicates overall quality.
Total points: 0
Agreement karma indicates agreement, separate from overall quality.
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