I guess as a physicist I am more hopeful - every revolution in how the world is understood (by humans) has been driven by new tools and data. Being able to measure single quanta, for instance, showed us just how weird and counter-intuitive the Universe can be. I think AI might do something similar for mathematics - make connections that a human brain might have missed, and so advance human knowledge.
But I totally get the anxiety - it's a real John Henry (https://en.wikipedia.org/wiki/John_Henry_(folklore)) moment for the mathematics field. Clearly this is going to restructure how mathematicians are going to be trained and how they work.
But I totally get the anxiety - it's a real John Henry (https://en.wikipedia.org/wiki/John_Henry_(folklore)) moment for the mathematics field. Clearly this is going to restructure how mathematicians are going to be trained and how they work.