- Теренс Тао сообщил, что ИИ помог решить около 50 задач из каталога Эрдёша, но примерно 600 задач остаются открытыми.
- Период полностью автономных решений, когда модель справлялась сама, по словам Тао, уже закончился.
- К 2026 году ИИ стал для Тао надежным помощником в подготовке статей: с ним такую работу можно делать примерно в пять раз быстрее.
Теренс Тао, один из самых известных математиков мира, подвел промежуточный итог использования ИИ в математике. По его словам, за последние месяцы модели помогли закрыть около 50 задач из каталога Эрдёша, однако еще порядка 600 задач остаются нерешенными. При этом этап, когда системы могли самостоятельно доводить решение до конца без участия человека, по его оценке, уже завершился.
Тао рассказал, что знает как минимум о трех попытках прогнать передовые модели сразу по всему каталогу задач. Такие системы умеют подбрасывать отдельные идеи, указывать на уже существующие решения в научных работах и помогать с поиском подходов. Но новых устойчивых примеров, где ИИ в одиночку решил бы задачу с нуля, он сейчас не видит. В систематических прогонах, как отметил математик, успешный результат достигается лишь в 1–2% случаев, а заметными становятся в основном единичные удачи.
Чтобы объяснить ограничение нынешних моделей, Тао сравнил математику с движением по горному хребту в темноте. Люди, по его словам, постепенно строят карту, запоминают удачные ходы и могут закрепляться на промежуточных этапах. ИИ действует иначе: он способен на резкий скачок и иногда перепрыгивает низкие препятствия, но не умеет надежно удерживать частичный прогресс. Если решение не найдено сразу, модель часто не может развить промежуточный результат в полноценное доказательство.
При этом Тао признал, что в роли помощника ИИ уже приносит ощутимую пользу. Он использует модели для подготовки графиков, кода и обзора литературы, и в таком режиме работа над статьями занимает у него значительно меньше времени. Однако ключевая часть математического исследования, где нужно пройти самый трудный участок рассуждений, по-прежнему остается за человеком. По формулировке Тао, модели делают статьи шире по охвату, но не добавляют им глубины в центральной идее.
Еще в 2023 году Тао предполагал, что к 2026 году ИИ станет надежным соавтором в научной работе. Теперь он говорит, что этот прогноз в части вспомогательных задач уже сбылся, хотя полностью самостоятельного математического мышления у моделей он не видит.
Для исследователей ИИ уже полезен как инструмент ускорения рутинной части работы: поиска публикаций, подготовки кода и оформления результатов. Но в задачах, где нужен длинный ход рассуждений и накопление промежуточных идей, полностью полагаться на модель пока нельзя.
