The crisis of AI-generated mathematics | Hacker News Reader