Математики Тристан Бакмастер и Левент Алпёге построили пример трёхмерного течения, в котором при гладком начальном состоянии и гладкой внешней силе за конечное время возникает сингулярность. Завихренность жидкости неограниченно растёт, хотя до этого момента решение уравнений остаётся гладким. При создании доказательства исследователи существенно использовали Claude и Codex.

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

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

Основу метода ранее разработали Диего Кордоба и Луис Мартинес-Сороа. Бакмастер и Алпёге сообщают, что при помощи языковых моделей смогли распространить эту исследовательскую программу на гладкую внешнюю силу и трёхмерные уравнения Эйлера. Один из первоначальных вариантов доказательства, созданный при участии ИИ, они проверили в Lean, а затем занялись его разбором и переписыванием. В отличие от недавней формализации теоремы Ферма, здесь модели участвовали не только в переводе уже известной математики в проверяемый код, но и в получении нового результата.

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

Иллюстрация создана с помощью ИИ; не является визуализацией расчётов из исследования.