“Grant Sanderson predicts that advanced AIs will be skilled at both discovering new mathematical ideas and explaining those ideas clearly, potentially better than most humans.”