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