Конечновременной взрыв в трёхмерных уравнениях Навье–Стокса с гладкой компактной силой: разбор конструкции ✛ ✎ ✦ OpenAI теория сделано ИИ-агентами OpenAI (≈10 000 агентов, 88 ч) · проверено в Lean
Контекст
Задача регулярности: остаётся ли гладким решение трёхмерных несжимаемых уравнений Навье–Стокса из гладких данных. Лере (1934) построил глобальные слабые решения конечной энергии; Каффарелли, Кон и Ниренберг (1982) показали, что сингулярное множество подходящего слабого решения имеет нулевую одномерную параболическую меру Хаусдорфа, что допускает изолированные особенности; Эскауриаса, Серегин и Шверак (2003) дали регулярность при ограниченной масштабно-инвариантной норме \(L^\infty_t L^3_x\). Тао (2016) построил взрыв для усреднённых уравнений с сохранением энергетического сокращения; Бакмастер и Викол (2019) выпуклым интегрированием получили неединственность слабых решений; Албриттон, Брюэ и Коломбо (2022) построили различные решения Лере–Хопфа с нулевыми данными и одной силой, но сингулярной в начальный момент. Прямой предшественник — Кордоба и Мартинес-Сороа: взрыв для трёхмерного Эйлера с силой (2023), для пористой среды с гладким источником (2024) и, с Чжэном, для гиподиссипативного Навье–Стокса. В их конструкциях сдвиг крупного масштаба усиливает завихрённость мелкого при подавленных самовзаимодействиях. За день до работы OpenAI Бакмастер и Альпёге выложили взрыв с гладкой силой для пористой среды, двумерного Буссинеска и трёхмерного Эйлера с Lean-формализациями; Тао в тот же день оценивал их подход как «с высокой вероятностью переносимый на Навье–Стокса». Формулировка Феффермана прямо допускает любое из четырёх утверждений (A)–(D) как решение; условие (5) на силу выполнено для любой \(f\in C_c^\infty\).
Методы
Метод — обратный: остаток \(R(u,p)=\partial_t u+(u\cdot\nabla)u-\Delta u+\nabla p\) (\( u\) = 1 после масштабирования) объявляется силой, и задача сводится к построению u, p с неограниченной скоростью и гладким вплоть до \(t=1\) остатком вместе со всеми пространственно-временными производными. Конструкция идёт слоями. (1) Осесимметричный самоподобный фон \((u_B,p_B)\): в цилиндрических координатах ядро с радиальным притоком, азимутальной раскруткой и осевым оттоком по обе стороны от разделяющего слоя вблизи \(z=0\); масштабы \(\ell_r\asymp\tau^{1/2},\ \ell_z\asymp\tau^{1/2-h},\ 0\lt h\lt 1/100\), скорости \(|u_\theta|,\,|u_z|\asymp\tau^{-1/2-h},\ |u_r|=O(\tau^{-1/2})\); давление падает к оси и даёт центростремительную силу; вязкость переносит момент импульса наружу, рост скорости — баланс притока и вязкой утечки. Профильные уравнения задают главный баланс в ядре; сшивка с гладким внешним течением оставляет в кольце остаток, равный минус дивергенции кольцевого напряжения с точностью до члена, исчезающего до всякого порядка в сингулярной точке (Предложение 5.5). Осевой профиль намеренно слегка асимметричен с малым сдвигом вверх и \(u_z(r,0,t)\neq0\): иначе в плоскости \(z=0\) обнулялись бы и осевой перенос момента импульса, и радиальный сдвиг осевой скорости, а без них импульсы там не усиливаются. (2) Колебательные импульсы: последовательности пространственно осциллирующих возмущений, локализованных по r, z, t и замкнутых в полные кольца, две семьи с разными отношениями радиального потока момента импульса к радиальному потоку осевого импульса; их усреднённые квадратичные произведения реализуют главное напряжение (Предложение 7.5). Затравка — экспоненциально малая внешняя сила; рост — на сдвиге фона по центробежному механизму (критерии Лейбовича–Стюартсона, Билланта–Галлера) с вкладом осевого сдвига; ориентация выбрана так, что сдвиг укорачивает радиальную длину волны, затухание \(\propto k^2\) перегоняет усиление, и хвосты вместе со всеми производными исчезают при \(t\to1\). Опора на точные решения Крейка–Криминале и вязкие сдвиговые волны Сингха–Шридхара, на технику реализации напряжений колебаниями из Данери–Секейхиди. (3) Последовательные поправки улучшают убывание остатка (Предложение 9.6); вспомогательный тор и разделение носителей осцилляций (раздел 6), компактно поддержанные средние поправки (раздел 8). (4) Внешнее течение — чисто азимутальное, не зависящее от z, точно решающее радиальное уравнение теплопроводности («тепловая внешность»): его остаток тождественно нулевой; при каждом фиксированном r > 0 поля и все производные имеют гладкие пределы при \(t\uparrow1\), что позволяет гладко обрезать течение в пространстве (раздел 10); сила от обрезки остаётся гладкой. Оценки контролируют все декартовы производные остатка. Формализация в Lean 4 с Mathlib (репозиторий openai/NavierStokesAndEuler, Apache-2.0) охватывает утверждение о несуществовании глобального гладкого решения с ограниченной энергией на R³ и на торе.
Результаты
Для любого \(\nu\gt 0\): гладкое решение из покоя с компактным носителем и ограниченной энергией, у которого \(\|u(t)\|_{L^\infty}\to\infty\) при \(t\uparrow1\), при силе \(f\in C_c^\infty(\mathbb R^3\times(0,\infty))\). Ключевые масштабы: объём ядра \(\asymp\tau^{3/2-h}\), кинетическая энергия ядра \(\asymp\tau^{1/2-3h}\to0\) при неограниченной скорости; числа Рейнольдса \(\mathrm{Re}_\theta\asymp\tau^{-h}\to\infty\) и \(\mathrm{Re}_r=O(1)\); скорости переноса и радиальной диффузии \(|u_r|/\ell_r,\ |u_z|/\ell_z,\ \nu/\ell_r^2\) все \(\asymp\tau^{-1}\), осевая диффузия слабее в \(\tau^{2h}\) раз. Следствие 10.6: перенос на T³. Заявлено закрытие альтернатив (C) и (D) Феффермана. Дополнительно OpenAI сообщает о взрыве для несиловых уравнений Эйлера (отдельная работа, ~100 агентов, ~50 часов). По данным OpenAI: ~10 000 согласованных агентов, 88 часов до решения, 17 часов на формализацию и проверку в Lean, 2,7 млн сообщений, ~130 млрд выходных токенов на задачу.
Значение
Первый пример конечновременного взрыва для полных трёхмерных уравнений Навье–Стокса с настоящей вязкостью и гладкой силой, из покоя и с конечной энергией. Механизм — не «преодоление» вязкости, а её включение в самоподобный баланс при расходящемся вращательном числе Рейнольдса. Конструктивно показано, что нелинейный член сам способен поставлять недостающее напряжение через средние квадратичные потоки колебаний, то есть напряжение Рейнольдса выступает управляемым инструментом, а не помехой. Для задачи (A)/(B) результат прямого ответа не даёт: сила существенна, энергия вносится извне. Но он сдвигает границу: вопрос о несиловом взрыве становится вопросом о том, может ли аналогичное напряжение возникнуть из самих начальных данных без накачки. Отдельно значим методологический факт: доказательство длиной в 166 страниц собрано из известных инструментов системой агентов и проверено формально; это первый случай, когда результат такого веса опубликован без человеческой подписи.
Развитие
Естественные направления: попытка перенести конструкцию на несиловой случай, заменив накачку энергией, заложенной в начальные данные; изучение устойчивости конструкции к возмущениям и величины h; численная иллюстрация построенного течения; независимое человеческое изложение разделов 4–9; сопоставление с подходом Бакмастера–Альпёге и выяснение, какие части совпадают по существу. Для гиподиссипативных и модельных уравнений результат, вероятно, упростит существующие конструкции. Открыт и вопрос о том, реализуется ли подобная накачка физически: сила в работе математическая, компактная и гладкая, но её физический аналог не обсуждается.
Влияние
Математическая гидродинамика (регулярность, слабые решения, выпуклое интегрирование), теория неустойчивостей вихрей, формальная верификация математики, методология ИИ-исследований. Косвенно — численная гидродинамика: конструкция даёт точный тестовый пример концентрации с расходящейся скоростью при исчезающей энергии.
Следующие шаги
Прочитать раздел 2 (физическая картина) и раздел 3 (схема) оригинала; сверить с формулировкой Феффермана условия (4)–(7); посмотреть репозиторий Lean и его README; прочитать пост Тао от 7 сентября о работах Бакмастера–Альпёге и препринты Кордобы–Мартинеса-Сороа (arXiv:2309.08495, 2410.22920).
Ключевые проблемы
Проблема тысячелетия о существовании и гладкости Навье–Стокса: закрыты альтернативы (C) и (D), открыты (A) и (B). Смежные: регулярность Эйлера (OpenAI сообщает о несиловом взрыве; Бакмастер–Альпёге — о взрыве с гладкой силой), критерии Била–Като–Майды, гипотеза о конечновременном взрыве Эйлера из гладких данных (численные свидетельства Луо–Хоу, доказательство Чена–Хоу с границей).
Взгляд машины знаний
Этот раздел адресован автору работы и его коллегам. Соседние работы нашёл смысловой поиск по нашему архиву — не по совпадению слов, а по смыслу. Мы не рецензируем: мы показываем поле вокруг.
Что сделано в работе
Построено течение, у которого скорость уходит в бесконечность за конечное время при гладкой внешней силе, из покоя и с конечной энергией: сингулярность живёт в игле, сжимающейся быстрее, чем разгоняется, а недостающую силу поставляет сама жидкость через среднее напряжение колебательных импульсов. Вязкость не подавлена, а встроена в самоподобный баланс. Для нас это не только ответ на пункты (C) и (D) формулировки Феффермана, но и первый строго построенный пример локальной сингулярности сплошной среды при конечной энергии — объект, с которым можно работать дальше.
В чём сила
Механизм полностью явный: вихрь-игла, кольцо, две семьи импульсов, тепловая внешность. Это значит, что его можно не только доказывать, но и переносить: считать его эффективную метрику, спрашивать, что с ним делает исчезающая вязкость, и пробовать воспроизводить в лаборатории. Работы с явной конструкцией редки, и ценность здесь именно в ней.
Куда можно двигаться
- Связь с общей теорией относительности. С 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 впервые даёт для такого стенда явную, строго построенную сингулярность с конечной энергией.
Работы рядом в нашем архиве
- Черные дыры в тазу с водойблизость 0.00
- Квантовый аналог чёрной дыры в атомном облакеблизость 0.00
- Чёрные дыры из света и вихрейблизость 0.00
- Излучение Хокинга на столеблизость 0.00
- Как водоворот в чашке становится бомбой чёрной дырыблизость 0.00
- Трение исчезает на глазахблизость 0.00
- Квантовая чехарда: как вихри играют в жидком светеблизость 0.00
- Вихревые кольца без сеткиблизость 0.00
- Сумерки времени: почему стрела исчезает, а время остаётсяблизость 0.00
- Песочные часы из энтропии: как холодные атомы отсчитывают времяблизость 0.00
Что мы об этом думаем
Работа не проходила рецензирование. Это наш разбор — мнение, а не приговор.
Сильная сторона
Поворот постановки: течение выписано, сила определена как остаток, и вся трудность честно перенесена в гладкость остатка. Самоограничивающиеся импульсы, которые сами вспыхивают на сдвиге и сами гаснут вязкостью, и подгонка их среднего напряжения под расходимость фона — это законченный, проверяемый механизм, а не оценка «сверху».
Что усилит работу
- Дать человеческое изложение разделов 4–9 короче ста страниц: сейчас физика ясна на шести страницах, а дорога от неё к оценкам открыта только формально.
- Явно сформулировать, что именно покрывает Lean-формализация (утверждение Теоремы 1.1 целиком или отдельные оценки) и как связаны текст и код: без этого «проверено в Lean» читается шире, чем, возможно, есть.
- Численная иллюстрация построенного течения на конечном горизонте τ показала бы масштабы и импульсы наглядно и дала бы независимую проверку выбора h и длин волн.
- Обсудить, какой части конструкции мешает отсутствие силы: это единственная дорога от (C) к (A).
Вопросы автору
- Насколько конструкция устойчива к возмущению фона и импульсов: сохраняется ли взрыв в открытой окрестности построенных данных?
- Даёт ли механизм самопитания импульсов какой-либо намёк на несиловой случай, где напряжение должно возникнуть из начальных данных?
- Что именно формализовано в Lean: полная Теорема 1.1 с носителями и оценками или её следствие о несуществовании?
Остаток фона в кольце сшивки расходится, и починить его внешней силой нельзя. Починили жидкостью: колебания с нулевой средней скоростью переносят импульс в одну сторону, и этот перенос подставлен точно под дыру. То, что в турбулентности называют помехой, здесь стало инструментом.
Ключевые числа
- вязкость ν: любая, \(\nu\gt 0\)
- момент взрыва: \(t=1\), старт из покоя u(·,0) = 0
- радиус ядра: \(\sim\tau^{1/2}\), \(\tau=1-t\)
- высота ядра: \(\sim\tau^{1/2-h}\), \(h\lt 1/100\)
- скорость в ядре: \(\sim\tau^{-1/2-h}\) → ∞
- энергия ядра: \(\sim\tau^{1/2-3h}\) → 0
- число Рейнольдса по вращению: \(\sim\tau^{-h}\to\infty\)
- объём работы: 166 страниц + формализация в Lean
- агентов в группе: ≈ 10 000, 88 часов
- проверка в Lean: 17 часов, 2,7 млн сообщений, ≈130 млрд токенов
Забрать работу целиком
Работа опубликована не на arXiv. Здесь её страница, PDF и формализация: проверить можно самим, а не только прочитать наш разбор.