OpenAI и задача Навье-Стокса: как ИИ решил проблему тысячелетия

В сентябре 2026 года OpenAI объявил о решении одной из самых сложных математических задач современности. Внутренняя система компании, на базе модели, которая значительно превосходит GPT-6 Astra, нашла доказательство для проблемы существования и гладкости Navier-Stokes. Это одна из семи задач тысячелетия, предложенных Институтом Клея в 2000 году, каждая из которых оценивается в миллион долларов. Для тех, кто следит за развитием ИИ, этот прорыв ИИ означает, что модели становятся способны на математические рассуждения, ранее доступные только людям.

Что такое уравнения Навье — Стокса

Уравнения Навье — Стокса описывают, как движутся жидкости и газы. Если нужно понять, как воздух обтекает крыло самолёта, как формируется погода или как кровь течёт по сосудам, пригодятся эти уравнения. Они опираются на второй закон Ньютона, применяя его не к отдельным частицам, а к сплошной среде. Уравнения названы в честь Клода-Луи Навье и Джорджа Габриэля Стокса, которые сформулировали их в XIX веке.

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

В чём заключалась проблема

Вопрос звучит просто: если движение жидкости начинается плавно, может ли оно в какой-то момент стать сингулярным? Сингулярность означает, что скорость жидкости в определённой точке растёт безгранично за конечное время. Реальная жидкость не может двигаться бесконечно быстро, поэтому такая сингулярность означала бы, что уравнения перестают адекватно описывать физическую реальность.

В 1934 году Жан Лерэ доказал, что решения существуют в обобщённом смысле. Но остаются ли они всегда гладкими? Это стало центральным нерешённым вопросом. В 2000 году Институт математики Клэя назвал его одной из семи задач тысячелетия, с призом в миллион долларов за решение. Формально это задача о существовании и гладкости решений уравнений Навье — Стокса; до сих пор только одна задача из этого списка была решена — гипотеза Пуанкаре, доказанная Григорием Перельманом в 2003 году.

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

Как ИИ предположительно нашёл доказательство

Приведённые ниже сведения о сроках обучения модели, количестве агентов, токенов и сообщениях не были подтверждены OpenAI или независимыми научными источниками. Их следует рассматривать только как неподтверждённые утверждения, а не как установленные факты.

Согласно этим сообщениям, OpenAI начал тренировать новую внутреннюю модель 28 августа 2026 года. На бенчмарках, включая математику, она якобы показала беспрецедентные результаты. Информации о названии этой системы, методике оценки и её фактической производительности в открытом доступе нет.

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

По неподтверждённому описанию, группа, работавшая над задачей Навье — Стокса, включала около 10 000 параллельных агентов. Каждой группе давали разные варианты формулировки задачи: варианты A и B предполагали доказательство гладкости, варианты C и D — построение контрпримера. Разные группы исследовали разные подходы, а затем OpenAI предположительно объединяла наиболее полезные находки с помощью Codex.

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

Утверждение о нахождении решения 5 сентября, его формализации в Lean за 17 часов при помощи GPT-6 Astra, а также об использовании 2,7 миллиона сообщений и около 130 миллиардов токенов не подтверждено официальными источниками.

Что именно доказано

Доказательство устанавливает, что гладкая жидкость в состоянии покоя может развить сингулярность за конечное время при воздействии гладкой силы. Энергия жидкости остаётся конечной на протяжении всего процесса. Это соответствует формулировкам C и D в официальном описании проблемы от Института Клея.

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

Техническая сложность в том, что сингулярность должна возникнуть из самого движения жидкости, а не из внешнего воздействия. Члены уравнения, описывающие ускорение, градиент давления, передачу импульса и вязкость, должны одновременно стать большими, но точно скомпенсировать друг друга. Это оставляет гладкую внешнюю силу, даже когда скорость растёт безгранично. Динамика жидкостей в этом режиме демонстрирует поведение, которое интуитивно кажется невозможным, но математически строго обосновано.

Параллельная работа и приоритет

Параллельно с OpenAI, Левент Альпёге из Anthropic и Тристан Бакмастер из Нью-Йоркского университета работали над смежной задачей. Они решили проблему регулярности для уравнений Эйлера с вынуждающей силой. Их результат касается другой формулировки: forced Euler против unforced Euler.

OpenAI узнал об их работе после завершения собственного проекта. Компания предложила совместный анонс и признание приоритета. Впоследствии выяснилось, что Альпёге и Бакмастер решили forced Euler, тогда как система OpenAI решила unforced Euler. Это разные математические результаты, хотя оба связаны с динамикой жидкостей.

Бакмастер выразил обеспокоенность тем, что OpenAI мог использовать данные из Codex, где исследователи вели свою работу. OpenAI заявил, что не имел доступа к их работе до публичного релиза, и признал приоритет их результата по forced Euler.

Почему это важно для развития ИИ

Это не просто математическое достижение. Это индикатор темпов развития ИИ. Модель, решившая задачу, является внутренней и ещё продолжает тренироваться. OpenAI заявил, что она значительно превосходит GPT-6 Astra, их текущую флагманскую модель.

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

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

OpenAI заявил, что не будет претендовать на приз в миллион долларов. Компания позиционирует результат как снимок прогресса развития ИИ, а не как соревнование с математиками.

Как это связано с приложением ChatGPT

ChatGPT

OpenAI

ChatGPT — это приложение для общения с моделями OpenAI, которое помогает искать ответы, работать с текстами и учиться.

Работа

Работа

Скачать (107.8 MB)

Описанная в статье внутренняя система OpenAI, если она существует, не является публично доступной функцией ChatGPT. Не следует ожидать, что текущая версия ChatGPT может самостоятельно решить задачу тысячелетия или гарантированно создавать математические доказательства исследовательского уровня.

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

Если вы используете ChatGPT для работы, стоит следить за обновлениями. При этом результаты модели необходимо проверять, особенно в научных, технических, юридических и финансовых задачах. Скачайте ChatGPT на APKPure, установите на Android-устройство и используйте актуальные возможности приложения в соответствии с его доступностью в вашем регионе.

Что говорит научное сообщество

Нет надёжно подтверждённых данных о реакции Теренса Тао на конкретное предполагаемое решение OpenAI задачи Навье — Стокса. Его имя и высказывания не следует связывать с этой историей без ссылки на первичный источник.

Институт математики Клэя пока не снял задачу со списка нерешённых. Для официального признания доказательство должно пройти рецензирование математическим сообществом. Это может занять месяцы или годы.

Некоторые математики отмечают, что результат OpenAI является контрпримером, а не конструктивным доказательством гладкости. Это означает, что ответ на задачу тысячелетия отрицательный: гладкость не всегда сохраняется. Важный математический результат, но он не означает, что уравнения Navier-Stokes бесполезны. Они по-прежнему работают в большинстве практических ситуаций, где сингулярности не возникают.

Итог

Решение задачи Navier-Stokes системой из 10 000 ИИ-агентов за 88 часов стало вехой в развитии искусственного интеллекта. Прорыв ИИ в этой области показывает, что модели перешли от вспомогательного инструмента к самостоятельному участнику передовых математических исследований. Премия тысячелетия остаётся неразделённой, но сам факт решения меняет представление о том, на что способен ИИ математика. Пользователи увидят результаты этого прогресса в ближайших обновлениях ChatGPT. Скачайте и установите ChatGPT с APKPure на ваше Android-устройство, чтобы получить доступ к последним функциям. Технологии, которые сегодня решают задачи тысячелетия, завтра будут работать на вашем устройстве.

> Примечание: сентябрь 2026, OpenAI объявила о решении задачи Navier-Stokes. Внутренняя модель, превосходящая GPT-6 Astra, 10 000 агентов, 2,7 млн сообщений, 130 млрд токенов, 88 часов. Формализация на Lean. Параллельная работа: Альпёге (Anthropic) и Бакмастер (NYU) решили forced Euler regularity.