Теренс Тао: математики останутся востребованы, даже когда ИИ научится решать всё.
Мы изучили новую статью-эссе Теренса Тао, посвященную переосмыслению математики в эпоху ИИ. Работа опубликована на arXiv.
Ученый предлагает перестать спорить о том, насколько мощным станет ИИ в математике, и подумать о настоящей цели математического исследования, если решение задач перестает быть узким местом.
Пять этапов математической работы
По мнению Тао, решение задачи не сводится только к поиску ответа. Процесс разворачивается в пять этапов:
- генерация доказательства;
- верификация;
- внятное изложение;
- принятие сообществом;
- канонизация, то есть встраивание в учебники и стандартный аппарат области.
ИИ берет на себя только первые два пункта. Людям остаются понимание, объяснение, публичные обсуждения, связь найденных решений с существующей теорией и превращение их в материал, которым действительно можно пользоваться на благо науки.
Эту работу Тао обобщает как «коллективное усвоение знаний». Оно, по его словам, совсем не поддается автоматизации.
Главный тезис статьи: математики не лишатся работы, даже когда ИИ полностью обесценит поиск решений. Их деятельность сместится к тому, что раньше считалось менее престижным, но всегда было сутью науки: к пониманию и изложению.
Ещё новости:
