Решение уравнения Навье-Стокса: что на самом деле произошло?

Ключевые тезисы:

Решение, найденное с помощью ИИ (OpenAI), является отрицательным результатом — доказано существование сингулярности (взрыва) за конечное время.
Уравнения Навье-Стокса, оказывается, не являются физичной моделью реальной жидкости, так как допускают бесконечные скорости при конечной энергии.
ИИ не создал новый метод, а скомбинировал существующие подходы, перебрав гигантское пространство вариантов.
Главная драма — не в возможном плагиате, а в крахе фундаментальной модели, описывающей движение жидкостей.

Суть открытия

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

Контекст и "скандал"

Решение было получено внутренней моделью ИИ OpenAI за 88 часов с использованием около 10 000 координирующих агентов.
В научном сообществе разгорелся скандал: математики обвиняют OpenAI в заимствовании идей (в частности, у исследователей Buckmaster и др.) без должного признания.
Важный нюанс: Пользовательское соглашение OpenAI обычно позволяет использовать вводимые данные для обучения моделей. Поэтому обвинения в "воровстве" неоднозначны с юридической точки зрения.
Главный фокус должен быть не на драме, а на содержании открытия, которое перечёркивает decades исследований.

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

Это основные уравнения гидродинамики, описывающие движение вязкой ньютоновской жидкости.
Выводятся из второго закона Ньютона (F = ma), применённого не к материальной точке, а к элементарному объёму жидкости (бесконечно малому параллелепипеду).
Учитывают различные силы: массовые (например, гравитация) и поверхностные (давление, напряжение).
Вывод доступен студенту-второкурснику физико-математического профиля. Сложность заключается не в выводе, а в аналитическом решении и доказательстве свойств этих уравнений.

В чём элегантность доказательства?

Ключевая проблема: почему вязкость не "гасит" растущую скорость, предотвращая сингулярность?
Предыдущие подходы (например, Терренса Тао) рассматривали постепенную передачу энергии между уровнями вихря.
Решение OpenAI построено на идее компенсации сингулярных компонент друг другом.
- Поток мысленно разбивается на компоненты (например, на визуализации: быстрая оранжевая, медленная бирюзовая, промежуточная синяя).
- Сингулярные члены, которые должны уйти в бесконечную энергию, взаимно уничтожаются за счёт взаимодействия этих компонент.
В двумерном случае такой взрыв невозможен (доказано ранее), так как отсутствует одно из "измерений" для закручивания и компенсации.

Роль искусственного интеллекта

ИИ не изобрёл новый математический метод. Он использовал существующие методы (включая метод, разработанный Buckmaster и соавторами).
Сила ИИ — в переборе гигантского пространства вариантов применения этих методов и поиске контрпримера.
Это демонстрирует потенциал синергии: математики создают новые абстрактные методы, а ИИ проверяет их на огромном количестве частных случаев, drastically ускоряя исследование.

Выводы по теме Навье-Стокса

Фундаментальный сдвиг: Работа OpenAI — не триумф, а похороны уравнений Навье-Стокса как точной физической модели. Это грустное и фундаментальное открытие для механики сплошных сред.
Сила комбинаторики: ИИ показал, что может решать сложнейшие задачи, не создавая нового, а безжалостно и эффективно комбинируя известное.
Будущее за коллаборацией: Наиболее продуктивный путь — сотрудничество, где человек-математик генерирует идеи, а ИИ выступает в роли сверхмощного вычислительного инструмента для их проверки и реализации.
Истинная драма — не в авторских правах, а в том, что одна из основ современной физики оказалась несостоятельной, что открывает путь для поиска принципиально новых моделей.

Разбор "доказательства" гипотезы Римана и ответы на вопросы

Анализ спорной работы по гипотезе Римана

Заявка автора: Эдуард Янович утверждает, что доказал гипотезу Римана, используя матрицу Якоби (матрицу частных производных).
Реакция научного сообщества: Работа была отклонена даже на arXiv.org (архиве препринтов) с формулировкой об отсутствии достаточного оригинального научного содержания, что косвенно указывает на её несостоятельность.
Выявленные ошибки в работе:
- Концептуальные: Не доказано, что используемые функциональные пространства являются полными (банаховыми), что делает последующие теоретические построения нелегитимными.
- Вычислительные: В разложениях функций найдены неверно посчитанные коэффициенты. При прямой подстановке заявленных формул результат не сходится.
- Логические: Присутствуют некорректные переходы (пределы, интегралы), а также потерян знак неравенства в ключевом месте.
- Несоответствие названию: В самой работе матрица Якоби практически не используется, несмотря на громкое заявление в названии.
Вывод: Работа содержит фундаментальные ошибки и не является доказательством гипотезы Римана. Единственная интересная идея — введение пси-функции, но её связь с основной задачей не раскрыта.

Ключевой вывод: Критический анализ — важнейший инструмент в науке. Даже громкие заявления требуют тщательной проверки на наличие концептуальных и вычислительных ошибок.

Математическое образование и карьера

Советы по изучению математики

Для школьного и базового университетского уровня:
- Валерий Босс: Его учебники (по матану, линалу, топологии и др.) идеальны для понимания сути без излишней абстракции. Это оптимальный баланс между строгостью и доступностью.
- Советские задачки: Сборники Канавина и Перельмана.
- Онлайн-курсы: 7,5-часовой курс по матану на канале "Маткульт/Ёжик матаны".
Для углублённого изучения:
- Дискретная математика: Асанов, Баранский, Расин "Дискретная математика".
- История математики: Джеймс Стюарт.
Общий принцип: Англоязычные учебники часто более доступны и "дружелюбны", чем советские/российские, которые могут быть излишне формальными.

Математическое образование в России: вузы и специализация

Санкт-Петербург (абстрактная математика):

ФМК/ФМКН СПбГУ — предпочтительный выбор для абстрактной математики, филологии символов, теории свободных групп.
ИТМО — также имеет сильный факультет в этой области.

Москва (теоретическая и прикладная математика):

МГУ (Мехмат) — силён в дифференциальных уравнениях, струнной геометрии, теоретических направлениях, более связанных с физикой.
ВШЭ (факультет математики)
МФТИ (Факультет высшей математики) — высшая математика.

Лаборатория им. Чебышёва
Является одной из лучших лабораторий в России и входит в топ-30 в мире. В ней работал и преподавал Роман Михайлов — питерский математик, чья деятельность связана с абстрактными направлениями.

Планы, философия и ответы на вопросы

Цель ведущего: Поступление в аспирантуру во Франции (предпочтительно в Париж) для изучения математики в духе Бурбаки (строгая аксиоматизация).
Финансовый аспект: Обучение финансируется за счёт работы (в Яндексе и на стримах), так как получение грантов для россиян в текущей ситуации крайне затруднительно. Академическая карьера в математике, особенно с целью обучения за рубежом, требует значительных финансовых ресурсов и упорства.
Философские взгляды:
- Финитизм (Норман Вайлбергер): Интересная, но пока малопродуктивная для прикладной математики концепция, ставящая под сомнение существование континуума вещественных чисел.
- Подходы в математике: Противопоставление бурбакистского (Франция, строгая формализация) и вейлевского (США, более физико-интуитивного) подходов. Российская школа — синтетическая.

Ответы на вопросы зрителей:

Про ИИ и карьеру:
- Факультеты ИИ (например, в МГУ): Могут быть экспериментальными, с неотработанной программой.
- Перспективные направления: Алгебраическая топология и криптография пока менее подвержены автоматизации нейросетями.
Про поступление за границу:
- Основные барьеры — финансовые (подтверждение языка, проживание, обучение) и визовые. Франция считается одной из наиболее лояльных стран.
Личный опыт:
- Поступление в Томск вместо Москвы/Петербурга было обусловлено отсутствием денег.
- В олимпиадном движении большого успеха не достиг из-за необходимости параллельно зарабатывать на жизнь.

Анонсы и завершение

Анонсирован стрим на завтра для неформального общения.
Планируется последний стрим в пятницу перед отъездом.
Записи стримов, конспекты и закрытый чат доступны на Boosty в Telegram.