What is it like to understand advanced mathematics? — LessWrong