Erdős Problems in Algorithmic Probability — LessWrong