Нейросеть и уравнение Навье–Стокса: кто решил и что именно
Нейросеть решил уравнение Навье–Стокса — что стоит за заголовком. Что описывают уравнения, чем расчёт отличается от доказательства и почему премии пока нет.
Денис
Продакт LibraChat
7 мин чтения
Ты видел заголовок «нейросеть решила уравнение Навье–Стокса» и не понял, что это значит? Я тоже не понял. Сто лет люди считают течения по этим уравнениям, предсказывают погоду и проектируют самолёты. Что тогда «решила» нейросеть? Сначала я попробовал читать статьи о новости и запутался на третьем абзаце. Потом попросил LibraChat объяснить мне это как человеку без высшей математики, и за 15 минут картина сложилась. Ответ оказался лучше половины научно-популярных статей, которые я прочитал до этого. Ниже разберу, что описывают уравнения, почему «компьютер посчитал» и «доказал» означают разное, что именно объявили в сентябре 2026 года и как читать такие новости дальше.
Что такое уравнение Навье–Стокса, если смотреть на кухню
Вот запрос, который я отправил. Скопируй этот промпт, если хочешь разобраться сам:
Объясни человеку без высшей математики: что описывают уравнения Навье–Стокса, на примерах из жизни. Чем отличается «компьютер посчитал течение по этим уравнениям» от «доказал, что у них всегда есть гладкое решение». Почему второе — одна из задач тысячелетия. Где твоё знание неточное, отметь это прямо.
Ответ начался с определения, которое я понял с первого раза:
Уравнения Навье–Стокса — это правила, по которым движется вязкая жидкость или газ: вода, воздух, масло, кровь, дым. Они говорят, куда и с какой скоростью пойдёт каждый кусочек среды в следующий миг.
Дальше чат предложил представить крошечный комок воды. Соседи давят на него, и это давление. Соседние слои тормозят его трением, и это вязкость. Может тянуть тяжесть или ветер. Все силы вместе дают комку ускорение. Плюс правило: жидкость не появляется из ничего и не исчезает.
И примеры, которые видел каждый:
Из крана сначала идёт ровная струя, потом она дрожит и рвётся на капли: течение стало неустойчивым.
Ложка в чае закручивает воронку, и через несколько секунд вязкость её гасит. Дым от спички поднимается тонкой ниткой, а потом расходится клубами. Всё это описывают одни и те же уравнения. Меняются только форма сосуда, скорость и то, насколько течение спокойное.
Вот здесь у меня случилось главное «ага». Раньше я был уверен, что раз компьютер умеет считать течения, то и «решать» нечего. Компьютеры решают эти уравнения каждый день. Прогноз погоды, обтекание машины, течение в трубе. Почему же тогда задача считается нерешённой?
Чат объяснил, что значит «компьютер посчитал»: пространство режут на клетки, время на шаги, и в каждой клетке скорость и давление обновляют по приближённой версии уравнений. Это расчёт одного конкретного случая, с заданными стенками и конечной точностью. А потом привёл сравнение, которое я теперь пересказываю всем:
Это как много раз размешать чай и убедиться, что в этой чашке ничего странного не случилось. Отсюда не следует теорема обо всех жидкостях и всех способах размешивания.
Доказательство отвечает на другой вопрос: всегда ли, для любого разумного начального состояния, решение остаётся «гладким». Гладким, в объяснении чата, значит: скорость и давление остаются конечными, без бесконечного всплеска в одной точке. Или, наоборот, можно ли подобрать такое начало, при котором за конечное время где-то возникнет точка, где скорость уходит в бесконечность.
Я проверил, правильно ли понял, пересказав это коллеге. Получилось с первого раза, а это хороший признак. Свёл разницу в таблицу:
· Компьютер посчитал · Математик доказал
Что проверено — Один случай, одна форма, одно начало — Все разумные начальные состояния
Точность — Конечная, есть сетка и округление — Абсолютная, логическая
Ответ на вопрос — «В этой чашке всё в порядке» — «Так бывает всегда» или «вот случай, где ломается»
Зачем нужно — Проектировать, прогнозировать — Понимать, можно ли доверять модели целиком
Миллион долларов и четыре варианта ответа
В 2000 году Институт Клэя включил вопрос о гладкости решений этих уравнений в семь задач с премией в 1 миллион долларов. Чат объяснил, что официальная формулировка — это не одна фраза, а четыре варианта. Закрывает задачу любой из них: доказать, что гладкое решение живёт вечно, или показать конкретный пример, где оно за конечное время ломается.
И ещё одна деталь из ответа, которую я не знал. Почему трёхмерный случай трудный, а плоский нет. В трёх измерениях вихрь можно растянуть, как жгут: он утончается и крутится быстрее, и это может подхлёстывать само себя. На плоскости так не выйдет. Для плоского случая ответ известен давно, классический результат связывают с Ольгой Ладыженской. Чат честно пометил, что растяжение вихря — это интуиция, а не доказательство.
А ещё абзац, который снимает страх:
Реальная вода в стакане от этого не взрывается. У молекул есть размер, есть сжимаемость, стенки, тепло. Задача про идеальные уравнения, а не про то, взорвётся ли чай.
Кто решил уравнение Навье–Стокса и при чём тут нейросеть
Теперь про сам заголовок. В сентябре 2026 года OpenAI сообщила, что её ИИ-система получила доказательство того, что гладкое течение может за конечное время прийти к особенности. К доказательству приложена формальная проверка на языке Lean, где компьютер проверяет каждый логический шаг.
Обрати внимание, какой это вариант. Не «доказали, что всё всегда гладко», а «показали случай, где ломается». Это один из четырёх путей, которые допускает формулировка задачи.
Что это значит для премии. Чат в ответе написал прямо: доказательство он сам не проверял, а окончательное слово за институтом, который присуждает премию по своим правилам. Насколько известно на конец октября 2026 года, премия не присуждена. Специалисты обсуждают и само доказательство, и то, как к нему относиться. Новость важная, но это пока заявка, а не закрытая страница учебника.
И ещё про слова. «Нейросеть решила» в заголовке звучит так, будто кнопку нажали — и готово. На деле речь идёт о системе, которая выдала длинное доказательство, и людях, которые его теперь проверяют. Без проверки людьми и формальной проверки на Lean этой новости бы не было.
Что чат сам пометил как упрощение
В конце ответа чат перечислил, где он сознательно упрощал. Это редкий и полезный жест, поэтому перескажу:
точные условия задачи (как быстро скорость убывает вдали, в каких пространствах функций ищется решение) заменены словами «приличное начало» и «гладкое»;
инженерный расчёт часто использует усреднённые модели, а не исходные уравнения во всех масштабах;
математическую особенность нельзя отождествлять с турбулентностью в реке: это разные вопросы, и их часто путают.
Последний пункт я бы повесил над каждым новостным заголовком. Запрос «нейросеть решил уравнение стокса» набирают люди, которые увидели короткий заголовок и хотят понять, правда ли это. Короткий ответ: заявлено доказательство одного из вариантов задачи, его проверяют, и вода в кране от этого течь иначе не стала. «Нейросеть разгадала турбулентность» — это не то же самое, что «нашли особенность в уравнениях».
Честно о том, где чат помогает, а где нет. Объяснить уравнения, разницу между расчётом и доказательством, историю задачи — отлично. Проверить само доказательство — нет: это работа специалистов, и она идёт месяцами. Свежие новости я всегда сверяю по первоисточнику, потому что ответы о событиях последних недель бывают неточными.
Три вопроса после чтения
Если хочешь убедиться, что понял, ответь без подглядывания:
Почему прогноз погоды, посчитанный по этим уравнениям, не закрывает задачу тысячелетия?
Что именно объявили в сентябре 2026 года: «всегда гладко» или «бывает, что ломается»?
Почему плоский случай проще трёхмерного?
Если на все три ответ есть, ты понимаешь новость лучше, чем большинство заголовков о ней.
Кстати, если тебе нужно решить не задачу тысячелетия, а обычное уравнение по алгебре с объяснением каждого шага, это в статье нейросеть решит уравнение.
Что дальше: как читать новость «нейросеть решил уравнение Стокса»
Задание на сегодня. Найди любую новость с заголовком «нейросеть решила…». Отправь его в чат LibraChat с просьбой: «Объясни, что именно заявлено, чем это отличается от полного решения, и отметь, где ты не уверен». Посмотри, как изменится твоё понимание заголовка.
Начать можно бесплатно. Если научные новости — твоё хобби и хочется держать все разборы в одном месте, посмотри, что входит в тарифы: там есть проекты, где у всех чатов общие инструкции.
нейросеть решил уравнение стоксауравнения Навье–Стоксазадачи тысячелетияматематиканаукаLibraChat
