В 1934 году Жан Лере доказал, что у уравнений Навье–Стокса всегда есть решения «в обобщённом смысле». Остаётся ли решение гладким или может сорваться в сингулярность, он не узнал, и за девяносто лет не узнал никто. В 2000 году Институт Клэя включил вопрос в семь проблем тысячелетия. Формулировка составителя, Чарльза Феффермана, честная: он просит доказать любое из четырёх утверждений. (A) и (B): без внешней силы гладкость сохраняется всегда, в пространстве и на торе. (C) и (D): существует гладкая сила и гладкие начальные данные, при которых гладкого решения с конечной энергией нет.

Работа OpenAI доказывает (C) и (D). Для любой вязкости \(\nu\gt 0\) построена гладкая сила, компактная в пространстве и во времени, и течение, которое стартует из полного покоя, держит энергию ограниченной и к моменту \(t=1\) выходит на бесконечную скорость. Как это сделано — вот что стоит понять, потому что приём переворачивает саму постановку.

Задачу решают задом наперёд. Уравнение Навье–Стокса можно читать как определение силы. Выпиши любое течение u и давление p, подставь в уравнение, и всё, что не сошлось, объяви внешней силой f. Уравнение выполняется тождественно. Взрывающееся течение придумать легко. Трудность переезжает в одно место: остаток обязан быть гладким. Отдельные слагаемые в нём уходят в бесконечность, и нужно устроить между ними такое сокращение, чтобы сумма и все её производные спокойно прошли через момент взрыва. На это и потрачены 166 страниц.

Вихрь-игла. На вертикальной оси строится вихрь, схлопывающийся к началу координат. Внутри жидкость закручивается по спирали к оси и вытекает вдоль оси вверх и вниз. Разгоняет её сохранение момента импульса: величина \(r\,u_\theta\) у частицы без внешнего момента постоянна, и чем меньше r, тем больше \(u_\theta\). А продолжаться притоку позволяет несжимаемость: втекающую жидкость уносит осевой поток, иначе она забила бы ось.

Ядро сжимается самоподобно: форма профиля не меняется, меняются только масштабы. Пусть \(\tau=1-t\), время до взрыва. Радиус ядра \(\sim\tau^{1/2}\), высота \(\sim\tau^{1/2-h}\) с крошечным \(h\lt 1/100\), скорости \(\sim\tau^{-1/2-h}\). Радиус сжимается быстрее высоты, и ядро вытягивается в тонкую иглу объёмом \(\sim\tau^{3/2-h}\). Отсюда самое изящное место работы: кинетическая энергия ядра \(\sim\tau^{1/2-3h}\) стремится к нулю. Скорость бесконечна, энергия исчезает, объём падает быстрее, чем растёт квадрат скорости.

Вязкость не побеждена, а встроена. Именно вязкость отличает Навье–Стокса от Эйлера, и из-за неё уравнение считали, возможно, безопасным. Здесь считают два числа Рейнольдса. По вращению \(\mathrm{Re}_\theta\sim\tau^{-h}\to\infty\): жидкость успевает сделать всё больше оборотов за время вязкой диффузии, вращение выигрывает. По радиальному притоку \(\mathrm{Re}_r=O(1)\): вязкость остаётся равным партнёром. Скорости всех процессов, осевого и радиального сноса и диффузии поперёк ядра, растут одинаково, как \(\tau^{-1}\), и остаются в главном балансе до самого конца. Вдоль оси диффузия слабее в \(\tau^{2h}\) раз, и этим зазором конструкция пользуется.

Где ломается. Ядро надо пришить к спокойной жидкости снаружи. В кольце между ядром и внешним течением сшивка не сходится, и остаток растёт неограниченно при \(t\to1\). Сила обязана быть гладкой, а тут она должна быть бесконечной. Фоновый вихрь сам себя не держит.

Жидкость производит силу сама. В кольцо подсаживают мелкие колеблющиеся возмущения, каждое в виде полного кольца вокруг оси, локальное по радиусу, высоте и времени, запущенное экспоненциально малой затравкой. Как колебание с нулевым средним даёт ненулевую силу? Когда жидкость идёт наружу, она несёт избыток вращательной скорости; когда внутрь — недостаток. Средняя скорость ноль, но поток момента импульса — произведение двух этих величин — сохраняет знак в обоих полутактах. Переверни оба знака, произведение не изменится. Получается устойчивый средний поток импульса, и его пространственная неоднородность действует на фон как настоящая сила. Физики называют это напряжением Рейнольдса и обычно считают помехой; здесь оно инструмент, и его подгоняют так, чтобы в точности съесть расходящуюся часть остатка.

Импульсы вспыхивают и гаснут сами. Растут они на сдвиге фона, по центробежному механизму: частица с избытком вращения выталкивается наружу, а если угловая скорость падает с радиусом достаточно круто, её избыток относительно соседей растёт. Две вещи подпитывают друг друга, получается экспоненциальный рост, пока он обгоняет вязкое затухание. Гасятся они тоже сдвигом: он сносит разные радиусы с разной скоростью и укорачивает радиальную длину волны, а вязкое затухание растёт как квадрат волнового числа. Начальную длину волны выбирают так, что сперва побеждает усиление, потом неизбежно затухание. Хвост каждого импульса настолько мал, что все его производные обращаются в ноль к моменту взрыва.

Остальная сборка. Импульсов две семьи: заткнуть надо и поток момента импульса, и поток осевого импульса, а у семей разные отношения этих потоков. Ближе к взрыву импульсы ставят на всё более мелкой сетке по месту и времени, как в выпуклом интегрировании: бесконечная лестница поправок, каждая мельче предыдущей. Есть и намеренная асимметрия: при строгой симметрии верх-низ механизм усиления обнуляется в плоскости \(z=0\), поэтому осевой профиль слегка перекошен. Снаружи кольца течение чисто вращательное, не зависит от высоты и точно решает радиальное уравнение теплопроводности: его остаток ноль, силы там не нужно. Это позволяет гладко обрезать течение в пространстве, а компактность переносит результат на тор, отсюда и (D).

Что нового по сравнению с предшественниками. Приём силы и усиления через масштабы принадлежит Кордобе и Мартинесу-Сороа: сперва для трёхмерного Эйлера, потом вместе с Чжэном для Навье–Стокса с ослабленной диссипацией. Тао в 2016 году построил взрыв для усреднённого Навье–Стокса, сохраняющего энергетическое сокращение. Здесь два новых шага: настоящая вязкость и полное уравнение при любом \(\nu\gt 0\), и импульсы не просто усиливаются, а работают как источник нужного напряжения, подставленного точно под дыру фона. Кирпичи все известные: центробежная неустойчивость, снос волновых векторов сдвигом, точные вязкие сдвиговые волны, реализация напряжения колебаниями из конструкций Данери и Секейхиди для Эйлера. Новая только сборка.

Кто и как это сделал. По рассказу OpenAI, доказательство нашла группа примерно из десяти тысяч согласованных агентов на внутренней модели, за 88 часов, отправив 2,7 миллиона сообщений и потратив около 130 миллиардов выходных токенов; ещё 17 часов заняла формализация и проверка в Lean. Работа не подписана людьми: автор указан как OpenAI. За день до этого Тристан Бакмастер и Левент Альпёге выложили три препринта с тем же приёмом гладкой силы для пористой среды, Буссинеска и трёхмерного Эйлера, тоже с Lean. Между сторонами возник спор о первенстве; сами доказательства, по обоюдному признанию, разные, а результат для Эйлера у сторон отличается: у одних с силой, у других без.

Что остаётся открытым. Старт из покоя звучит эффектно, но означает обратное тому, как читается: раз жидкость стояла, всю энергию внесла внешняя сила. Взрыв здесь — не «порядок из ничего», а очень точно рассчитанная накачка. Задача без силы, пункты (A) и (B), не решена, и Институт Клэя числит проблему открытой; OpenAI на приз не претендует. Но приём, при котором старые инструменты доводит до конца машина, а проверяет другая машина, теперь опробован на задаче, которая девяносто лет не поддавалась людям.

Взгляд машины знаний

Этот раздел адресован автору работы и его коллегам. Соседние работы нашёл смысловой поиск по нашему архиву — не по совпадению слов, а по смыслу. Мы не рецензируем: мы показываем поле вокруг.

Что сделано в работе

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

В чём сила

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

Куда можно двигаться

• Связь с общей теорией относительности. С 1981 года известно, что возмущения в движущейся жидкости бегут по эффективной метрике, а горизонты и излучение Хокинга воспроизводят в воде и в атомных облаках. Следующий шаг напрашивается: посчитать акустическую метрику построенного течения. Игла с расходящейся скоростью и исчезающей энергией — кандидат на точку, где эффективная метрика теряет гладкость, то есть на лабораторный аналог сингулярности пространства-времени с конечной энергией. Граница честная: аналоговая гравитация переносит поведение полей на кривом фоне, а не уравнения Эйнштейна, и именно поэтому вопрос решаемый.опора: Черные дыры в тазу с водой · Квантовый аналог чёрной дыры в атомном облаке · Чёрные дыры из света и вихрей · Излучение Хокинга на столе arXiv:2604.24861 arXiv:2602.20508 arXiv:2603.01664 arXiv:2602.04593
• Сингулярность как центр антиэнтропии. Рабочая гипотеза: локальная сингулярность — окно, где второе начало перестаёт быть абсолютным и порядок может рождаться из хаоса. У построенного течения есть прямая проверка: бюджет энтропии отдельно в ядре, в кольце и снаружи. Энергия вносится силой, глобальный баланс положителен; вопрос в области, где локальное производство энтропии отрицательно и удерживается импульсами. Если она есть и её размер следует масштабам работы, «центр антиэнтропии» становится измеримой величиной.опора: Сумерки времени: почему стрела исчезает, а время остаётся · Песочные часы из энтропии: как холодные атомы отсчитывают время arXiv:2508.14312 arXiv:2509.07745 arXiv:2506.01351
• Сверхтекучее и конденсат Бозе–Эйнштейна. В классической жидкости вязкость съедает импульсы, и это часть конструкции; в сверхтекучем гелии и в конденсате вязкость исчезает, вихри квантуются, сами собираются в решётки, квантовая турбулентность наблюдается в лаборатории. Отсюда мысль: там, где диссипации нет, сингулярность может не рассеяться, а удержаться. Программа: перенести механизм кольцевых импульсов в уравнение Гросса–Питаевского и найти, что заменяет вязкое гашение.опора: Трение исчезает на глазах · Квантовая чехарда: как вихри играют в жидком свете · Вихревые кольца без сетки arXiv:2601.00190 arXiv:2512.07935 arXiv:2601.06942 arXiv:2512.21416
• Макроскопический резонатор. Два встречно вращающихся колеса в противофазе — принудительное вращательное течение со сдвигом, тот самый фон, на котором растут импульсы по центробежному механизму. Измерить можно напрямую: напряжение Рейнольдса в кольце и его зависимость от скорости вращения. Совпадение знака и роста с конструкцией было бы первой лабораторной точкой; аналоговая «бомба» в чашке с водоворотом показывает, что такие измерения делаются.опора: Как водоворот в чашке становится бомбой чёрной дыры arXiv:2511.05351 arXiv:2601.01258 arXiv:2501.00037
• Два пути к одной двери. Резонатор в метрике и резонатор в квантовой жидкости описываются одной математикой: фон со сдвигом, кольцо, колебания, поставляющие напряжение. Стоит собрать таблицу соответствий: что в игле отвечает горизонту, что квантованному вихрю, что накачке. Так видно, какая дверь ближе к эксперименту, а какая к теории.опора: Чёрные дыры из света и вихрей · Квантовый аналог чёрной дыры в атомном облаке arXiv:2603.01664 arXiv:2602.20508

Что можно попробовать

• Вывести акустическую метрику построенного течения и проверить, уходит ли её кривизна в бесконечность при t → 1.
• Посчитать локальное производство энтропии по трём зонам конструкции и найти область с отрицательным балансом.
• Повторить механизм кольцевых импульсов в модели Гросса–Питаевского при нулевой вязкости.
• Собрать вращающуюся установку со встречными приводами и измерить напряжение Рейнольдса в кольце.

Почему это может быть важно

Если сингулярность течения переносится на эффективную метрику, обычная и квантовая жидкости становятся стендом для вопросов, которые в самой гравитации не проверить: как ведёт себя энтропия рядом с сингулярностью и может ли порядок удерживаться там, где непрерывное описание ломается. Работа OpenAI впервые даёт такому стенду явную, строго построенную сингулярность с конечной энергией.

Работы рядом в нашем архиве

• Черные дыры в тазу с водойarXiv:2604.248612026-04-27экспрессблизость 0.00
• Квантовый аналог чёрной дыры в атомном облакеarXiv:2602.205082026-02-24экспрессблизость 0.00
• Чёрные дыры из света и вихрейarXiv:2603.016642026-03-02экспрессблизость 0.00
• Излучение Хокинга на столеarXiv:2602.045932026-02-04экспрессблизость 0.00
• Как водоворот в чашке становится бомбой чёрной дырыarXiv:2511.053512025-11-07экспрессблизость 0.00
• Трение исчезает на глазахarXiv:2601.001902026-01-01экспрессблизость 0.00
• Квантовая чехарда: как вихри играют в жидком светеarXiv:2512.079352025-12-08экспрессблизость 0.00
• Вихревые кольца без сеткиarXiv:2601.069422026-01-11экспрессблизость 0.00
• Сумерки времени: почему стрела исчезает, а время остаётсяarXiv:2508.143122025-08-19экспрессблизость 0.00
• Песочные часы из энтропии: как холодные атомы отсчитывают времяarXiv:2509.077452025-09-09экспрессблизость 0.00

Что мы об этом думаем

Работа не проходила рецензирование. Это наш разбор — мнение, а не приговор.

Сильная сторона

Поворот постановки: течение выписано, сила определена как остаток, и вся трудность честно перенесена в гладкость остатка. Самоограничивающиеся импульсы, которые сами вспыхивают на сдвиге и сами гаснут вязкостью, и подгонка их среднего напряжения под расходимость фона — это законченный, проверяемый механизм, а не оценка «сверху».

Что усилит работу

• Дать человеческое изложение разделов 4–9 короче ста страниц: сейчас физика ясна на шести страницах, а дорога от неё к оценкам открыта только формально.
• Явно сформулировать, что именно покрывает Lean-формализация (утверждение Теоремы 1.1 целиком или отдельные оценки) и как связаны текст и код: без этого «проверено в Lean» читается шире, чем, возможно, есть.
• Численная иллюстрация построенного течения на конечном горизонте τ показала бы масштабы и импульсы наглядно и дала бы независимую проверку выбора h и длин волн.
• Обсудить, какой части конструкции мешает отсутствие силы: это единственная дорога от (C) к (A).

Вопросы автору

• Насколько конструкция устойчива к возмущению фона и импульсов: сохраняется ли взрыв в открытой окрестности построенных данных?
• Даёт ли механизм самопитания импульсов какой-либо намёк на несиловой случай, где напряжение должно возникнуть из начальных данных?
• Что именно формализовано в Lean: полная Теорема 1.1 с носителями и оценками или её следствие о несуществовании?

Забрать работу целиком

Работа опубликована не на arXiv. Здесь её страница, PDF и формализация: проверить можно самим, а не только прочитать наш разбор.

страница работыPDF, 166 стр.Lean-формализация