ОтветыОпубликовано20 источники
OpenAI заявила о доказательстве по Навье—Стоксу: что установлено и что ещё предстоит проверить
8 сентября 2026 года OpenAI заявила, что закрытая внутренняя система с примерно 10 000 координируемых агентов подготовила 166 страничное доказательство и формализацию в Lean для сингулярности за конечное время в трёхм... В заявленном примере гладкая покоящаяся жидкость под действием гладкой внешней силы образует зак...
ОпубликовалОтредактировано с помощью GPT-5.6 TerraИзображения созданы с помощью GPT Image 2
Ответ на исследование
Ключевые выводы
- 8 сентября 2026 года OpenAI заявила, что закрытая внутренняя система с примерно 10 000 координируемых агентов подготовила 166 страничное доказательство и формализацию в Lean для сингулярности за конечное время в трёхм...
- В заявленном примере гладкая покоящаяся жидкость под действием гладкой внешней силы образует закручивающийся и вытягивающийся вихрь: за конечное время скорость становится неограниченной, хотя полная энергия остаётся к...
- Проверка в Lean — сильное свидетельство логической корректности закодированного доказательства, однако математикам ещё нужно установить, точно ли формальная теорема и её предпосылки соответствуют постановке задачи Clay.
Промпт ИИ
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI announce on September 8 about an unreleased AI system’s purported 166-page, Lean-formalized proof that the three-dimensional. Article summary: On September 8, OpenAI said an unreleased internal model, deployed through roughly 10,000 coordinated agents, had produced a 166-page analytical proof and a Lean formalization showing a finite-time singularity for a thre. Topic tags: general, general web, user generated. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fa
OpenAI 8 сентября объявила об одном из самых громких заявлений на стыке ИИ и математики. По словам компании, её нераскрытая внутренняя система получила и аналитическое доказательство, и формализацию в Lean того, что в трёхмерном несжимаемом течении Навье—Стокса может возникнуть сингулярность за конечное время. Вместе с формализацией опубликована рукопись объёмом 166 страниц. Это потенциальное решение задачи тысячелетия Института математики Клэя, но пока не итог экспертной проверки и не присуждение премии. 10
18
27
Что именно, по утверждению OpenAI, доказано
Построение начинается с гладкой жидкости в состоянии покоя, к которой прикладывают гладкую внешнюю силу. Как сообщает OpenAI, затем возникает вихрь: он закручивается внутрь и всё сильнее вытягивается. В конечный момент появляется сингулярность — скорость становится неограниченной, хотя полная энергия течения остаётся конечной. 10
44
Это принципиальное различие. Речь не о численном расчёте, в котором вихрь просто очень быстро вращается. Вопрос состоит в том, допускают ли уравнения гладкое решение с конечной энергией, которое теряет гладкость за конечное время. Заявленный OpenAI пример специально сконструирован именно для демонстрации такой возможности при гладкой внешней силе. 10
Почему это может решить задачу тысячелетия
В официальной формулировке Института Клэя предусмотрено несколько путей к решению. В общем виде один путь — доказать глобальную гладкость решений, другой — предъявить разрушение гладкости. OpenAI утверждает, что её конструкция устанавливает варианты C и D в формулировке Clay: это варианты с контрпримером, где гладкость нарушается за конечное время, в том числе при гладком внешнем воздействии. 10
17
Если доказательство верно и его формальная постановка в точности соответствует официальной задаче, это означает, что всеобщая глобальная гладкость в указанной постановке неверна. Институт Клэя назвал результат очевидным решением задачи, одновременно подчеркнув необходимость оценки со стороны математического сообщества. 18
Какой вычислительный масштаб стоял за работой
По сообщениям о релизе, в работе участвовало около 10 000 автономных агентов на продвинутой, но не опубликованной модели OpenAI. Компания описала систему как координирующую агентов, которые подготовили и обычное математическое изложение, и формализацию в Lean; в других публикациях говорится об 88-часовом запуске. 10
12
2
Важно, что результат представлен не как гипотеза модели и не как численный эксперимент. Заявление состоит в том, что система сгенерировала полноценный аналитический аргумент и его машиночитаемую версию, которую можно проверить программно.
Что означает формализация в Lean — и чего она не гарантирует
Lean — это ассистент доказательств. Он проверяет, следует ли теорема из точно записанных определений, аксиом и уже формализованных результатов. Успешная проверка в Lean существенно снижает риск обычной логической ошибки в закодированном доказательстве. OpenAI опубликовала формализацию одновременно с работой. 10
Но машинная проверка не отменяет главных вопросов, которые должны разобрать люди:
- точно ли закодированная теорема выражает заявленное утверждение о Навье—Стоксе;
- соответствуют ли используемые предпосылки и определения условиям задачи Clay;
- передаёт ли формализация все содержательные шаги аналитической конструкции без потерь и подмен.
Поэтому независимая экспертиза остаётся необходимой. Формальное доказательство — очень важный инструмент проверки, но не автоматическая замена математическому пониманию и признанию результата.
Почему это не означает немедленного прорыва в инженерии
Даже если конструкция окажется верной, это не означает, что обычные воздушные потоки вокруг самолётов, турбулентность в трубах, погода или кровоток вскоре будут демонстрировать буквальные бесконечные скорости. Заявленный сценарий использует специально подобранную гладкую силу и крайне специфическую конфигурацию вихря. Он показывает возможность в рамках уравнений, а не то, что типичные физические потоки естественным образом приходят к такому состоянию. 10
44
Есть и практический предел самой модели. Уравнения Навье—Стокса описывают жидкость как сплошную среду; на достаточно малых масштабах существенной становится молекулярная физика. Поэтому математическую сингулярность в континуальной модели нельзя понимать как прогноз реально бесконечной скорости в физической жидкости.
Ближайшее значение результата, таким образом, математическое и методологическое: он касается того, что допускают уравнения, а не даёт готовый инструмент для проектирования самолётов или прогноза погоды.
Спор о приоритете
После анонса возник спор о признании заслуг и сроках публикации. Тристан Бакмастер из Нью-Йоркского университета и Левент Альпёге из Anthropic незадолго до релиза OpenAI сообщили о собственных ИИ-поддержанных и формализованных в Lean работах о близких задачах взрыва решений для уравнений жидкости с внешней силой. Их исследования опирались на более раннюю стратегию, связанную с Диего Кордобой и Луисом Мартинесом-Сороа. 1
2
5
Бакмастер и Альпёге выразили опасения, что OpenAI могла воспользоваться сведениями об их тогда ещё не опубликованной работе или заявлении, а публичная подача недостаточно отразила человеческую преемственность идей. Представленные данные подтверждают наличие спора о приоритете, но не доказывают факт заимствования. 1
13
Этот эпизод подчёркивает более широкую проблему ИИ-помощи в исследованиях: признание авторства может потребовать учитывать предшествующие человеческие идеи, участников формализации и проверки, разработчиков систем и модели, задействованные в открытии.
Почему для математиков важно человеческое понимание
Корректное доказательство может быть исторически значимым, даже если оно получено с помощью сложной инженерной системы. Но математики ценят и объяснение, которое выявляет переносимую структуру: почему возникает явление, какие идеи обобщаются и как доказательство меняет понимание соседних задач.
Отсюда продуктивное напряжение в ИИ-математике. Масштабный поиск с участием множества агентов может находить конструкции, которые люди не предвидели. Но если ключевой ход трудно интерпретировать человеку, результат может дать меньше концептуальных ориентиров, чем более короткое и объясняющее доказательство. Заявление OpenAI поэтому проверяет не только возможность верифицировать доказательства, но и способность ИИ вносить долговечное математическое понимание.
Присуждена ли премия Clay в 1 млн долларов?
Нет. OpenAI заявила, что не намерена претендовать на Премию тысячелетия. По правилам Института Клэя, предложенное решение должно быть опубликовано в издании, отвечающем установленным критериям, пройти не менее двух лет после публикации и получить общее признание мирового математического сообщества — лишь затем институт может его рассматривать. 10
27
В заявлении Clay от 11 сентября говорится, что задача по всей видимости решена и институт осмысливает это объявление вместе с математическим сообществом. Это признание важности заявления, а не окончательное решение по нему. 18
Пока наиболее точная формулировка такова: OpenAI опубликовала примечательное, формализованное для машинной проверки заявление о взрыве решения за конечное время в трёхмерных уравнениях Навье—Стокса. Его окончательный статус зависит от того, подтвердят ли независимые математики, что доказательство и формализация в Lean устанавливают именно заявленную теорему. 10
18
Studio Global AI
Продолжайте свое исследование
На этой странице есть ответ, подтвержденный источником, который вы можете продолжить внутри Studio Global.
Люди также спрашивают
Каков краткий ответ на вопрос «OpenAI заявила о доказательстве по Навье—Стоксу: что установлено и что ещё предстоит проверить»?
8 сентября 2026 года OpenAI заявила, что закрытая внутренняя система с примерно 10 000 координируемых агентов подготовила 166 страничное доказательство и формализацию в Lean для сингулярности за конечное время в трёхм...
Какие ключевые моменты необходимо проверить в первую очередь?
8 сентября 2026 года OpenAI заявила, что закрытая внутренняя система с примерно 10 000 координируемых агентов подготовила 166 страничное доказательство и формализацию в Lean для сингулярности за конечное время в трёхм... В заявленном примере гладкая покоящаяся жидкость под действием гладкой внешней силы образует закручивающийся и вытягивающийся вихрь: за конечное время скорость становится неограниченной, хотя полная энергия остаётся к...
Что мне делать дальше на практике?
Проверка в Lean — сильное свидетельство логической корректности закодированного доказательства, однако математикам ещё нужно установить, точно ли формальная теорема и её предпосылки соответствуют постановке задачи Clay.