Наткнулся я на манифест https://mathandai.org/ — его подписали очень серьёзные математики, включая медалистов Филдса. И обеспокоены они тем, что AI всё активнее лезет в математику и уже способен решать задачи исследовательского уровня.
Сначала подумал: ну всё, математики решили бороться с калькулятором XXI века. Но почитал внимательнее — проблема у них интереснее.
Их главный страх не в том, что AI решит задачу вместо человека. А в том, что вместе с этим мы можем потерять сам процесс исследования.
Математик годами бьётся над сложной проблемой, строит гипотезы, ошибается, придумывает новые методы, обсуждает их с коллегами. И иногда побочным результатом оказывается новая теория, которая важнее первоначальной задачи.
А теперь приходит AI:
Задача решена. А математики как будто и не было.
Аргумент хороший. Но, по-моему, здесь AI рассматривают немного не с той стороны.
Можно потребовать показать ход решения, выделить ключевые идеи, найти связанные результаты, указать источники, построить контрпримеры, объяснить, что именно в доказательстве является новым, попробовать обобщить результат и сформулировать следующие вопросы.
А самое интересное — заставить AI искать связи во всей доступной научной литературе. И да, не забываем что ИИ могут придумывать источники 😁
Человек физически не способен прочитать всё, что опубликовано даже в сравнительно узкой области. И вполне возможна ситуация, когда математик три года пытается доказать некоторую лемму, а похожий результат уже был получен в 1997 году в соседней области, просто называлось всё совершенно иначе.
Вот здесь AI становится особенно интересным.
Не как «искусственный математик», а как машина, способная соединять куски человеческого знания, которые сами люди просто не успели соединить.
Конечно, остаётся огромная проблема доверия. AI может ошибиться, неправильно понять статью или вообще придумать источник. Поэтому хорошая система должна выглядеть примерно так:
идея → доказательство → источники → проверка источников → формальная проверка доказательства → объяснение человеку.
И тогда получается совсем другая картина.
AI не обязательно отнимает работу у математика. Он отнимает у него самую дорогую вещь — бессмысленно потраченное время.
У человека есть несколько десятилетий продуктивной научной жизни. Если три года ушли на тупиковое направление только потому, что нужная идея была похоронена в неизвестной статье тридцатилетней давности, эти три года уже никто не вернёт.
И ведь мы это уже проходили.
Когда-то сложные инженерные и научные расчёты выполняли целые команды людей — вручную, с таблицами, логарифмическими линейками и механическими вычислительными машинами. Потом появились электронные компьютеры.
Люди перестали тратить огромное количество времени на сами вычисления.
Орбитальная механика от этого почему-то не умерла. 😁
Наоборот — мы смогли считать такие траектории и решать такие задачи, которые раньше были практически недоступны.
Возможно, с AI произойдёт примерно то же самое. Он не уничтожит математику — он просто поднимет уровень абстракции, на котором работает человек.
И тогда правильный вопрос вообще не «заменит ли AI математиков?».
Гораздо интереснее другой:
что сможет открыть хороший математик за одну человеческую жизнь, если перестанет тратить её на то, что машина способна сделать за несколько минут?