Я активно использую искусственный интеллект в своей работе.
Читаю курсы об ИИ в образовании, проектирую учебные модули с ИИ-сопровождением, применяю генеративные модели для подготовки материалов. Это не позиция наблюдателя со стороны — это ежедневная практика.
Именно поэтому я считаю тему аудита ИИ одной из важнейших для будущего физико-математического образования.
Не потому, что ИИ плох. А потому, что он слишком хорош в том, чтобы давать убедительные ответы. И слишком убедителен в том, чтобы мы перестали их проверять.
Математика — это не только то, чему мы учим.
Это ещё и то, чем мы проверяем. На протяжении двух с половиной тысяч лет она развивала механизмы организованного сомнения: доказательство, независимую проверку, ответственность автора. В эпоху ИИ эти механизмы становятся не академической традицией, а практической необходимостью.
Правильный результат — ещё не понимание.
Задача этого раздела — вернуть у человека привычку проверять.
Раздел «Аудит ИИ» — это не критика технологий и не призыв к их ограничению.
Это попытка зафиксировать границы: где ИИ усиливает мышление, а где подменяет его.
Где можно делегировать вычисления, а где опасно перестать выполнять работу самому. Где машина даёт корректный ответ, а где — убедительную ошибку, замаскированную под рассуждение.
В основе раздела — конкретные разборы.
Ошибки нейросетей в математических рассуждениях. «Плохие вопросы», на которые ИИ отвечает блестяще, не замечая, что задача поставлена неверно. Границы делегирования, которые важно обозначить, пока мы ещё можем их контролировать.
Этот раздел существует не для того, чтобы отказаться от ИИ.
А для того, чтобы сохранить то, что делает решение человеческим: способность проверить, усомниться, обосновать и — если нужно — сказать «нет».
Лейденская декларация
В июне 2026 года группа математиков из пятнадцати университетов опубликовала Лейденскую декларацию по искусственному интеллекту и математике.
Документ поддержал Международный математический союз — ведущая мировая организация математического сообщества.
Декларация не призывает запретить ИИ.
Она призывает к коллективной ответственности: прозрачно раскрывать использование инструментов, сохранять человеческую ответственность за правильность результатов, защищать независимую проверку и не поддаваться т.н. хайпу.
Среди подписавших — математики, компьютерные учёные, философы.
Я подписал эту декларацию, потому что вижу в ней не защиту профессии от технологий, а защиту культуры понимания. Того самого интеллектуального иммунитета, который математика формировала веками и который сегодня оказался под угрозой.
Идеи декларации выходят далеко за пределы математики.
Они применимы к образованию, к науке в целом и к тому, как мы учим следующее поколение работать с ИИ — не вместо мышления, а вместе с ним.
Я не против искусственного интеллекта. Я против того, чтобы мы перестали проверять. Аудит ИИ — это не недоверие к технологиям и не попытка от них отказаться. Это признание простого факта: чем убедительнее ответ машины, тем важнее сохранить способность сомневаться. Математика даёт нам язык для этой проверки. Лейденская декларация напоминает, что ответственность за правильность остаётся на человеке. А образование — это то место, где привычка проверять либо сохраняется, либо теряется. Этот раздел существует для того, чтобы её сохранить.