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