OpenAI опубликовала решение задачи Миллениума по уравнениям Навье-Стокса и доказательство в Lean

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

Этот контент предоставляется исключительно в общих информационных целях и не является финансовым, инвестиционным, юридическим или налоговым советом. Любые мероприятия, вознаграждения, онлайн-акции или связанная с ними информация, упомянутые в настоящем документе, не должны рассматриваться как рекомендация, приглашение к покупке, продаже, торговле или иной сделке с какими-либо криптоактивами. Криптоактивы очень волатильны и могут привести к убыткам. Доступность услуг, продуктов WEEX и связанных с ними событий может варьироваться в зависимости от региона. Вы несете ответственность за обеспечение того, чтобы ваше участие соответствовало применимым местным законам и нормативным актам.