The Guardian view on AI v mathematicians: humans are still vital to the field, but tech firms refuse to see that | Editorial