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