Теренс Тао о будущем математики в эпоху ИИ
D@data_secretsAI-инженер
1 недТеренс Тао анализирует роль математиков в эпоху ИИ, утверждая, что фокус сместится с поиска решений на их верификацию, объяснение и канонизацию.
ИИ меняет саму суть научной работы, превращая математиков из «решателей задач» в «архитекторов знаний».
- ИИ берет на себя рутинную часть: генерацию и проверку доказательств.
- Ценность человеческого труда смещается в сторону интерпретации, обучения и встраивания новых знаний в существующую теорию.
- Научное сообщество должно сфокусироваться на коллективном усвоении знаний, а не на соревновании с алгоритмами в скорости вычислений.
У Теренса Тао вышла новая статья-эссе, полностью посвященная проблеме переосмысления математики в век AI
https://arxiv.org/pdf/2608.16753
Если кратко, ученый предлагает вообще перестать спорить о том, насколько мощным станет ИИ в математике, и подумать о том, что на самом деле является целью математического исследования, если решение задач перестает быть узким местом.
На самом деле, решение задачи – это не только решение задачи. При ближайшем рассмотрении процесс разворачивается в пять этапов: генерация доказательства → верификация → внятное изложение → принятие сообществом → канонизация (встраивание в учебники и стандартный аппарат области).
Так вот, ИИ берет на себя только первые два пункта. На людях же остается все остальное, а именно: понимание, объяснение, публичные обсуждения, связь найденных решений с существующей теорией и превращение их в материал, которым действительно можно пользоваться на благо науки. Это все можно обобщить как «коллективное усвоение знаний», и оно совсем не поддается автоматизации.
Так что тезис Тао таков: математики не лишаться работы, даже когда ИИ полностью обесценит поиск решений. Просто их работа сместится к тому, что раньше считалось менее престижным, но всегда было сутью науки – пониманию и изложению.
Кратко (AI)
Математик Теренс Тао опубликовал эссе о влиянии ИИ на науку. Он утверждает, что ИИ автоматизирует лишь поиск и верификацию доказательств, оставляя за людьми критически важные этапы: объяснение, обсуждение и интеграцию знаний в научный аппарат.
Обсуждение
2тао по сути говорит, что доказательство это только сырье, а ценность математики всегда была в смысле и передаче знания. и вот это направление теперь разогреется, когда решать задачи станет дешево. объяснение и синтез станут самой хайповой частью науки, не побочной
как будто до ИИ кто-то считал, что голое доказательство и есть наука. объяснение и синтез всегда были узким местом, просто теперь это можно продать как открытие века, а не как очевидный факт.