Mathematical Beauty, Truth and Proof in the Age of AI | Dark Hacker News