OpenAI заявляет, что секретная модель ИИ решила сотни открытых математических задач за один запрос — математики требуют доказательства

OpenAI опубликовала 722 математических рукописи на GitHub во вторник, все они были созданы внутренней моделью, которую компания не выпустила. Представитель OpenAI заявил, что почти все результаты были получены из одного запроса, переданного одному ИИ-агенту, хотя некоторые могли потребовать несколько попыток.

Это смелое утверждение и потенциально значительный прорыв в области математики. Но не все разделяют этот энтузиазм или верят в это. Myriad: Как высоко поднимется Nvidia? Нажмите, чтобы сделать свой прогноз.

"Пока они не выпустят модель и люди не смогут воспроизвести их результаты, я думаю, что любые утверждения о решении задач одним агентом следует считать неподтвержденными," — сказал Эндрю Сазерленд, математик из MIT, в интервью Scientific American. "Мы должны требовать доказательства," — добавил он.

Работы сгруппированы в 372 "семейства" связанных результатов, и одно семейство может объединять основную теорему с сопутствующими аргументами, последствиями или альтернативными доказательствами. Таким образом, 722 — это количество рукописей, а не решенных задач. OpenAI утверждает, что она поставила модели примерно 4000 задач и сохранила те результаты, которые сочла достаточно значительными для публикации.

Средний результат использовал эквивалент примерно трех часов вычислений ChatGPT Pro, по данным OpenAI. Утверждение о Navier-Stokes в прошлом месяце выглядело совершенно иначе, с 10 000 координирующих агентов, работающих в течение 88 часов.

OpenAI выпустила сокращенные резюме рассуждений для 10 из результатов. Тем не менее, только 162 из 722 статей имеют основное результат, проверенное компьютером, согласно каталогу формализаций в репозитории. Это около 22% коллекции, переведенной в Lean, программное обеспечение, которое механически проверяет каждый логический шаг.

Сама OpenAI утверждает, что не все рукописи имеют формализации Lean и что "некоторые из нефомализованных результатов могут иметь проблемы." Другими словами, многие из опубликованных ими результатов могут быть неверными.

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

И здесь исследователи поднимают брови.

Я пытался прочитать доказательство OpenAI, что хроматическое число плоскости >= 6. Но это совершенно невероятная инопланетная математика?

Как-то модель обнаружила, что любое K-окрашивание <= "слабо измеримое" K-окрашивание, что кажется ниоткуда

1/2 pic.twitter.com/W13ScT3nel

--- Дмитрий Рыбин (@DmitryRybin1) 7 октября 2026 года

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

Я формализую доказательство гипотезы Сакла OpenAI в Lean 4 против...

--- Кит Адлер (@keithadler) 7 октября 2026 года

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

Другие, однако, такие как профессор Абхишек Саха, довольно взволнованы. "Это очень большой день для математики," — написал он, но отметил, что большинство задач попадают в категории "исключительных достижений в рамках существующей программы" "удивительных прорывов."

Это означает, что большинство задач в наборе интересны, но не невозможны или не меняют правила игры, как задачи тысячелетия. Это место зарезервировано для ровно одной задачи из 722: гипотезы Квази-Римана.

Некоторые дальнейшие мысли о 372 результатах, выпущенных OpenAI сегодня, по 722 рукописям.

Если бы я классифицировал теоремы, которые математики доказывают и публикуют, в зависимости от их прорывного характера, я бы (очень грубо) разделил их на четыре категории:

A) Не прорывные... https://t.co/BA10SxBlx7

--- Абхишек Саха (@ObhishekSaha) 7 октября 2026 года

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

Дэниел Литт, математик из Университета Торонто, занял противоположную точку зрения, утверждая, что нет причин просить компанию держать ответы на эти математические вопросы в секрете.

Anthropic выбрала другой путь с доказательством теоремы Ферма, проверенным Lean в прошлом месяце, опубликовав все 13 миллионов строк публично на GitHub. Это доказательство формализовало теорему, опубликованную Эндрю Уайлсом в 1995 году, а не утверждало новые результаты.

OpenAI заявляет, что добавит формализации Lean по мере их получения; на данный момент 162 из 722 рукописей имеют одну.

Этот контент предоставляется исключительно в общих информационных целях и не является финансовым, инвестиционным, юридическим или налоговым советом. Любые мероприятия, вознаграждения, онлайн-акции или связанная с ними информация, упомянутые в настоящем документе, не должны рассматриваться как рекомендация, приглашение к покупке, продаже, торговле или иной сделке с какими-либо криптоактивами. Криптоактивы очень волатильны и могут привести к убыткам. Доступность услуг, продуктов WEEX и связанных с ними событий может варьироваться в зависимости от региона. Вы несете ответственность за обеспечение того, чтобы ваше участие соответствовало применимым местным законам и нормативным актам.