AI Will Be Robustly Superhuman at Mathematics