Compressing Reality to Math — LessWrong