How will AI change mathematics? Rise of chatbots highlights discussion

Machine-learning tools already help mathematicians to formulate new theories and solve tough problems. But they’re set to shake up the field even more.