Scott Aaronson Predicts AI Will Accelerate Past Human Mathematicians