Искусственный интеллект начал заметно менять подход к решению сложных математических задач, но вместе с этим привнёс в дисциплину непривычную для неё напряжённость. За последний год OpenAI, Anthropic и другие разработчики заявили о прорывах в задачах, которые долгое время считались нерешёнными или практически недоступными для современных систем.
Некоторые результаты оказались значительно сильнее ожиданий исследователей. В отдельных случаях ИИ приблизился к уровню, который ещё недавно связывали только с ведущими специалистами по математике, а одна из систем, согласно заявлению разработчиков, даже затронула одну из знаменитых задач тысячелетия.
Почему математическое сообщество настроено скептически
Проблема заключается не только в самих результатах, но и в том, как именно они были получены и представлены. В математике недостаточно сообщить правильный ответ или продемонстрировать убедительную цепочку рассуждений. Необходимы полное доказательство, проверяемые шаги и возможность независимого воспроизведения результата.
ИИ-лаборатории часто действуют в логике Кремниевой долины - быстро публикуют впечатляющие достижения, а затем уточняют детали. Такой подход может быть эффективен при создании программных продуктов, однако в математике он способен подорвать доверие к работе ещё до того, как её успеют проверить.
Особое раздражение вызвали ситуации, в которых математиков привлекали уже после громких заявлений. OpenAI потребовалась консультация ведущих специалистов, чтобы лучше понять, как представлять подобные открытия и не допускать ошибок в коммуникации. Параллельно звучали требования объяснить, использовались ли в обучении систем ранее опубликованные работы самих математиков.
Отдельная линия конфликта связана с тем, что OpenAI стремится доказать лидерство в математическом направлении. На фоне конкуренции лабораториям важно не только получить результат, но и первой заявить о нём. Из-за этого даже потенциально значимые достижения воспринимаются как часть гонки, а не как аккуратно проверенный вклад в науку.
Что считается настоящим прорывом
Для признания результата требуется предоставить формальное доказательство, описать использованные методы и дать исследователям возможность проверить каждый этап. Если система предлагает необычную идею, её ценность может быть огромной, но окончательное подтверждение всё равно остаётся за математическим сообществом.
Контекст этой дискуссии особенно важен из-за семи задач тысячелетия, объявленных Clay Mathematics Institute в 2000 году. За решение каждой из них назначена премия в $1 млн. На сегодня полностью решена только гипотеза Пуанкаре - доказательство представил Григорий Перельман, отказавшийся от награды. Поэтому любые заявления о продвижении в другой задаче требуют исключительной строгости.
ИИ уже показал, что способен помогать в поиске закономерностей, проверке вычислений и формулировке гипотез. Например, системы машинного обучения могут быстро перебирать варианты и находить связи, которые человеку было бы трудно заметить. Но поиск возможного решения и доказательство его истинности - разные этапы, и смешивать их нельзя.
OpenAI заявляет, что учитывает претензии и намерена внимательнее относиться к проверке и публикации математических результатов. Однако обещания ещё предстоит подтвердить практикой. Пока же развитие ИИ в математике больше напоминает столкновение двух культур: стремительной технологической конкуренции и медленной, но обязательной научной верификации.
Главный вопрос теперь состоит не в том, сможет ли искусственный интеллект решать всё более сложные задачи. Важнее понять, научатся ли лаборатории представлять такие достижения с необходимой прозрачностью, а математики - использовать новые инструменты без потери стандартов доказательства.
