10 000 агентов, слежка в коде и отказ от миллиона: изнанка «решенной» OpenAI Задачи тысячелетия

Компания OpenAI опубликовала 166-страничный препринт и сопроводительный код математического доказательства, посвященный уравнениям Навье — Стокса. Это фундаментальная система уравнений, которая описывает движение жидкостей и газов. Исследователи заявили, что построили сценарий математической сингулярности для трехмерных уравнений с гладкой силой. Это закрывает один из вариантов задачи, входящей в список семи «Проблем тысячелетия», за решение каждой из которых Математический институт Клэя в 2000 году назначил награду в один миллион долларов.

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

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

Что описывают уравнения Навье — Стокса

Французский инженер Анри Навье вывел базовую формулу движения вязкой жидкости в 1822 году, а британский математик Джордж Стокс уточнил и обобщил ее в 1845 году. С тех пор система уравнений Навье — Стокса служит математической основой гидродинамики, аэродинамики, метеорологии и прикладного машиностроения.

С точки зрения физики эти уравнения представляют собой второй закон Ньютона (произведение массы на ускорение равно сумме действующих сил), адаптированный для жидких и газообразных сред. Они связывают между собой ключевые физические параметры в каждой точке пространства:

• скорость потока;
• внутреннее давление;
• плотность среды;
• действие внешних сил;
• кинематическую вязкость (меру внутреннего трения между слоями вещества).

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

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

В чем заключается суть Проблемы тысячелетия: пункты Феффермана

Несмотря на двухвековое прикладное применение, строгий математический статус этих уравнений оставался незавершенным. Уравнения Навье — Стокса относятся к нелинейным дифференциальным уравнениям в частных производных. Для них не существует общего аналитического решения в виде единой замкнутой формулы.

Математик Чарльз Фефферман в официальном описании задачи для Института Клэя разделил проблему на четыре конкретных сценария:

• Пункты (A) и (B): доказать существование глобально гладких решений или сингулярности в бесконечном трехмерном пространстве либо в замкнутом пространстве (периодическом трехмерном торе) полностью без действия внешних сил.
• Пункты (C) и (D): доказать формирование сингулярности (разрушение гладкости за конечное время) в присутствии физически допустимой гладкой внешней силы, которая действует лишь в строго ограниченной области пространства и плавно спадает до нуля за ее пределами.

Гладкость означает, что функции скорости и давления непрерывны и их можно вычислять без разрывов и скачков. Если в системе возникает сингулярность, локальная скорость или закрученность потока за конечное время формально уходят в бесконечность, и уравнения теряют математический смысл.

Принципиальное уточнение: препринт OpenAI заявляет решение пунктов (C) и (D). Исследователи показали, что уравнения Навье — Стокса могут порождать бесконечную скорость за конечное время при наличии плавной внешней накачки энергии. Вопрос о том, способна ли жидкость развить бесконечную скорость самопроизвольно, полностью без внешних сил (пункты A и B), для уравнений Навье — Стокса остается открытым.

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

Предыстория: метод слоев и конфликт вокруг приоритета

Поиск сингулярности шел через постепенное упрощение физической модели.

Первым шагом был анализ уравнений Эйлера, описывающих идеальную жидкость без вязкости. В 2014 году Томас Хоу из Калифорнийского технологического института доказал возникновение сингулярности для уравнений Эйлера, но лишь при наличии жестких стенок контейнера, отражавших поток. Доказать коллапс в открытом пространстве тогда не удалось.

Фундаментальный метод в 2021 году предложили испанские математики Диего Кордоба из Испанского национального исследовательского совета (CSIC) и Луис Мартинес-Зороа из Университета CUNEF. Они разработали схему асимптотически самоподобного каскада: поток математически разделялся на бесконечно тонкие взаимодействующие слои. Взаимное влияние слоев концентрировало энергию, обеспечивая ускорение вихря до сингулярных значений как в уравнениях Эйлера, так и в уравнениях Навье — Стокса. Однако для работы их модели требовалось присутствие искусственной внешней силы, не отвечавшей физическим критериям задачи тысячелетия.

Дальнейшее развитие событий привело к острому научному и этическому конфликту:

1. На протяжении почти года математик Тристан Бакмастер из Нью-Йоркского университета (NYU) и исследователь Левент Альпоге вели работу по устранению искусственной силы. Альпоге при этом являлся штатным сотрудником компании Anthropic — прямого конкурента OpenAI.
2. В качестве основного рабочего инструмента для рутинных аналитических выкладок и черновых записей авторы использовали систему OpenAI Codex (модели GPT-5.6 Sol и Astra).
3. 15 августа исследователи получили результат, устранив необходимость искусственной силы для уравнений Эйлера и смежных моделей переноса.
4. К 1 сентября в сообществе распространились сведения о готовящейся публикации Бакмастера и Альпоге.
5. Узнав о слухах, OpenAI в экстренном порядке подключила большие вычислительные мощности для атаки на Проблемы тысячелетия.
6. Бакмастер связался с OpenAI с прямым вопросом: использовались ли данные из их закрытых рабочих сессий в Codex для наведения моделей компании? В OpenAI заявили, что целенаправленного извлечения данных конкретных пользователей не происходило, однако официально признали: компания не может исключать, что обезличенная телеметрия взаимодействия исследователей с Codex повлияла на обучение и настройку внутренних алгоритмов.
7. В ходе предварительных переговоров о возможной координации релизов вице-президент OpenAI Себастьян Бюбек предложил объединить результаты в совместной публикации. Согласно заявлению Тристана Бакмастера, со стороны OpenAI было выдвинуто условие исключить из соавторства Левента Альпоге из-за его работы в конкурирующей компании Anthropic, на что Бакмастер ответил отказом, сославшись на годичную совместную работу над проектом. Математик также сообщил о напряженном характере беседы; позже Бюбек признал, что его ремарка о карьерных перспективах коллеги была неудачно сформулирована, и публично отозвал свои слова. Представители OpenAI, в свою очередь, подчеркнули независимость работы своих алгоритмов и назвали утверждения о заимствовании необоснованными. В итоге соглашение достигнуто не было, и обе группы опубликовали препринты раздельно с интервалом в несколько часов.

Комментируя развитие ситуации, Бакмастер публично подчеркнул, что фундаментальная заслуга в создании математического механизма принадлежит испанскому исследователю Луису Мартинесу-Зороа, заявив, что тот заслуживает за свои идеи Филдсовской премии. Позже к открытому анализу работ подключился филдсовский лауреат Теренс Тао, подробно разобравший геометрию каскадного метода.

Архитектура машинного штурма: 130 миллиардов токенов

Вычислительная кампания OpenAI потребовала беспрецедентных ресурсов, доступных лишь крупнейшим технологическим корпорациям:

• Модель: основную логическую работу выполнила неопубликованная внутренняя модель исследовательского уровня, превосходящая GPT-6 Astra по глубине математических рассуждений.
• Масштаб вычислений: в непрерывной работе в течение 88 часов участвовало 10 000 параллельных программных агентов. Непосредственно на решение задачи Навье — Стокса система сгенерировала 2,7 миллиона сообщений объемом порядка 130 миллиардов токенов (суммарный расход по всем параллельно атакованным задачам составил 4,9 миллиона сообщений и 300 миллиардов токенов).
• Финансовые затраты: экспертные оценки стоимости затраченного машинного времени на этот вычислительный штурм составляют от 10 до 22 миллионов долларов.
• Формализация доказательства: после получения 166-страничного текста доказательства модель GPT-6 Astra потратила еще 17 часов на перевод и проверку выкладок в интерактивной системе доказательства теорем Lean 4.
• Результат для уравнений Эйлера: параллельно с задачей Навье — Стокса система за 50 часов работы 100 агентов сформировала решение для уравнений Эйлера уже в чистом виде — полностью без действия внешних сил.

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

Механика сингулярности: саморастяжение вихревой структуры

Сконструированный системой агентов контрпример описывает эволюцию строго рассчитанной вихревой нити.

В трехмерной механике сплошных сред ключевую роль играет процесс растяжения завихренности. Если жидкость движется вдоль оси вращающегося вихря, вихревая трубка удлиняется. Поскольку объем несжимаемой среды остается неизменным, поперечное сечение вихря пропорционально уменьшается.

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

Агенты подобрали геометрию течения и параметры плавной внешней силы так, что возникла самоусиливающаяся связь:

1. Продольное растяжение уменьшает радиус вихревой трубки.
2. Уменьшение радиуса вызывает резкий рост угловой скорости.
3. Рост скорости создает зону локального разрежения давления.
4. Перепад давления усиливает продольный приток среды, растягивающий вихрь еще сильнее.

Математический расчет подтвердил: скорость сжатия вихря превосходит скорость диссипации энергии вязкостью. За строго конечное расчетное время радиус трубки стремится к нулю, а угловая скорость и плотность энергии устремляются в бесконечность. Начальная кинетическая энергия системы и параметры приложенной внешней силы при этом остаются строго конечными, что удовлетворяет условиям пунктов (C) и (D) Института Клэя.

Пределы модели: почему реальная жидкость не разрушается

Доказательство сингулярности в формулах не означает, что реальные гидродинамические процессы способны развить бесконечную скорость.

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

По мере того как расчетный радиус вихря уменьшается до наномасштабов, уравнения перестают соответствовать физической природе объекта. Для определения границы применимости уравнений используют число Кнудсена — отношение длины свободного пробега молекул к геометрическому масштабу процесса. Когда это число превышает порог порядка одной десятой, законы механики сплошной среды утрачивают силу. На этих расстояниях гидродинамическое описание сменяется законами статистической механики и квантовых взаимодействий. Межмолекулярные соударения разрушают упорядоченную структуру вихря задолго до достижения сингулярности.

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

Научный аудит и корпоративный фон

Публикация OpenAI фиксирует важный методологический сдвиг: автоматизированные системы перешли от генерации гипотез к самостоятельному доказательству открытых математических проблем. Однако этот прорыв порождает вызовы для института научной экспертизы.

Традиционное математическое доказательство служит не только получению однозначного ответа, но и формированию исследовательской интуиции ученых. Текст объемом 166 страниц со сложнейшими системами дифференциальных оценок требует многих месяцев независимого аудита, а для полной проверки требует привлечения верификаторов кода вроде Lean 4.

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

Спешка с обнародованием результатов и отказ от предварительного академического рецензирования объясняются и коммерческим контекстом: публикация состоялась в период масштабной корпоративной реструктуризации OpenAI и подготовки к публичному размещению акций (IPO) с целевой оценкой в 1 триллион долларов. Демонстрация превосходства собственной вычислительной инфраструктуры в решении Проблемы тысячелетия стала мощным аргументом в борьбе за технологическое лидерство.

Истинную математическую силу доказательства определят не пресс-релизы, а двухлетний открытый аудит мирового математического сообщества в соответствии с регламентом Института Клэя.