x
Mathematics After AI — LessWrong