AI is reshaping math—and how mathematicians work. That's fine, but experts want some clear standards.