Leading mathematicians fear AI is making their field dumber, and warn the rest of us is next