Mathematical discovery in the age of artificial intelligence