AI is a powerful but problematic new collaborator in mathematics | Hacker News Reader