🔸 OpenAI | Уравнение Навье – Стокса | Правда ли что ИИ чего-то там решил? 🖥

8 сентября 2026 года OpenAI заявила, что её экспериментальная ИИ-модель решила одну из задач тысячелетия – проблему существования и гладкости решений уравнений Навье – Стокса. Эти уравнения описывают движение жидкостей и газов, а вопрос формулируется так: могут ли решения «взорваться» – то есть привести к бесконечной скорости за конечное время, даже если начальные условия были гладкими?

🖥 Компания OpenAI заявляет, что её ИИ-система доказала:
▪️ ИИ доказал, что такая сингулярность возможна: вихрь закручивается, центральная нить сжимается до нуля, скорость растёт до бесконечности, энергия остаётся конечной.
▪️ Решение соответствует пунктам «C» и «D» формулировки Clay Mathematics Institute.

📆 С 28 августа тренировали модель мощнее GPT‑6 Astra. 1 сентября запустили ~10 000 AI‑агентов. Они нашли доказательство за 88 часов, ещё 17 часов ушло на верификацию в Lean. Сгенерировано 130 млрд токенов, 2,7 млн сообщений между агентами. Стоимость – $15 млн. OpenAI не будет претендовать на премию в $1 млн.

📝 Математики Тристан Бакмастер (NYU) и Левент Альпёге (Anthropic) работали над близкой задачей и утверждают, что OpenAI могла использовать их наработки (они применяли OpenAI Codex, данные хранились на серверах OpenAI). Компания признаёт, что не может исключить, что обезличенные данные пользователей помогли обучению, но отрицает прямой доступ к работе конкурентов. Кроме того, есть подозрение, что OpenAI решила не ту задачу: конкуренты решили упрощённый вариант (уравнения Эйлера), а OpenAI утверждает, что пошла дальше. Окончательный вердикт – за независимой проверкой.

Но даже если прямого доступа не было, сама постановка задачи и направление поиска могли быть подсказаны слухами о работе других учёных. Это ставит под сомнение «чистоту» достижения.

🔍 Брутфорс или интеллект? OpenAI применила масштабный вычислительный поиск по пространству доказательств. Результат представлен как аналитическое доказательство в Lean, которое можно проверить шаг за шагом – это не просто численный перебор. Однако ИИ действовал как «обезьяна с пишущей машинкой» в невероятных масштабах. Математик Теренс Тао заметил: «усилия, необходимые для решения задач, часто очень поучительны. Теперь ИИ может решать вопросы, не получая от них никакой ценности». Это скорее вычислительное открытие, а не человеческое понимание. Даже если решение верно, оно не заменяет интуиции и инструментов, которые рождаются в процессе осмысленного поиска.

🌀 Что значит «взрыв» физически? Математическая сингулярность не имеет физического смысла – в реальном мире бесконечностей не бывает. При колоссальных скоростях вступят в силу другие эффекты: кавитация, ударные волны, квантовые явления. Уравнения Навье – Стокса – это идеализация (сплошная среда, линейная вязкость). Если решение предсказывает бесконечность, это означает, что математическая модель сломалась, а не что жидкость реально достигнет бесконечной скорости.

♾️ Почему решение не работает на практике? Найденные начальные условия, скорее всего, обладают свойствами, невозможными в природе:

▫️1. Идеальная симметрия тора – малейшая рябь разрушит механизм.

▫️2. Требуется бесконечное пространство или абсолютно гладкие стенки – реальные границы дадут сбой.

▫️3. Внешняя сила должна идеально подкачивать энергию в центр вихря – такого «насоса» в природе нет.

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

Решение OpenAI (если оно верно) говорит: гладкость не существует для всех времён даже для идеальной математической жидкости. Но для практической физики это ничего не меняет – реальные среды всегда «сбоят» задолго до бесконечности. Для премии Клэя такое доказательство ценно само по себе, даже если оно не имеет физической реализации. Окончательный вердикт – за математическим сообществом. ( Читать подробнее )

💡 Physics.Math.Code // @physics_lib