Mathematical proof in the age of AI | Hacker News Reader