AI让数学再也回不去那个旧世界了。