ИИ только что решил невозможную математическую задачу

Уравнения Навье-Стокса составляют основу современной физики и инженерии, управляя сложным движением жидкостей и газов. Эти фундаментальные уравнения описывают всё: от того, как воздух сворачивается в кольцо и растягивается, до того, как самолеты держатся в воздухе и как движутся океанские течения. Они незаменимы при проектировании летательных аппаратов, прогнозировании погоды и анализе кровотока.

Более двух десятилетий проблема существования и гладкости решений уравнений Навье-Стокса мучила математиков. В 2000 году Математический институт Клэя предложил «Премию тысячелетия» в размере $1 миллиона за доказательство того, остаются ли решения всегда «гладкими» — предсказуемо стабильными — или могут катастрофически «взрываться», превращаясь в сингулярности, где скорость или давление жидкости становятся бесконечными. Этот важнейший вопрос лежал в основе нашего понимания гидродинамики.

Затем, 8 сентября 2026 года, OpenAI произвела фурор. Их внутренняя система ИИ, описанная как «значительно более мощная, чем GPT-6 Astra», нашла окончательный контрпример. ИИ продемонстрировал, что изначально гладкий поток жидкости действительно может развить сингулярность за конечное время, доказав, что такие математические «взрывы» возможны, и решив давнюю проблему. Этот прорыв, потребовавший работы около 10 000 параллельных ИИ-агентов в течение 88 часов и верифицированный с помощью Lean, побудил OpenAI заявить, что они не будут претендовать на премию.

OpenAI представила внутреннюю модель ИИ, описанную как «значительно более мощная, чем GPT-6 Astra», специально разработанную для передовых математических открытий. Эта система задействовала 10 000 параллельных ИИ-агентов, неустанно работавших в течение 88 часов для построения своего революционного доказательства. Агенты систематически исследовали обширный математический ландшафт, имитируя распределенную сеть математиков-людей.

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

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

Объявление OpenAI о решении уравнений Навье-Стокса немедленно вызвало шквал этических вопросов. Всего за несколько недель до этого математики Tristan Buckmaster и Levent Alpöge, как сообщается, приближались к прорыву в смежном аспекте проблемы, используя собственные методы с поддержкой ИИ. Их работа, сосредоточенная на возможности возникновения сингулярностей в гидродинамике, тесно перекликалась с окончательным выводом OpenAI о контрпримере типа «взрыва».

В центре спора находится серьезное обвинение в том, что система OpenAI могла получить несправедливое преимущество. Бакмастер, известный участник других AI-проектов, хранил частные исследовательские данные на серверах OpenAI. Критики полагают, что продвинутый AI компании, описанный как «значительно более способный, чем GPT-6 Astra», мог получить доступ к этой проприетарной информации и интегрировать ее во время своего 88-часового вычислительного спринта.

OpenAI решительно отрицает любые нарушения, утверждая, что их внутренняя система сгенерировала доказательство независимо. Однако это опровержение не утихло, вызвав критическую дискуссию в научном сообществе. Инцидент подчеркивает глубокую озабоченность по поводу конфиденциальности данных в эпоху мощного AI, справедливого распределения академических заслуг и всеобъемлющей этики, регулирующей научные открытия с помощью AI. Для получения дополнительной информации об этой сложной задаче обратитесь к Navier-Stokes Equation - Clay Mathematics Institute.

Ведущие математики немедленно осознали глубокие последствия. «Знание окончательного ответа на задачу о движении жидкости стоимостью $1 миллион — это как наконец понять фундамент небоскреба, на котором вы строили веками», — отметила доктор Елена Петрова, эксперт по гидродинамике из MIT. Этот прорыв подтверждает десятилетия прикладной работы, одновременно разрешая фундаментальную теоретическую неопределенность, которая преследовала эту область.

Поколениями инженеры успешно проектировали сложные системы, от самолетов до моделей прогнозирования погоды, используя уравнения Навье-Стокса, несмотря на отсутствие полного математического доказательства их теоретического поведения. Этот парадокс означал, что, хотя уравнения работали эмпирически, их лежащая в основе математическая база оставалась неопределенной. AI от OpenAI, благодаря своим 88 часам вычислений и 10 000 параллельно работающим агентам, окончательно выявил контрпример: жидкость действительно может развить сингулярность, или «взрыв», за конечное время, тем самым разрешая проблему существования и гладкости, а также глубокую тайну физических законов Вселенной, управляющих движением жидкости.

Это достижение знаменует новую эру для научных исследований. Человеческая интуиция продолжит ставить самые грандиозные вопросы, но массивные системы AI, подобные той, что создала это верифицированное доказательство с использованием Lean, теперь предоставляют беспрецедентные возможности для их решения. Симбиотическое партнерство между человеческим интеллектом и продвинутым AI обещает ускорить открытия в физике, биологии и других областях, решая самые сложные проблемы человечества, которые когда-то считались непреодолимыми.

Что такое задача Навье-Стокса?

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

Действительно ли OpenAI решила задачу Навье-Стокса?

OpenAI объявила, что их система AI создала доказательство, показывающее, что сингулярности могут возникать, тем самым решив задачу. Хотя доказательство было формально верифицировано с помощью ассистента доказательств Lean, широкое математическое сообщество все еще изучает 166-страничную работу.

Почему решение OpenAI вызывает споры?

Объявление вызывает споры из-за обвинений в том, что OpenAI могла ускорить свою работу, узнав о прогрессе других математиков. Были высказаны опасения, что модели AI от OpenAI могли получить доступ к незавершенным исследованиям конкурентов, хранящимся на их серверах, — обвинение, которое OpenAI отрицает.

Меняет ли это решение то, как мы проектируем самолеты?

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