12 сентября 2026

На фоне скандала этой недели с решением проблемы Навье-Стокса то ли моделью OpenAI, то ли живыми математиками, двадцать пять лауреатов Филдсовской премии, в том числе Теренс Тао, Петер Шольце, Мартин Хайрер и Марина Вязовска, подписали декларацию «A Severe Misalignment of AI in Mathematics». Подписанты признают, что не успели провести широкие консультации, как это было с Лейденской декларацией, и объясняют спешку срочностью. Документ открыт для новых подписей.

Знаменитые проблемы, по декларации, работали как маяки: их решение было признаком новых идей и методов, которые сообщество затем годами разбирало в докладах, обсуждениях и упрощениях, пока результат не попадал в учебник. AI-компании оптимизируют сам факт решения, и эта связка рвётся: ответы объявляются в спешке, без аккуратной записи, выделения новых методов и ссылок на предшественников, что порождает вопросы атрибуции и плагиата. Без математиков, готовых встраивать такие результаты в канон, идеи, по формулировке подписантов, «никогда не станут полностью живыми», а цепочка передачи знания между людьми прервётся.

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

Конечно, всегда можно сказать, что ведущие математики объединились в защиту своей области от сплошной автоматизации, но реальную проблему это не снимает — вопрос не в том, чтобы заглянуть в конец задачника и узнать ответ, а чтобы научиться решать задачи.