Разработчики из OpenAI объявили о триумфе своих технологий в области фундаментальной науки, утверждая, что их внутрелокальная нейросетевая система сумела справиться с одной из семи легендарных «задач тысячелетия». Речь идет о проблеме существования и гладкости решений уравнений Навье — Стокса, которая десятилетиями ставила в тупик лучшие умы человечества.
Согласно официальному сообщению компании, представленное доказательство, сгенерированное специализированным ИИ, подтверждает возможность возникновения сингулярности в динамике потоков жидкости при конечном перио de времени. В OpenAI подчеркнули, что публикация включает в себя не только логическое описание самого метода, но и его строгую формализацию на языке Lean.
Суть научной дилеммы, не имевшей ответа на протяжении почти 90 лет, заключается в вопросе о сохранении плавности трехмерного движения жидкости. Ученых интересовало, могут ли уравнения Навье — Стокса для несжимаемой жидкости с постоянной плотностью привести к появлению сингулярности — момента, когда скорости частиц начинают расти бесконечно, даже если изначально движение было стабильным. В такой ситуации вязкость, которая обычно сглаживает любые резкие изменения, не справляется с процессом. С точки зрения физики, бесконечная скорость невозможна, а значит, классические уравнения в этот момент перестают работать, требуя перехода к учету каждой отдельной частицы.
Разработанная OpenAI модель подтвердила гипотезу: в изначально спокойной и гладкой жидкости сингулярность может возникнуть. Процесс протекает под воздействием плавной силы, при этом общая энергия системы остается конечной. Механизм явления напоминает движение спиралевидного вихря, который закручивается к центру, наподобие тонкой нити спагетти, при этом центральная зона сжимается и ускоряется, не нарушая энергетический баланс. Главная математическая трудность заключалась в том, чтобы доказать: сингулярность порождается внутренней динамикой самого потока, а не внешним бесконечным воздействием. Это требует ювелирного баланса, при котором компоненты уравнения — ускорение, давление, вязкость и перенос импульса — растут одновременно, взаимно компенсируя друг друга.
Для достижения такого результата компания задействовала внутреннюю архитектуру, чьи вычислительные мощности значительно превосходят возможности модели GPT-6 Astra. В процессе работы над списком «задач тысячелетия» участвовала колоссальная группа из примерно 10 тысяч автономных агентов. Система имела доступ к исполнению программного кода и к кэшированной копии глобальной сети. Исследователи разделили агентов на группы: одни пытались найти подтверждение гипотезы, другие — опровергнуть её. В ходе эксперимента ИИ успешно справился и с более простой задачей — проблемой регулярности решений уравнений Эйлера (случай без учета вязкости). На работу над опровержением гипотезы по уравнениям Эйлера у почти сотни агентов ушло около 50 часов. Само решение задачи Навье — Стокса было достигнуто в субботу, 5 сентября, а последующая проверка и формализация через GPT-6 Astra заняли еще 17 часов.
Однако вокруг этого научного прорыва разгорается серьезный этический и профессиональный спор. В OpenAI признались, что 1 сентября до них дошли слухи о решении двух других фундаментальных проблем. Позже выяснилось, что авторами этих работ являются математик Левент Альпеге из Anthropic и профессор Нью-лордского университета Тристан Бакмастер. В компании заявили, что, узнав о результатах коллег, сразу связались с ними, чтобы предложить совместную публикацию и признать их приоритет. При этом в OpenAI подчеркнули, что их агенты не имели доступа к чужим наработкам до их официального выхода в свет.
Со стороны оппонентов ситуация выглядит иначе. Тристан Бакмастер 8 сентября представил три доказательства, подготовленные совместно с Альпеге с использованием моделей Codex и Claude. Профессор отметил, что у данной истории есть и другая сторона, и выразил нежелание вступать в подобные дискуссии. Его позиция строится на том, что OpenAI использовала их результаты еще до того, как те стали публичными. Вскоре после этих обвинений OpenAI опубликовала полный текст доказательства решения задачи Навье — Стокса.
