Что математики говорят про влияние ИИ на математику?

Доказательства в математике всегда были в дефиците и потому ценились. По ним мерили успех учёного, за ними охотились годами, а из семи «задач тысячелетия» человечество до сих пор осилило только одну. Теперь модели выдают их таким потоком, что Теренс Тао назвал это эпохой изобилия доказательств. Навье — Стокс уже заявлен как решённый, вторая задача тысячелетия почти взята, открытые гипотезы забрасывают моделям пачками.

Со стороны это выглядит золотым веком. Только там, где доказательства перестают быть редкостью, ценность утекает куда-то ещё, и сообщество спорит, куда именно. А следом всё острее звучит один вопрос. Если машины забрали то, по чему оценивали самих математиков, зачем вообще нужна фундаментальная математика?

Попытаемся понять, что математики теперь считают в своей науке главным.