Mathematical Beauty, Truth and Proof in the Age of AI

Mathematicians have started to prepare for a profound shift in what it means to do math.