От «Математики 1.0» к «Математике 2.0»
10 октября 2026 года в Калифорнийском технологическом институте (Caltech) прошла публичная лекция Теренса Тао, материалы которой были опубликованы на его личном блоге. Доклад, изначально планировавшийся как «Машинно-ассистированное доказательство» в мае 2026 года, претерпел значительные изменения под влиянием последних событий в области искусственного интеллекта. Тао структурировал свое видение, разделив историю математики на три ключевые эпохи, определяющие роль ИИ в современной науке.
Эволюция методов: сравнительный анализ
В ходе выступления Тао детально разобрал переход от традиционных методов к гибридным системам. Он выделил следующие характеристики эпох, которые можно систематизировать в сравнительную таблицу:
| Параметр | Math 1.0 (Традиционная) | Math 2.0 (Новая парадигма) |
|---|---|---|
| Основной инструмент | Человеческий интеллект, бумага, перо | Симбиоз человеческого понимания и ИИ-инструментов |
| Роль ИИ | Отсутствует или минимальна (калькуляторы) | Активный соавтор, поддерживающий сообщество и понимание |
| Фокус | Ручное доказательство теорем | Глубокое понимание, применение в реальном мире, выравнивание (alignment) |
| Критика текущего момента | — | Чрезмерный акцент на автоматическом решении открытых задач без понимания сути |
Критика «автоматизации ради автоматизации»
Тао выразил обеспокоенность текущим состоянием, которое он описывает как промежуточную стадию, характеризующуюся «чрезмерным акцентом на автоматическое решение открытых проблем с помощью ИИ». По мнению лауреата Филдсовской премии, такой подход рискует подменить собой настоящее математическое понимание. В модели «Math 2.0» ИИ-инструменты должны служить не просто для генерации доказательств, а для поддержания внутренней структуры математического сообщества и углубления понимания того, как математика применяется для решения реальных задач и обеспечения безопасности ИИ.
Живое резюме и открытые вопросы
Содержание лекции было интегрировано Тао в его «живое резюме» (living summary) взглядов на искусственный интеллект, которое он регулярно обновляет. Этот документ, поддерживаемый с помощью ИИ, становится централизованным источником его позиции по вопросам надежности, этики и будущего роли формальных методов, таких как Lean Theorem Prover, в математике. Слайды лекции доступны для публичного ознакомления, что позволяет широкой аудитории изучить аргументацию эксперта в контексте стремительного развития генеративных моделей в науке.
Источник: Wordpress ↗