May 312025 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 mathematics.