OpenAI сообщает, что нерелизная экспериментальная ИИ-система решила одну из самых известных нерешённых проблем математики после того, как около 10 000 агентов работали вместе всего 88 часов.
Компания опубликовала предложенное решение проблемы существования и гладкости уравнений Навье-Стокса, одной из семи задач тысячелетия, за решение которых предусмотрена премия в 1 миллион долларов. Эти уравнения описывают, как движутся жидкости, такие как вода и воздух, тогда как нерешённый вопрос заключается в том, может ли совершенно гладкий поток в конечном итоге нарушиться и привести к скоростям, растущим без ограничений.
Система OpenAI говорит, что может. Её доказательство описывает жидкостный вихрь, который всё больше растягивается и концентрируется, пока его скорость не возрастает до бесконечности за конечное время, при этом общая энергия системы остаётся конечной.
Согласно современным представлениям о физике, реальные жидкости не могут двигаться с бесконечной скоростью. При достаточно экстремальных масштабах предположение, лежащее в основе уравнений Навье-Стокса, о том, что жидкость можно рассматривать как одну сплошную субстанцию, перестает соответствовать физической реальности.
Результат был получен с помощью внутренней модели, которую OpenAI называет значительно более способной, чем GPT-6 Astra (самая продвинутая публично доступная модель). Около 10 000 агентов обменялись 2,7 миллиона сообщений и сгенерировали примерно 130 миллиардов токенов при работе над уравнениями Навье-Стокса, после чего Astra потратила еще 17 часов на формализацию и проверку доказательства.
Практическое влияние самого доказательства займет время. Уравнения Навье-Стокса используются в таких областях, как проектирование самолетов, прогнозирование погоды и исследования кровотока, поэтому более глубокое понимание того, где уравнения могут давать сбои, в конечном итоге может улучшить моделирование экстремальных и турбулентных потоков учеными.
Более значимым может быть сама система, которая нашла его. Если тысячи AI-агентов могут атаковать 90-летнюю математическую задачу за несколько дней, тот же подход в конечном итоге можно будет применить к сложным проблемам в материаловедении, энергетике, аэрокосмической отрасли, медицине и других областях.
Уже существует спор о том, насколько независимо был достигнут результат.
Математик Нью-Йоркского университета Тристан Бакмастер и исследователь Anthropic Левент Альпёге независимо друг от друга работали над тесно связанной задачей в области динамики жидкостей и использовали инструменты ИИ в ходе своих исследований. Бакмастер задавался вопросом, могла ли непубликовавшаяся работа, введенная в продукты OpenAI, повлиять на модель компании, в серии постов в социальной сети Mastodon.
Бакмайстер сказал, что он и Альпёге потратили примерно год на поиск необычного подхода к решению задачи, связанной с гладкой внешней силой, при этом в ходе их работы активно использовались такие инструменты ИИ, как Codex.
Он добавил, что почти никто другой, кого он знал, не занимался тем же подходом, и задался вопросом, как OpenAI пришла к этому в течение нескольких дней после того, как узнала, что пара добилась прогресса.
Бакмейстер сказал, что во время обсуждений с OpenAI ему изначально показали промпт и сообщили, что внутренние исследовательские усилия компании начались без человеческого вмешательства, кроме постановки задачи.
Согласно Бакмастеру, этот аккаунт менялся в течение разговора, и в конечном итоге OpenAI признала, что первый запрос был отправлен лишь в предыдущие дни, после того как информация о работе Бакмастера и Альпёге попала в компанию.
OpenAI ответила, что ни её исследователи, ни агенты не видели свою работу до публикации, и что к конкретным данным пользователей доступ не осуществлялся. Компания добавила, что не может исключить, что обезличенные данные, полученные в результате использования продуктов OpenAI, могли помочь в улучшении её моделей, при этом сами доказательства существенно отличаются.
Таким образом, доказательство пока не является официально признанным решением. Институт математики Клэя требует, чтобы предложенные решения выдержали длительную проверку и получили широкое признание среди математиков, прежде чем будет рассмотрен вопрос о присуждении приза в размере 1 миллиона долларов.
В то же время OpenAI заявляет, что не намерена претендовать на приз, представив результат скорее как доказательство того, насколько быстро улучшаются её исследовательские системы.