Массовый выпуск OpenAI по математике вызывает опасения по поводу карьер среди академических математиков

В вечер 6 октября 2026 года компания OpenAI открыла публичный репозиторий, содержащий 722 математических рукописи, сгруппированные в 372 семейства задач, созданные неопубликованной внутренней моделью, согласно технологическому изданию Unite.AI. Компания заявила, что поставила системе примерно 4000 открытых задач в целом и опубликовала только подмножество, которое она сочла достойным публикации, охватывая алгебру, теорию чисел, топологию, теоретическую информатику и математическую логику.

Что опубликовала OpenAI

Издание Unite.AI сообщило, что обучение внутренней модели началось 28 августа 2026 года, а прогонка оценки была запущена 1 сентября. Модель, как сообщалось, произвела формализованное в Lean доказательство, адресующее вопрос сингулярности Навье-Стокса — одну из семи проблем тысячелетия Математического института Клея — примерно 5 сентября, при этом OpenAI объявила результат публично 8 сентября. Компания заявила, что не будет искать связанный с этим приз в размере 1 миллиона долларов. Fortune сообщила, что OpenAI также заявила о частичном прогрессе по трем другим проблемам тысячелетия в пакете от 6 октября, не решив их полностью.

Не каждая рукопись поставлялась с проверкой, проверенной машиной. Unite.AI отметил, что многие, но не все статьи включали формализации в помощнике проверки Lean, который автоматически проверяет каждый логический шаг; неформализованные результаты несут более высокий риск скрытых ошибок. Fortune сообщила, что к 8 октября OpenAI уже изъяла по крайней мере три из опубликованных решений после того, как были обнаружены ошибки.

Лауреат премии Филдса говорит, что он плакал

Выпуск ударил по некоторым исследователям лично. Французское издание SenePlus сообщило, что Гюго Дюминиль-Копэн, который выиграл премию Филдса в 2022 году за работу над фазовыми переходами в статистической физике, обнаружил, что 16 его собственных открытых исследовательских вопросов были среди задач, которые, как утверждала OpenAI, она решила, сказав, что компания фактически положила конец этому направлению исследований. Он сказал, что он плакал в ночь со вторника, 6 октября, на 7 октября, до такой степени, что разбудил свою дочь.

Согласно SenePlus, Дюминиль-Копэн утверждал во время видеоконференции, организованной Французским математическим обществом 8 октября, что цель исследователя не только доказывать теоремы, но и обеспечивать понимание для других людей. Он сказал, что больше всего беспокоится о начинающих математиках, которых, как он опасался, будет затронута больше всего, поскольку неформальная культура циркуляции идей и частичных результатов среди коллег разрушается, если математики начинают скрывать работу из-за конкурентного давления.

Математики дают сдачу

Выпуск вызвал открытое заявление от Ассоциации гуманитарной математики (AHM), группы, чья Коммуникационная рабочая группа опубликовала его как приглашенный пост в блоге математика Теренса Тао 7 октября. Заявление сказало, что математики не просили это тело работы и что OpenAI игнорировала предыдущее руководство от Консультативной группы по математике и искусственному интеллекту, независимого органа, который советует, как компании с ИИ должны тестировать и публиковать математические утверждения, согласно заявлению AHM. Заявление описало выпуск более 700 файлов одновременно как отражающий масштаб ресурсов OpenAI, а не тщательный научный обзор.

Fortune сообщила, что Теренс Тао, написав в Mastodon, сказал, что эпизод отмечает конец того, что он называет Math 1.0, утверждая, что проблемы все чаще решаются пользователями ИИ, которые не интересуются более широкой областью и что дисциплина должна придавать больше значения изложению и построению сообщества, а не только решению задач. Математик Нью-йоркского университета Тристан Бакмастер, который ранее высказал опасения по поводу работы Навье-Стокса, сказал газете The New York Times, процитированной Fortune, что он подозревал, что некоторые из опубликованных результатов расширили предыдущую работу других математиков до завершения без надлежащего признания.

Математик Колумбийского университета Питер Вуа, написав в своем блоге Not Even Wrong, описал выпуск как плохо организованный и сказал, что OpenAI игнорировала рекомендации консультативной группы перед тем, как переложить ответственность за сортировку результатов на математическое сообщество. Вуа определил систему, стоящую за статьями, как модель, которую он называл 'Astra'. Комментаторы его поста сказали, что многие из генерируемых ИИ доказательств были технически плотными, но предлагали мало математической интуиции или нового теоретического понимания, даже когда они были правильными.

Не новая борьба

Трение между OpenAI и математиками предшествует выпуску в октябре. TechCrunch сообщила, что в октябре 2025 года вице-президент OpenAI Кевин Вайл опубликовал — и позже удалил — утверждение, что GPT-5 нашел решения для 10 ранее нерешенных проблем Эрдёша и добился прогресса по 11 другим. Томас Блум, который ведет публичную базу данных проблем Эрдёша, сказал, что фреймировка была крайне вводящей в заблуждение, объяснив, что проблемы, отмеченные как «открытые» на его сайте, просто означали, что он не знал об опубликованном решении, а не что его не существует; он сказал, что GPT-5 нашел существующие ссылки, которые он пропустил. Исследователь OpenAI Себастьен Бубек позже признал, что модель просто нашла существующие решения в опубликованной литературе, а не открыла новые, хотя он сказал, что это все еще имело ценность.

Сторонники говорят, что область может адаптироваться

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

• 722 рукописи, созданные ИИ, охватывающие 372 семейства задач, были выпущены 6 октября 2026 года (Unite.AI).
• OpenAI тестировала модель примерно на 4000 открытых проблемах перед публикацией выбранного подмножества (Unite.AI).
• По крайней мере три опубликованных результата были изъяты к 8 октября после того, как были обнаружены ошибки (Fortune).
• Лауреат премии Филдса Гюго Дюминиль-Копэн сказал, что 16 его собственных открытых вопросов были среди рассматриваемых проблем (SenePlus).
• Ассоциация гуманитарной математики призвала математиков прекратить сотрудничество с OpenAI (блог Теренса Тао).