For AI agents: the public content index is available at https://we0.ai/llms.txt, and the English article bundle is available at https://we0.ai/llms-full.txt.
For AI agents: the public content index is available at https://we0.ai/llms.txt, and the English article bundle is available at https://we0.ai/llms-full.txt.
For AI agents: the complete content index is available at https://we0.ai/llms.txt, the full English article bundle is available at https://we0.ai/llms-full.txt, and this page is available as Markdown at https://we0.ai/ru/articles/openai-math-release-backlash-ahm-statemen-ac66e132.md.
Математический релиз OpenAI от 6 октября 2026 года вызвал одну из самых острых дискуссий о том, что происходит, когда передовой искусственны...
Математический релиз OpenAI от 6 октября 2026 года вызвал одну из самых острых дискуссий о том, что происходит, когда передовой искусственный интеллект начинает создавать исследования быстрее, чем человеческие научные сообщества успевают их осмыслить.
OpenAI опубликовала сотни математических рукописей, созданных внутренней передовой моделью, охватывающих различные области математики и теоретической информатики. Изначально репозиторий содержал 722 рукописи, объединённые в 372 семейства результатов.
Релиз немедленно привлёк огромное внимание.
Некоторые математики увидели в нём историческое ускорение темпов открытий.
Другие обеспокоились тем, что сотни сложных аргументов были опубликованы до того, как эксперты-люди получили достаточно времени, чтобы понять, проверить, сопоставить с контекстом и объяснить их.
Самая заметная организованная критика исходила от Association for Human Mathematics (AHM), которая 7 октября опубликовала заявление с призывом к математикам прекратить сотрудничество с OpenAI и призвала к такому пониманию науки, в центре которого находится человеческое понимание.
Теренс Тао усилил распространение заявления, перепубликовав его в качестве гостевого материала в своём личном математическом блоге.
Эта деталь важна.
Тао не был автором заявления AHM, а публичное заявление AHM подписано рабочей группой по коммуникациям организации. В блоге Тао прямо указано, что это гостевая публикация, перепечатанная со страницы заявлений AHM.
Поэтому некорректно описывать эту историю как «Теренс Тао возглавил математиков, объявивших войну OpenAI».
Более точное описание выглядит так:
AHM опубликовала резко сформулированное заявление против модели релиза OpenAI, а Тао придал заявлению дополнительную публичность, перепечатав его.
Заявление AHM короткое, но его позиция необычно прямолинейна.
Организация утверждает, что массовая публикация математики, созданной ИИ, противоречит существующим научным нормам и более ранним рекомендациям независимой Консультативной группы по математике и искусственному интеллекту (AGMAI).
Основные возражения AHM не ограничиваются вопросом о том, корректны ли отдельные доказательства.
Заявление сосредоточено на самом процессе.
Его позицию можно свести к четырём пунктам:
В заключение AHM призывает математиков прекратить работу с OpenAI.
Это настоящий призыв к бойкоту.
Но его не следует путать с консенсусной позицией всего математического сообщества.
AHM — это членская организация с публичными обязательствами по защите математики, созданной людьми, и ограничению сотрудничества с коммерческими компаниями в сфере ИИ. Вступить в неё могут исследователи математического сообщества уровня аспирантуры и выше.
На момент последней проверки на публичной странице участников AHM было указано 809 членов, включая 532 участника её коалиции за математику без ИИ.
Это значимая организация, но она не является официальным представительным органом всех математиков.
Позднее Скотт Ааронсон прямо отметил то же различие: участники AHM говорят от собственного имени, а не от имени всего математического сообщества.
Спор становится понятнее, если изучить рекомендации AGMAI.
AGMAI — независимая группа, работающая при Институте перспективных исследований. В её состав входят такие математики, как Тимоти Гауэрс, Мартин Хайрер, Эдвард Виттен, Рави Вакил и другие.
OpenAI обратилась к некоторым участникам группы с предложением создать внешнюю консультативную группу, однако группа действует независимо и не получает оплаты от OpenAI.
29 сентября AGMAI опубликовала рекомендации «Ответственная публикация математики, созданной ИИ».
Уже в первом абзаце говорится, что группа не одобряет тестирование передовыми лабораториями ИИ сложных математических задач на проприетарных моделях, недоступных для более широкого научного сообщества.
Группа прямо призывает прекратить такую практику.
Именно на это впоследствии сослалась AHM.
Тем не менее OpenAI продолжила оценивать свою внутреннюю модель на открытых исследовательских задачах.
При этом OpenAI заявляет, что консультировалась с AGMAI по вопросу ответственной публикации результатов, когда эти результаты уже были получены.
Это два разных вопроса:
Должны ли передовые лаборатории ИИ тестировать проприетарные модели на открытых исследовательских задачах?
и:
Если у них уже есть значимые результаты, созданные ИИ, как эти результаты следует публиковать?
AHM утверждает, что OpenAI проигнорировала первый вопрос, а консультацию по второму использовала для придания релизу легитимности.
Позиция OpenAI заключается в том, что продолжение внутренней научной оценки важно для разработки более эффективных исследовательских инструментов, тогда как процесс публикации всё ещё можно улучшать с помощью отзывов сообщества.
Рекомендации AGMAI от 29 сентября представляют собой не просто сообщение «остановитесь».
Для математических результатов, созданных ИИ и ещё не понятых людьми, группа рекомендует лабораториям:
OpenAI реализовала некоторые из этих рекомендаций.
Компания опубликовала материалы в публичном репозитории GitHub с контролем версий и правилами цитирования.
Она выпустила формализации многих доказательств в Lean.
Компания опубликовала 10 сокращённых резюме рассуждений.
Она раскрыла примерные вычислительные затраты и статистику оценки.
Кроме того, OpenAI пообещала финансировать семинары, конференции и другие программы, которые помогут людям понять значимые результаты, созданные ИИ.
Однако релиз всё равно стал спорным из-за беспрецедентного масштаба и потому, что значительная часть работы ещё не была осмыслена математиками.
В первоначальный релиз вошли:
| Деталь релиза | Публичные данные OpenAI |
|---|---|
| Первоначальное число рукописей | 722 |
| Семейства результатов | 372 |
| Примерное число задач, поставленных модели | 4 000 |
| Средние вычислительные затраты на результат | около 3 часов эквивалента режима рассуждений ChatGPT Pro |
| Сокращённые резюме рассуждений | 10 |
| Формализации в Lean | Многие, но не все рукописи |
Официальный репозиторий определяет «семейство» как группу связанных статей, которая может включать основной результат, альтернативные доказательства, следствия или сопутствующие аргументы.
Это важно, потому что:
722 рукописи ≠ 722 независимые решённые задачи
Также OpenAI не заявляла, что внутренняя модель успешно справилась с каждой задачей, которую она пыталась решить.
Согласно репозиторию, во время оценки внутренней модели ей было поставлено примерно 4 000 задач.
Источник BAAI повторяет цифру из публикации Скотта Ааронсона «Математический апокалипсис» от 7 октября: примерно 8 000 попыток решения и около 5% успешных результатов.
Ааронсон написал, что, по всей видимости, именно это ему сообщили.
В собственном репозитории OpenAI сейчас указано другое число:
примерно 4 000 задач
Поскольку репозиторий является первичным источником данных о релизе, в этой статье в качестве основного ориентира используется цифра OpenAI.
Кроме того, не стоит рассчитывать простую «долю успеха», деля 372 на 4 000.
Семейство результатов не обязательно соответствует одной-единственной поставленной задаче, а в репозитории говорится, что каталог был отфильтрован и агрегирован с учётом значимости.
Изначальная цифра «722 рукописи» больше не является текущим количеством.
История репозитория OpenAI показывает, что ошибка в знаке сделала одну рукопись и две зависимые от неё статьи недействительными.
Три рукописи были отозваны.
OpenAI также внесла изменения в 14 других рукописей: исправила доказательства, формулировки, уточнила гипотезы, зависимости и ссылки.
Согласно последней проверке, репозиторий содержит:
719 рукописей
372 семейства результатов
Это важное свидетельство для обеих сторон дискуссии.
Для критиков это демонстрирует, почему массовая публикация до полного человеческого понимания может создавать проблемы контроля качества.
Для сторонников это показывает, что OpenAI поддерживает прозрачный процесс исправлений и отзывов, а не делает вид, будто первая версия релиза неизменна.
В репозитории сохраняются старые версии и публикуются уведомления об отзыве с объяснением конкретных пробелов.
Эмоциональный эффект релиза особенно хорошо виден в реакции специалистов по теоретической информатике.
Скотт Ааронсон назвал это событие «математическим апокалипсисом».
В своей публикации он перечисляет значимые утверждения в теории сложности, алгоритмах, теории чисел, математической физике и других областях.
Одним из наиболее впечатляющих лично для Ааронсона результатов стало заявленное доказательство гипотезы об уникальных играх (UGC).
Его жена Дана Мошковиц на протяжении значительной части своей карьеры работала над вопросами, связанными с UGC.
Опубликованная рукопись сопровождалась сертификатом Lean, однако Ааронсон подчеркнул, что формальная проверка — не то же самое, что человеческое понимание.
Первоначальная реакция Мошковиц заключалась не просто в том, что «доказательство неверно».
Напротив, она описала рукопись как чрезвычайно сложную для чтения.
Она указала на неясное использование предыдущих результатов, запутанные ссылки, незнакомые конструкции и изложение, из-за которого аргумент было почти невозможно понять без помощи ИИ.
В то же время её реакция не была исключительно негативной.
В публикации Ааронсона также цитируются её размышления о будущем, в котором математики с творческим видением смогут использовать ИИ для проверки и реализации идей, а также её слова о том, что у незнакомых конструкций может быть чему поучиться.
Это более сложная реакция, чем представление источника в духе «отчаяния».
Проблема заключается не только в том, может ли ИИ решить задачу.
Вопрос в том, способны ли люди содержательно осмыслить найденное ИИ.
Одно из важнейших различий в этой дискуссии — разница между:
формальной корректностью
и:
человеческим математическим пониманием
Lean может механически проверить, следует ли формальное доказательство из заявленных аксиом и ранее проверенных лемм.
Это мощная форма гарантии.
Но доказательство в Lean автоматически не отвечает на такие вопросы, как:
Опишите идею одной фразой, и We0 AI создаст сайт-витрину, страницы и CMS, а после запуска поможет привлечь клиентов и трафик.
Одна полная генерация проекта для бесплатной регистрации
Лучше всего попробовать один полный поток генерации и быстро увидеть первый черновик проекта.
Традиционная математика делает больше, чем просто подтверждает истинность.
Она строит вокруг истины интеллектуальную структуру, которую можно использовать повторно.
Именно это AHM и AGMAI подразумевают, когда подчёркивают значение человеческого понимания.
В объявлении OpenAI от 6 октября не говорится, что публикация репозитория завершает научный процесс.
Компания заявляет, что хочет использовать результаты для развития человеческого знания и будет финансировать:
OpenAI также сообщает, что изучает общественные альтернативы хранению материалов исключительно в репозитории, контролируемом компанией.
Компания обязалась улучшать будущие релизы.
Это включает совершенствование математического изложения и представления материалов.
По сути, аргумент OpenAI выглядит так:
Результаты уже существуют. Их публикация вместе с артефактами, исправлениями и формальными доказательствами позволяет сообществу начать их осмысление.
Контраргумент AHM таков:
Создание и публикация результатов быстрее, чем сообщество способно их понять, меняют саму исследовательскую экосистему, а наличие нагрузки по проверке не является нейтральным фактором.
Это не тот же самый спор, что «ИИ — это хорошо» против «ИИ — это плохо».
Речь идёт о конкурирующих взглядах на то, что следует считать ответственным научным прогрессом.
Заголовок BAAI представляет этот эпизод так, будто Тао «возглавил» коллективный бойкот.
Первичные источники не подтверждают такую формулировку.
В блоге Тао сказано:
Это гостевая публикация Association for Human Mathematics,
перепечатанная со страницы заявлений организации.
Само заявление подписано:
Association for Human Mathematics
Рабочая группа по коммуникациям
Имя Тао не указано в текущем публичном списке участников AHM.
Это не означает, что он не согласен со всеми проблемами, поднятыми AHM.
Тао неоднократно обсуждал вызовы, связанные с чрезвычайно быстрым развитием ИИ в математике, включая риск того, что он называл разновидностью «несварения доказательств»: результаты могут появляться быстрее, чем сообщество успевает их усвоить.
Но перепубликация заявления — не то же самое, что его написание, подписание или руководство организацией, которая его выпустила.
Самый сильный концептуальный раздел исходной статьи посвящён тому, что происходит после того, как сложная задача считается «решённой».
В традиционной математике важный результат часто становится началом многолетней вторичной работы:
Само доказательство — лишь начало.
Новый мощный метод может оказаться ценнее теоремы, которую он впервые доказывает.
Опасение заключается в том, что теперь ИИ способен создавать больше аргументов передового уровня, чем сообщество успевает осмыслить.
Это создаёт асимметрию:
Способность ИИ к генерации
↓
сотни доказательств
Способность экспертов-людей
↓
медленное чтение, проверка, объяснение и обучение
Если объём результатов растёт намного быстрее, чем понимание, исследователи могут тратить всё больше времени на интерпретацию математики, созданной машинами, вместо самостоятельного выбора направлений исследований.
AGMAI прямо формулирует это опасение.
В своём ответе от 6 октября группа заявляет, что будущее математических исследований не может сводиться только к тому, чтобы люди понимали результаты, отобранные и созданные лабораториями ИИ.
Математики по-прежнему должны иметь возможность самостоятельно выбирать вопросы и развивать направления, которые не определяются приоритетами оценки частной компании.
В публичном комментарии Янн ЛеКун выразил противоположную точку зрения.
Он утверждал, что математика вступает в новую эпоху, а не умирает.
С его точки зрения, по мере автоматизации формальных доказательств внимание людей может переключиться на:
Аналогия знакома:
Технология может сделать один человеческий навык менее центральным и одновременно расширить диапазон того, что люди способны делать.
С этой точки зрения автоматизированное доказательство не уничтожает математику.
Оно меняет сравнительные преимущества математиков-людей.
Скотт Ааронсон придерживается столь же неоднозначной позиции.
Он резко критикует компании в сфере ИИ, когда считает их поведение заслуживающим критики, но также не согласен с тем, что компании должны просто воздерживаться от решения открытых математических задач, потому что люди хотят решить их первыми.
Его вывод заключается в том, что математике придётся адаптироваться.
Пока ещё слишком рано говорить, сколько результатов от 6 октября сохранит свою нынешнюю форму после подробной проверки экспертами.
Сама OpenAI предупреждает, что в некоторых неформализованных результатах могут быть проблемы.
Три немедленных отзыва показывают, что осторожность оправданна.
В то же время полностью списать весь релиз как «ИИ-мусор» также сложно.
Некоторые рукописи имеют проверяемые машиной формализации в Lean.
Эксперты активно изучают ключевые результаты.
В сборнике содержатся утверждения о задачах, над которыми серьёзные исследователи работали годами.
Поэтому правильным стандартом не является ни слепое принятие, ни автоматическое отклонение.
Каждому результату необходим собственный путь проверки:
Рукопись, созданная ИИ
↓
формальная проверка, где это возможно
↓
чтение экспертами
↓
проверка литературы и оригинальности
↓
восстановление разъяснительного изложения
↓
принятие или отклонение сообществом
Этот процесс займёт время.
| Утверждение | Текущий статус |
|---|---|
| OpenAI опубликовала более 700 математических рукописей, созданных ИИ | Подтверждено |
| В первоначальном репозитории было 722 рукописи | Подтверждено |
| В текущем репозитории 719 рукописей | Подтверждено после 3 отзывов |
| В сборнике 372 семейства результатов | Подтверждено |
| Модель протестировали примерно на 8 000 задачах | Сообщалось Скоттом Ааронсоном, но в репозитории OpenAI указано около 4 000 |
| Средние вычислительные затраты составляли около 3 часов рассуждений ChatGPT Pro на результат | Подтверждено OpenAI |
| Многие рукописи имеют формализации в Lean | Подтверждено |
| Каждая рукопись формально проверена | Неверно |
| Каждый результат полностью понятен экспертам-людям | Нет |
| AHM призвала математиков прекратить работу с OpenAI | Подтверждено |
| Теренс Тао написал или возглавил заявление AHM | Первичные источники этого не подтверждают |
| Тао перепечатал заявление AHM в своём блоге | Подтверждено |
| AGMAI одобрила весь процесс OpenAI | Нет; группа прямо заявляет, что её роль не означает одобрения |
| OpenAI финансирует программы, помогающие людям понять результаты | Подтверждено |
| Все 372 семейства результатов уже являются принятыми математическими теоремами | Нет |
Вероятно, эта дискуссия переживёт конкретный репозиторий.
Если передовые модели продолжат совершенствоваться, математическому сообществу понадобятся рабочие процессы, способные развиваться вместе с ними.
Уже сейчас становятся очевидными несколько требований.
Для каждого результата следует указывать, какая модель его создала, какие промпты использовались, сколько вычислительных ресурсов было затрачено и какие изменения внёс человек.
По возможности доказательства должны сопровождаться проверяемыми машиной артефактами.
Корректного доказательства недостаточно, если эксперты не могут понять, почему оно работает.
Системам ИИ нужны более эффективные процессы для выявления связанных с результатом предыдущих методов и распределения авторства.
Научные результаты не должны полностью зависеть от инфраструктуры, контролируемой компанией, которая их создала.
Если лаборатория публикует сотни передовых результатов, бремя их объяснения не должно полностью перекладываться на неоплачиваемых академических исследователей.
Научное сообщество не сможет сохранять интеллектуальную независимость, если только несколько компаний будут иметь доступ к самым мощным математическим системам.
Эти положения гораздо ближе к реальной дискуссии AGMAI, чем упрощённый заголовок «люди против ИИ».
OpenAI опубликовала большой публичный репозиторий математических рукописей и доказательных артефактов, созданных внутренней передовой моделью. В первоначальный релиз вошли 722 рукописи, объединённые в 372 семейства результатов.
OpenAI отозвала три рукописи после обнаружения ошибки в знаке в одном аргументе, которая также повлияла на две зависимые статьи. В репозитории сохраняется история версий и публикуются уведомления об отзыве.
Первичные источники не подтверждают такое описание. Заявление было выпущено рабочей группой по коммуникациям Association for Human Mathematics, а Тао перепечатал его в качестве гостевой публикации в своём личном блоге.
AHM — это организация, выступающая за сохранение математики как интеллектуальной практики, основанной на человеческом участии, в эпоху ИИ. Вступить в неё могут исследователи уровня аспирантуры и выше, согласные с её обязательствами, включая ограничения на отдельные виды сотрудничества с коммерческими компаниями в сфере ИИ и на публикацию математических текстов, созданных ИИ.
AGMAI — независимая Консультативная группа по математике и искусственному интеллекту, работающая при Институте перспективных исследований. Она консультирует лаборатории ИИ по вопросам ответственного взаимодействия с математическими исследованиями, но не обладает полномочиями принимать решения за OpenAI.
AGMAI заявляет, что её консультативную роль не следует воспринимать как одобрение процесса, в результате которого были созданы эти материалы. Группа приветствовала конструктивное взаимодействие, но подчеркнула, что математическое сообщество должно самостоятельно оценить, насколько хорошо были выполнены её рекомендации.
Нет. OpenAI заявляет, что формализации в Lean существуют для многих доказательств, но не для всех. В репозитории прямо предупреждается, что некоторые неформализованные результаты могут содержать ошибки.
Формально корректное доказательство устанавливает логическую обоснованность, но математика также зависит от объяснений, повторно используемых идей, концептуальной структуры, исторического контекста и новых исследовательских направлений. Человеческое понимание превращает отдельную теорему в часть живой дисциплины.
Математический релиз OpenAI от 6 октября — одновременно исследовательская веха и стресс-тест для норм математической науки. Компания опубликовала сотни рукописей, созданных ИИ, многие из которых сопровождаются формальными артефактами, однако человеческое понимание не успевает за объёмом результатов.
AHM ответила призывом к математикам прекратить работу с OpenAI и сохранить научную систему, в центре которой находится человеческое понимание. Тао усилил распространение этого заявления, перепечатав его, но не был его автором и не возглавлял его подготовку. AGMAI занимает более процедурную позицию: она выступает против тестирования проприетарных моделей на открытых исследовательских задачах, одновременно публикуя подробные рекомендации по ответственной публикации результатов, если такие результаты уже существуют.
Сам репозиторий продолжает развиваться. Три рукописи были отозваны, другие исправлены, а экспертные сообщества начали гораздо более медленную работу по пониманию того, что именно обнаружила модель.
Главный конфликт заключается не просто в противостоянии математиков-людей и ИИ. Вопрос в том, может ли производство новых теорем расти намного быстрее, чем человеческие процессы, необходимые для их проверки, объяснения, включения в контекст и выбора будущего направления математики.
Начните с одной фразы и получите полноценный сайт за считанные минуты.
