AI is a powerful but problematic new collaborator in mathematics