# OpenAI выпустила 166-страничный черновик доказательства — математики сомневаются

> В сентябре OpenAI опубликовала черновик формальной проверки решения уравнений Навье — Стокса, но эксперты считают, что он не соответствует заявленному методу, а его вклад неясен.

Oossa · 2026-10-17 · https://oossa.com/ru/openai-releases-166-page-navier-stokes-draft-mathematicians-raise-doubts

В начале сентября 2026 года OpenAI опубликовала 166-страничный черновик, который, по заявлению компании, мог решить задачу Навье — Стокса — одну из семи тысячедолларовых задач тысячелетия Института математики Клэя. Текст написан на Lean — языке формальной верификации, который автоматически проверяет каждый логический шаг. OpenAI заявила, что доказательство основано на методе испанских математиков Диего Кордобы и Луиса Мартинеса-Зороа.

## Математики указывают на несоответствие

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

## Вычислений много, результат неясен

OpenAI задействовала около 10 000 экземпляров модели примерно на 88 часов; в результате было обработано 130 миллиардов токенов. Исследователь Ноам Браун считает, что на мультиагентную систему приходится менее 10 % результата, а значит, основная часть работы выполнена самой базовой моделью. Точная роль роя агентов остаётся неизвестной: систематических испытаний в таком масштабе пока не проводили.

## Новые публикации вызвали критику

В начале октября OpenAI добавила в неформальную коллекцию на GitHub ещё около 400 результатов, созданных ИИ. Многие математики заявили, что это обесценивает их область. Из-за стремительного потока публикаций математическое сообщество не успевает за ним.

## Факты

- В начале сентября 2026 года OpenAI выпустила 166-страничный черновик возможного решения задачи Навье — Стокса.
- Черновик написан на Lean — языке формальной верификации, который автоматически проверяет логические шаги.
- OpenAI использовала около 10 000 экземпляров модели в течение 88 часов и сгенерировала 130 миллиардов токенов.
- По словам исследователя Ноама Брауна, на мультиагентную систему приходится менее 10 % успеха черновика.
- В начале октября 2026 года OpenAI опубликовала на GitHub ещё около 400 результатов, созданных ИИ.

## Почему это важно

Для обычного читателя эта история показывает: даже огромные вычислительные ресурсы могут дать результат, который эксперты продолжают оспаривать. Она также подчёркивает, что математические доказательства, созданные ИИ, пока не позволяют обойти проверку человеком, а задача, за решение которой присуждают премию, остаётся нерешённой.

## Источники и ссылки

1. [Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof](https://the-decoder.com/mathematicians-say-openai-doesnt-understand-its-own-navier-stokes-proof/) – The Decoder, 2026-10-17

Обновлено: 2026-10-17