“Terence Tao believes AI tools will revolutionize the experimental side of mathematics by enabling large-scale data gathering on which techniques are effective.”