В X многие комментаторы назвали заявление ассоциации математиков AHM против публикации OpenAI примерно как "агония" кожаных математиков. На самом деле парадокс увидеть математиков в роли неолуддитов, но ровно это и происходит. Фактически ассоциация математиков призывает прекратить использование ИИ математиками. 😂
Масштаб паники математиков довольно понятный, т.к. 722 работы, что опубликовал OpenAI были на деле решения из примерно 4000 всех ключевых задач современной математики. Агенты просто выбрали какие из них могут быстро решить. Значительная часть этих проблем ожидала решения более 50 лет. Однако рою ИИ агентов потребовалось несколько дней, чтобы решить примерно 20% всех проблем математики. Значительная часть работы агентов OpenAI уже прошли строгую Lean-проверку. Lean в математических работах — это язык программирования и интерактивный помощник доказательств (proof assistant), в котором математические определения, утверждения и доказательства записываются в формальном виде и проверяются алгоритмически. Он особенно известен благодаря библиотеке формализованной математики Mathlib.

Само заявление математиков ниже, но уже очевидно, что безработица математиков в процентном отношении будет выше, чем безработица фотомоделей или программистов, на работу которых тоже покушается ИИ, но не может ее сделать с такой легкостью, как ему дается математика топ-класса.

———
Вчера, 6 октября 2026 года, компания OpenAI, которая в настоящее время защищается от судебных исков по обвинениям в незаконном плагиате, нарушении авторских прав и размывании товарного знака, опубликовала репозиторий рукописей, предположительно содержащих решения ряда важных математических задач.

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

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

Публикация более 700 файлов одновременно — это не демонстрация научной работы, а демонстрация власти. Мы призываем математиков прекратить сотрудничество с OpenAI и вернуться к научному видению, в центре которого находится понимание человека.
https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/