Тереенс Тао поделился взглядом на математику в эпоху ИИ: люди должны сосредоточиться на понимании, а не только на создании доказательств
Тереенс Тао, математик и лауреат Филдсовской премии, опубликовал аналитическую статью о будущем математики в условиях растущей роли ИИ.
Академическое сообщество и пользователи сайта Hacker News активно обсуждают статью «Mathematics in the age of AI» (препринт arXiv:2608.16753) Тереенса Тао (Terence Tao), лауреата Филдсовской премии, основанную на его публичном выступлении на Международном конгрессе математиков (ICM 2026).
В своей работе Тао предлагает сместить фокус с бесконечных споров о том, сравняется ли ИИ по способностям с человеком, на более глубокие вопросы о целях и истинной ценности математических исследований теперь, когда инструменты искусственного интеллекта способны решать задачи исследовательского уровня.
Ключевой тезис заключается в том, что математическому сообществу следует перенести акцент с генерации доказательств («Proof Generation», с которой ИИ справляется быстро) на их осмысление («Proof Digestion» — понимание, ясность объяснения и проверку человеком). Он также предлагает правило: научная работа не должна приниматься или публиковаться, если автор не способен объяснить доказательство на экспертном уровне так, чтобы его понял человек, даже если оно прошло автоматическую верификацию (Formal Verification).
Отражает мнение эксперта мирового уровня об адаптации академических кругов и образования к изменениям базовых рабочих процессов под воздействием ИИ, что полезно для подготовки научных и технологических кадров.