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