Терренс Тао о кризисе математики в эпоху ИИ: лекция на ICM 2026
В своей публичной лекции на Международном конгрессе математиков Терренс Тао обсудил, как ИИ меняет фундаментальные подходы к математике и какие вызовы это породило.
24 июля 2026 года на Международном конгрессе математиков (ICM) в Сиэтле прошла публичная лекция выдающегося математика Терренса Тао. В своей речи он назвал текущий период «вторым кризисом» в истории математики – после появления в 1931 году теоремы Гёделя о неполноте. По словам Тао, этот кризис вызван активным проникновением искусственного интеллекта в теорию доказательства, автоматическое построение теорем и генерацию новых гипотез.
Лектор подчеркнул, что современные системы машинного обучения, такие как DeepMind AlphaFold, AlphaZero и новые модели автодоказательства, уже способны находить доказательства, недоступные человеку, и предлагать новые пути решения старых открытых задач. Однако Тао предупредил о рисках: переоценка машинных выводов, утрата интуитивного понимания и возможное снижение качества математической культуры.
Он предложил несколько стратегий адаптации: интеграцию ИИ‑инструментов в учебные программы, развитие гибридных команд «математик‑инженер», а также создание открытых платформ для совместного верифицирования машинных доказательств. По его мнению, будущее математики будет определяться тем, насколько успешно сообщество сможет сочетать человеческую креативность с вычислительной мощью.
Статья‑перевод опубликована на Habr ML (https://habr.com/ru/articles/1063198/), где можно ознакомиться с полным текстом лекции и комментариями экспертов.
Для разработчиков ИИ и студентов это сигнал о росте спроса на инструменты автоматизированного доказательства и гибридные навыки «математика‑программист». Возможности включают создание новых моделей для генерации и проверки теорем, но важно сохранять критическое мышление и не полагаться полностью на машины.
