Терренс Тао уверен: впереди нас ждут кардинальные перемены.
В интервью он высказал мнение, что ИИ не заменит учёных, но станет для них мощным «вторым пилотом», который изменит сам способ производства математического знания.
Вместо ручного труда «ремесленников», где каждый математик совершает открытия одно за другим и обладает сразу всеми компетенциями, необходимыми для производства научного продукта, нас ждёт переход к «массовому производству» теорем. Это не означает конца или обесценивания математики — это означает её переход на качественно новый уровень.
Я думаю, что через три года искусственный интеллект станет полезным инструментом для математиков. Он будет отличным помощником. Вы пытаетесь доказать теорему, и есть один шаг, который, как вам кажется, верен, но вы не совсем понимаете, как его обосновать. И вы можете сказать: «ИИ, не мог бы ты сделать это для меня?» И он, возможно, ответит: «Я думаю, что могу это доказать». Я не считаю, что математика будет «решена». Если произойдет еще один крупный прорыв в области ИИ, то это возможно, но я бы сказал, что через несколько лет мы увидим значительный прогресс, и использовать ИИ на практике станет всё проще и проще.
И даже если ИИ сможет выполнять ту математику, которую делаем мы сейчас, это значит, что мы просто перейдем на более высокий уровень математики. Например, сейчас мы доказываем вещи одну за другой. Это похоже на работу мастеров-ремесленников, которые вручную создают деревянные куклы. Вы берете одну куклу, тщательно ее раскрашиваете и так далее, а затем беретесь за следующую. То, как мы занимаемся математикой, не сильно изменилось. Но во всех других дисциплинах у нас есть массовое производство. Так что с ИИ мы сможем доказывать сотни или тысячи теорем одновременно. А математики-люди будут направлять ИИ для выполнения различных задач. Так что я думаю, способ, которым мы занимаемся математикой, изменится, но их временные рамки, возможно, немного оптимистичны.
Я думаю, что появятся совершенно новые способы занятия математикой, которых сейчас просто не существует. Я могу представить себе математиков-менеджеров проектов, которые смогут организовывать очень сложные проекты — они не понимают всю математику досконально, но могут разбивать задачи на более мелкие части и делегировать их другим людям, и у них хорошие коммуникативные навыки. Затем есть специалисты, которые работают в подобластях. Есть люди, которые хорошо умеют обучать ИИ определенным типам математики, и есть те, кто может преобразовывать доказательства ИИ во что-то, удобочитаемое для человека. Это станет сильно больше похоже на то, как работает практически любая другая современная отрасль. Как, например, в журналистике: не у всех один и тот же набор навыков. Есть редакторы, есть журналисты, есть бизнес-менеджеры и так далее — подобное в конечном итоге появится и в математике.
(источник)