OpenAI сделала громкое заявление: ее внутренняя ИИ-система решила одну из семи «Задач тысячелетия», за которую Институт Клэя назначил премию в размере одного миллиона долларов. Речь идет о задаче существования и гладкости решений уравнений Навье-Стокса, описывающих движение жидкостей и газов. До настоящего момента из этого списка была решена лишь одна задача — гипотеза Пуанкаре, доказанная Григорием Перельманом в 2010 году.
Суть нерешенной проблемы заключается в том, что общее решение уравнений Навье-Стокса до сих пор не найдено. Инженеры и математики вынуждены использовать численные расчеты или формулы для частных случаев. Главный открытый вопрос звучит так: если жидкость в начальный момент движется плавно и с конечной энергией, останется ли ее течение плавным навсегда? Или через какое-то время в нем возникнет точка, где скорость обратится в бесконечность? Такая точка означала бы, что уравнения перестают описывать реальную жидкость, и модель сплошной среды в этом месте разрушается.
Согласно заявлению OpenAI, их модель построила пример течения, которое стартует из состояния покоя под действием плавной и ограниченной внешней силы, но за конечное время все же разгоняется до бесконечной скорости, сохраняя при этом конечную энергию. Визуально это выглядит как вихрь, который закручивается внутрь и вытягивается вдоль оси, напоминая спагетти: центральная область сжимается и одновременно ускоряется без предела.
Несмотря на потенциально историческое достижение, на денежное вознаграждение компания не претендует. Причина проста: Институт Клэя предъявляет строгие требования к доказательству, включая публикацию в профильном журнале, признание научным сообществом и двухлетний срок ожидания. Сама OpenAI заявляет, что работа была проделана исключительно для демонстрации мощи искусственного интеллекта. Разработчики уже опубликовали формализацию доказательства на языке Lean, однако работе еще предстоит пройти тщательную проверку математиков по всему миру.
Ситуация осложняется заявлением математика Тристана Бакмастера из Нью-Йоркского университета. Он совместно с Левентом Альпеге из Anthropic опубликовал три собственных доказательства о разрушении решений для родственных уравнений. В приложенном заявлении Бакмастер утверждает, что OpenAI предлагала ему выпустить результат по Навье-Стоксу под его единоличным авторством, исключив Альпеге из-за его работы в конкурирующей компании. Черновики проекта хранились в сессиях Codex, и на вопрос, обучалась ли на них внутренняя модель OpenAI, Бакмастер ответа не получил. При этом он подчеркивает, что доказательства компании не видел и ни в чем ее не обвиняет. Себастьен Бубек, названный в заявлении, уже назвал обвинения ложными и пообещал предоставить развернутый ответ.
Таким образом, перед нами не просто научный прорыв, но и потенциальный этический скандал, который может изменить представление о роли ИИ в фундаментальной науке.
