Understanding Conjecture: Notes from Connor Leahy interview — LessWrong