На Международном конгрессе математиков (ICM 2026) в Филадельфии выдающийся математик Теренс Тао представил доклад «Математика в эпоху ИИ». Он предупредил о переходе от дефицита доказательств к их избытку («proof glut»), когда скорость генерации решений искусственным интеллектом начинает превышать возможности человеческой проверки и осмысления.
Что произошло
Теренс Тао на докладе в рамках ICM 2026 описал фундаментальный сдвиг в научной деятельности. В качестве доказательства эффективности новых методов он привел данные проекта First Proof от мая 2026 года: ИИ смог решить 7 из 10 исследовательских задач на уровне, пригодном для публикации, при этом стоимость одной задачи составила от 10 до 1000 долларов.
Контекст
Текущая ситуация сопоставима с кризисом оснований математики начала XX века. Однако современный вызов заключается не в логических противоречиях, а в несоответствии темпов. Математический процесс состоит из пяти стадий: получение, проверка, изложение, принятие и канонизация. ИИ радикально ускоряет первую стадию, создавая «узкое место» на всех последующих этапах человеческой деятельности.
Почему это важно для индустрии
Научное сообщество сталкивается с риском «индигестии доказательств» (proof indigestia) — ситуации, когда объем формально верных, но не понятных человеку решений превышает возможности рецензирования. Это требует внедрения новых стандартов (например, Лейденской декларации), инструментов формальной верификации и интеграции LLM с формальными языками математики для обеспечения точности выводов.
Почему это важно для пользователей
ИИ перестает быть просто калькулятором и становится полноценным участником научного процесса. Для исследователей это означает переход к гибридным рабочим процессам, где критически важным навыком становится способность человека интерпретировать и объяснять результаты, полученные нейросетями.
Что пока неизвестно / ограничения
Различия в акцентах: технические специалисты фокусируются на автоматизации верификации, в то время как гуманитарные и юридические аспекты касаются трансформации социальных институтов, стандартов рецензирования и вопросов интеллектуальной собственности.
Источники
Автор
Look at AI, редакция