OpenAI заявляет о доказательстве сингулярности за конечное время в уравнениях Навье-Стокса

ChainCatcher сообщает, что 8 сентября OpenAI объявила, что ее внутренняя многагентная система успешно доказала, что трехмерное несжимаемое уравнение Навье-Стокса может образовывать сингулярность за конечное время, тем самым решив эту вековую проблему. Доказательство было получено с помощью модели, превосходящей по возможностям GPT-6 Astra, и первоначальные результаты были получены 5 сентября, после чего последовала 17-часовая формальная верификация с использованием Lean. OpenAI заявила, что это доказательство демонстрирует, как при наличии гладкой внешней силы покоящаяся жидкость может эволюционировать в вихревую структуру, спирально вращающуюся и растягивающуюся внутрь, при этом энергия остается конечной, а скорость неограниченно возрастает — что соответствует случаям «C» и «D» в задаче тысячелетия. Для решения этой задачи было задействовано около 10 000 параллельных агентов, отправлено около 2,7 миллиона сообщений и израсходовано примерно 130 миллиардов выходных токенов. OpenAI признала, что эта попытка была вдохновлена слухами о параллельной работе сотрудника Anthropic Левента Альпёге и профессора Нью-Йоркского университета Тристана Бакмастера, и отметила, что их результаты по проблеме регулярности уравнения Эйлера различаются: OpenAI доказала случай без внешней силы, а их коллеги — со внешней силой.