Inspired by the recent Quanta Magazine article, Mathematical Beauty, Truth and Proof in the Age of AI, which Dave Luebke sent me.