OpenAI опубликовала результаты 377 задач математических исследований, сообщила компания в сообщении в блоге под названием «Обмен прогрессом ИИ в математике», опубликованном во вторник, 6 октября 2026 года, что стало вторым крупным спадом в области математики за такое же количество месяцев.

Результаты охватывают алгебру, теоретическую информатику и математическую логику и появились всего через несколько недель после того, как OpenAI заявила о решении уравнений Навье-Стокса, одной из самых известных нерешенных задач в мире, за которую был приложен приз в 1 миллион долларов. Это более раннее утверждение уже разделило математиков; Гораздо более крупный релиз на этой неделе обострил дебаты. Для читателей, следящих за последними новостями об искусственном интеллекте, этот эпизод стал самым ярким испытанием того, как исследовательскому сообществу следует обращаться с результатами, полученными с помощью машин, которые люди не могут легко проверить.

Что на самом деле выпустил OpenAI

По данным The Guardian, OpenAI опубликовала «более 370 математических результатов по различным темам, таким как алгебра, теоретическая информатика и математическая логика». The New York Times подсчитала 377 задач, а New Scientist сообщила, что в релиз вошли 722 математических открытия после подсчета вспомогательных результатов. Различное количество отражает разные способы группировки лемм, следствий и полных решений в дискретные «результаты».

Масштаб – вот что ошеломило наблюдателей. В то время как заявление Навье-Стоукса в прошлом месяце включало один, тщательно изученный результат, этот релиз был получен сразу — сотни результатов в различных областях, полученных с помощью самых передовых внутренних моделей OpenAI. В течение дня эта история получила освещение в The Washington Post, The Economist, The Wall Street Journal и Fortune, а сообщение в блоге OpenAI возглавило Hacker News с более чем тысячей голосов.

Институт перспективных исследований дает отпор

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

«Теперь ИИ может выводить математические аргументы в ситуациях, когда человек, подсказавший ему, не может понять аргументы, проверить их или взять на себя ответственность за них», — говорится в заявлении организации. «Мы считаем, что человеческое понимание математики по-прежнему имеет первостепенное значение».

Проблема не в том, что результаты обязательно неверны. Дело в том, что математика как дисциплина зависит от проверки, и поток машинных утверждений, которые не проверял ни один человек, плохо сочетается с научными нормами.

Ответ OpenAI: место за столом

Чтобы справиться с негативной реакцией, OpenAI объявила, что будет работать с Институтом перспективных исследований, чтобы дать «математикам право голоса в том, как нам двигаться вперед». Чего компания не взяла на себя, как отмечает The Guardian, так это каких-либо изменений в базовой практике: OpenAI не дала никаких указаний на то, что прекратит тестирование сложных проблем на проприетарных внутренних моделях.

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

«Возьми чью-то работу и доведи ее до конца»

Математики, близкие к затронутым проблемам, поднимают более тонкий вопрос: кредит. Тристан Бакмастер, математик из Нью-Йоркского университета, работавший над проблемой Навье-Стокса, рассказал The New York Times, что исследователи, предлагающие модели ИИ, возможно, обеспечивают частичный прогресс, который модели затем завершают.

«Вероятно, будет ряд результатов, когда они берут чью-то работу, а затем доводят ее до конца», — сказал Бакмастер.

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

Что это значит для исследований ИИ

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

Три вопроса определят, что произойдет дальше. Во-первых, проверка: независимым математикам потребуются месяцы, чтобы проверить хотя бы часть результатов 377, а ошибки, если они будут обнаружены, сильно подорвут доверие к OpenAI. Во-вторых, доступ: откроют ли лаборатории свои самые сильные модели для сторонних исследователей, как того требует Институт, или сохранят замкнутый цикл. В-третьих, приоритет: как предполагает обеспокоенность Бакмастера, в этой области могут потребоваться новые нормы для признания совместных доказательств человека и ИИ.

По данным The Guardian, OpenAI не ответила на запросы о комментариях по поводу критики. От того, создаст ли партнерство с Институтом перспективных исследований работоспособные нормы – или просто задокументирует разногласия – скорее всего, будет зависеть, останется ли математика ведущим ориентиром для передового прогресса ИИ или станет первой областью, которая официально противостоит ему.

Будьте впереди ИИ Подробнее читайте на AI Buzz Wire