The crisis of AI-generated mathematics | Dark Hacker News