TL;DR: Mathematician community broadly unhappy with AI because it might destroy the community by doing all the mathematics for them.