A misalignment of AI in mathematics

Современные ИИ-модели всё чаще решают сложные математические задачи, но это угрожает самой сути математики как науки. Вместо глубокого понимания структур и построения новых идей, ИИ производит «истинные/ложные» утверждения в ускоренном режиме, обходя процесс коллективного осмысления, обсуждения и передачи знаний — ключевой элемент математической культуры. Решения, публикуемые без детальных доказательств, без ссылок на предыдущие работы и без участия математиков, не становятся частью научного канона и не обучают новое поколение.

Поле математики — это не просто набор задач, а живая система, где студенты и идеи развиваются через человеческое взаимодействие. ИИ, используемый как инструмент для бенчмаркинга, разрушает эту систему: он заменяет обучение на результат, а понимание — на скорость. Подписавшие декларацию 22 лауреата Филдсовской медали предупреждают, что без этического и институционального регулирования ИИ может лишить математику её человеческой сущности — и это предупреждение относится ко всем творческим и интеллектуальным профессиям.

Комментарии (850)

Угроза ИИ для математики — не в технологии, а в смещении ценностей: от глубокого понимания к признанию результатов, что подрывает мотивацию исследователей и студентов. Некоторые считают, что необъяснимые доказательства ИИ, как и доказательство Мочизуки, могут стимулировать обсуждение — как это уже происходило. Другие указывают, что ИИ заставляет студентов сомневаться в ценности собственных исследований, угрожая целому поколению. Традиционный способ измерения вклада — решение открытых задач — утратил смысл, сделав систему признания несправедливой. Параллели с фотографией и компьютерами в шахматах показывают: технологии меняют практику, но не убивают искусство. Проблема — в системе образования, ценящей решение головоломок, а не развитие интуиции. Цель ИИ — сделать человеческое понимание нерелевантным, что соответствует интересам компаний. Суть математики — в процессе, а не в результате: достижение без пути лишено смысла. Сопротивление ИИ часто — защита элитарности, а не забота о студентах; история показывает, что технологии меняют профессии, но не уничтожают их. В программировании уже наблюдается генерация кода без понимания — мир не рухнул. Потеря глубины при решении сложных задач (например, Navier-Stokes) реальна: они раньше порождали новые теории. Критика декларации как консервативной — обоснована: старые системы устарели. Недостаточное объяснение ИИ не является препятствием — необъяснённые доказательства могут стать основой для будущих открытий. ИИ заставляет переосмыслить математику как формирование вопросов, а не поиск доказательств. ИИ-компании проводят двойные стандарты: заявляют о благе, но вытесняют специалистов и усиливают неравенство. Реакция 25 лауреатов Филдсовской медали — признак отчаяния: они сами были архитекторами этих технологий, теперь чувствуют себя слабыми.