AI’s potential to make mathematics more essential · Digg