Загадка динамики жидкостей, стоящая за вопросом на миллион долларов
Движение жидкости — от потоков воздуха над крылом самолета до глобальных погодных систем и кровообращения в нашем организме — часто кажется плавным и предсказуемым. Уравнения Navier–Stokes, сформулированные в XIX веке, являются математическим фундаментом, описывающим это поведение. Эти дифференциальные уравнения в частных производных отражают сложное взаимодействие сил внутри движущейся жидкости.
Тем не менее, глубокий вопрос ставит математиков в тупик уже почти столетие: может ли идеально плавный трехмерный поток жидкости внезапно «взорваться», образовав singularity за конечное время? Это означало бы, что такие свойства, как скорость или давление, становятся бесконечными в определенной точке, что противоречит ожидаемой глобальной гладкости решения.
В 2000 году Clay Mathematics Institute признал критическую важность этой открытой проблемы, включив ее в число семи Millennium Prize Problems. Институт предложил награду в $1 миллион за принятое решение, будь то доказательство существования гладких решений или окончательная демонстрация сингулярности за конечное время.
Внутри спринта доказательства с участием 10 000 агентов
Как сообщается, OpenAI развернула мультиагентную систему из 10 000 AI-агентов для решения задачи Navier. Этот рой одновременно исследовал конкурирующие стратегии доказательства и опровержения. Агенты искали в кэшированных исследованиях, выполняли код и критиковали промежуточную работу, действуя в рамках высокопараллелизованного рабочего процесса.
Согласно отчету OpenAI, этот интенсивный спринт сгенерировал около 2,7 миллиона сообщений и 130 миллиардов выходных токенов. Примерно за 88 часов система пришла к конструкции blowup, предполагающей сингулярность за конечное время в плавном потоке жидкости. Это опровергло аспект глобальной гладкости задачи.
Следующий критический этап включал GPT-6 Astra. Сообщается, что эта модель потратила 17 часов на перевод аргумента объемом более 165 страниц на Lean, формальный помощник для доказательств. Lean систематически проверяет каждый логический шаг, обеспечивая математическую строгость и обоснованность аргумента, сгенерированного AI, что является решающим шагом для проверки сложных доказательств.
Заявление о прорыве с важной оговоркой
Агенты OpenAI, как сообщается, опровергли глобальную гладкость решений Navier–Stokes, построив finite-time singularity. Их механизм описывает вихрь, закручивающийся внутрь, который растягивается и концентрируется, подобно вытягиванию ириски, пока не достигает бесконечной скорости в определенный момент времени. Это происходит при том, что полная энергия системы остается конечной.
Важно отметить, что эта конструкция опирается на smooth external forcing — условие, допускаемое формальной постановкой задачи Clay Mathematics Institute. Однако это напрямую не решает, могут ли невозмущенные, физически реалистичные потоки жидкости также спонтанно «взрываться», образуя сингулярности. Это различие жизненно важно для понимания последствий данного результата для реальной динамики жидкостей.
После первоначального открытия GPT-6 Astra потратила 17 часов на формализацию 165-страничного доказательства в Lean, интерактивном помощнике по доказательству теорем. Хотя Lean может строго проверить каждый логический шаг формализованного вывода, это не означает немедленного научного признания. Математики должны тщательно изучить лежащие в основе предположения, интерпретацию результата и его значимость для более широкого вопроса о «взрыве» (blow-up) в уравнениях Навье-Стокса без внешнего воздействия. Для получения дополнительной информации обратитесь к On Navier–Stokes Millennium Prize Problem - OpenAI.
OpenAI заявила, что не будет претендовать на приз в размере $1 миллиона, признавая нюансы решения этой проблемы. Работа основана на методах, разработанных математиками Тристаном Бакмастером (Tristan Buckmaster) и Левентом Альпёге (Levent Alpöge), что подчеркивает совместный, хотя иногда и спорный, характер передовых математических исследований.
Нравится статья? Получайте такие каждое утро на почту.
одно письмо в день · отписка в два клика · без сторонних трекеров
Гонка за признание может затянуться дольше, чем сами вычисления
Гонка за признание может затянуться дольше, чем сами вычисления
Вслед за объявлением OpenAI быстро возник спор о приоритете. Сообщается, что OpenAI начала свою внутреннюю работу после того, как услышала слухи о прогрессе от математиков Тристана Бакмастера и Левента Альпёге. Бакмастер из NYU опубликовал связанную работу о сингулярностях за конечное время незадолго до заявления OpenAI.
Бакмастер выразил скептицизм по поводу ранних доказательств, сгенерированных LLM, назвав одно из них «самым ужасным доказательством, которое он когда-либо читал». OpenAI, со своей стороны, отрицает использование частных запросов пользователей или мониторинг работы исследователей для информирования своих разработок. Целостность данных при открытиях с помощью LLM остается критически важной проблемой для научного сообщества.
Этот эпизод подчеркивает более широкие ставки для научного процесса. Независимая экспертиза, надлежащее указание авторства и строгая воспроизводимость определят, станет ли это долговечным математическим результатом или яркой демонстрацией agentic search capabilities. OpenAI заявила, что не будет претендовать на $1 million prize от Математического института Клэя, смещая акцент с финансового вознаграждения на методы и этику открытий, движимых ИИ. Научное сообщество ожидает полных подробностей, чтобы оценить обоснованность и последствия этого беспрецедентного вычислительного спринта.
Часто задаваемые вопросы
Что такое задача Навье-Стокса?
Она ставит вопрос о том, остаются ли гладкие решения трехмерных уравнений Навье-Стокса всегда гладкими или могут развивать сингулярность за конечное время.
Решила ли OpenAI задачу тысячелетия Навье-Стокса?
OpenAI заявила о получении результата для версии, включающей гладкое внешнее воздействие. Доказательство все еще требует независимой математической проверки, и этот результат не решает все версии проблемы.
Что проверяет Lean?
Lean проверяет, следует ли доказательство из заявленных определений и предположений. Он может обнаружить логические пробелы в формализованной работе, но сам по себе не устанавливает, что модель решила поставленную математическую задачу.
Претендует ли OpenAI на приз в $1 миллион?
Согласно отчету, OpenAI заявила, что не будет претендовать на приз Математического института Клэя.