Терренс Тао, профессор математики в Калифорнийском университете в Лос-Анджелесе, опубликовал на arXiv эссе под названием «Mathematics in the age of AI» («Математика в эпоху ИИ»). Текст основан на публичной лекции, прочитанной на Международном конгрессе математиков (ICM) 2026 года, и подготовлен для сборника трудов конгресса.
Работа посвящена вопросу, как математическое сообщество может отвечать на появление инструментов искусственного интеллекта, способных выполнять исследовательские задачи уровня профессиональной математики. Вместо того чтобы спорить о том, насколько далеко продвинутся возможности таких систем, эссе принимает за отправную точку гипотезу об их неизбежном появлении и переходит к другому, ортогональному вопросу: какими на самом деле являются цели и ценности математического исследования.
В качестве кейса для разбора выбрана составляющая математики, связанная с решением задач — то есть тот аспект работы математика, который наиболее очевидно поддаётся автоматизации и потому чаще всего оказывается в центре дискуссий об ИИ.
Abstract: An essay, based on a public lecture delivered at the 2026 International Congress of Mathematicians, on how the mathematical community might respond to the arrival of artificial intelligence tools that are capable of performing research-level mathematical tasks. Rather than debating the capabilities of such tools, we condition on the hypothesis that these capabilities will arrive, and examine instead a question that is orthogonal to it: what the goals and values of mathematical research actually are. The problem-solving component of mathematics is used as a case study.
Эссе объёмом 12 страниц включает четыре иллюстрации и относится к разделу «History and Overview» (математика: история и обзор) на arXiv. Среди классификаций MSC указаны как основная общая категория 00A30, так и разделы, связанные с историей математики (01A80) и вычислительными аспектами (68T01, 68V20, 68V35) — последние отражают связь текста с темами теоретической информатики и формальной верификации, которые всё чаще пересекаются с математическими исследованиями благодаря системам автоматического доказательства теорем.
Контекст публикации
Терренс Тао — один из самых заметных ныне работающих математиков, лауреат Филдсовской премии, известный также активной публичной позицией по вопросам применения ИИ-инструментов (в частности, систем формальной верификации типа Lean) в математических исследованиях. Публикация эссе на площадке ICM 2026 подчёркивает, что вопрос влияния ИИ на математику как дисциплину рассматривается сообществом не как гипотетический, а как актуальный для обсуждения на самом высоком профессиональном уровне.
Статья была отправлена 17 августа 2026 года и доступна в виде PDF и экспериментальной HTML-версии на arXiv.