На вопрос журнала Nature: «Что ждет математику как научную дисциплину в эпоху искусственного интеллекта?», Теренс Тао ответил: «Характер работы сильно меняется. Аспиранту, который откажется иметь дело с системами ИИ и захочет доказывать все так, как мы делали это раньше, к сожалению, придется трудно. А вот те ученые, которые понимают математику в традиционном ключе, но при этом умеют пользоваться новыми инструментами, смогут добиться серьезного успеха. Нам действительно нужно как-то отказаться от традиционных представлений о том, что такое интеллект. Я думаю, что у нас довольно антропоцентричный подход к размышлениям о всех видах интеллектуальных задач, и мы должны признать, что точка зрения человека на задачу — не единственная».
Крупнейший математик Теренс Тао считает, что ИИ уже изменил работу ученых
Искусственный интеллект стремительно меняет математику, вызывая споры о будущем этой науки. Один из самых известных в мире математиков Теренс Тао активно тестирует большие языковые модели, отмечая, что они переходят от решения школьных задач к реальной помощи ученым. Он считает, что математика стала для ИИ ключевой областью, поскольку здесь результаты можно легко проверить, а риски ниже, чем в других сферах.
Теренс Тао. The Atlantic
Задачи Пола Эрдёша. Эрдёш был одним из самых продуктивных и эксцентричных математиков XX века, опубликовавшим около 1500 научных статей. Он часто предлагал денежные вознаграждения за решение своих задач. Размер таких вознаграждений варьировался от 25 до нескольких тысяч долларов. Сегодня эта коллекция задач, включающая как простые, так и крайне сложные гипотезы, представляет собой идеальный полигон для проверки того, насколько алгоритмы способны находить новые, нестандартные доказательства в неисследованных областях.
Теренс Тао за работой.
Теренс Тао считает, что современные алгоритмы не заменят математиков, а станут их ассистентами, взяв на себя рутинную работу и быстрый анализ гипотез.
Первый большой успех ИИ на поприще математики
Сам Тао выделяет следующие особенности разных платформ: ChatGPT хорош для строгих выкладок, Gemini генерирует подробные тексты, а Claude отличается естественным стилем общения. Один из ярких успехов ИИ — решение задачи Эрдёша № 1196, когда модель нашла короткое и элегантное доказательство, пропущенное исследователями.
Тао (ему здесь 10 лет, но он уже студент) и один из величайших математиков XX века Пал Эрдёш в университете Аделаиды, 1985 год
По мнению Тао сегодня одним из недостатков инструментов искусственного интеллекта является то, что с ними можно общаться только на ограниченном объеме — контекстное окно довольно быстро исчерпывается, а постоянной памяти у них нет, и они не помнят сегодня, что делали вчера. Определение новых понятий и выбор задач для решения, вероятно, еще некоторое время останутся прерогативой математиков-людей. Существующие системы искусственного интеллекта для этого не предназначены. Но в перспективе это ограничение не выглядит непреодолимым для ИИ.
Свое видение искустсвенного интеллекта Теренс Тао изложил в статье, размещенной на сервере arxiv.org.