Решил ли ИИ задачу о миллионах долларов по уравнениям Навье-Стокса? Что на самом деле означает доказательство OpenAI
8 сентября 2026 года лаборатория искусственного интеллекта OpenAI вызвала волну потрясений в научном мире, объявив, что внутренняя многопроцессная система ИИ сгенерировала 166-страничное доказательство, подтверждённое Lean, решающее проблему существования и гладкости трёхмерных уравнений Навье-Стокса — столетнюю задачу, причисленную к семи задачам тысячелетия с призом в 1 миллион долларов, установленным Институтом математики Клэя.
Анонс вызвал немедленную полемику, спровоцировав ожесточенные дебаты о конфиденциальности данных, академическом приоритете и истинной роли машинного интеллекта в фундаментальных исследованиях.
-
Основное достижение: OpenAI сгенерировала 166-страничное формальное доказательство с использованием 10 000 многопроцессных роев в течение 88 часов, продемонстрировав конечное по времени взрывное поведение (сингулярность) в трехмерных уравнениях несжимаемой жидкости при гладком внешнем воздействии.
-
Проверка: Доказательство было математически проверено с использованием теоремного провайдера Lean в течение 17 часов, что исключило логические ошибки или иллюзии ИИ.
-
Статус приза: Миллениум-приз в размере 1 миллиона долларов США еще не присужден официально; Институт математики Клея (CMI) требует публикации с рецензированием коллегами и двухлетний период проверки. OpenAI отказалась претендовать на призовые деньги.
-
Этический скандал: математики Тристан Бакмасстер и Левент Альпёге обвинили OpenAI в использовании частных чат-логов и загруженных черновиков для обучения своих агентов, что вызвало глобальные дебаты о конфиденциальности данных и академическом приоритете.
-
Читаемость для человека: Хотя формальная логика проверена, доказательство, сгенерированное ИИ, действует как «черный ящик», не содержащий интуитивных математических концепций, которые помогли бы людям понять, почему происходит взрывной рост.
Искусственный интеллект, представляющий собой рой агентов, установил конечноточечный взрыв для трехмерных уравнений несжимаемой жидкости при гладкой внешней силе, продемонстрировав, что скорость жидкости может расти до бесконечности в течение ограниченного промежутка времени, при этом общая физическая энергия остается ограниченной.
Уравнения Навье-Стокса, сформулированные в XIX веке Клодом-Луи Навье и Джорджем Габриэлем Стоксом, описывают, как движутся жидкости и газы. Десятилетиями математики задавались вопросом, могут ли гладкие, физически разумные начальные условия привести к «сингулярности» или «взрыву» — точке, где скорость жидкости становится бесконечной.
OpenAI развернула примерно 10 000 автономных ИИ-агентов, работающих одновременно в течение 88 часов. Эти агенты обменялись более чем 2,7 миллиона сообщений и сгенерировали 130 миллиардов выходных токенов для построения математической модели закрученного, растягивающегося вихря жидкости. Для защиты от потенциальных иллюзий ИИ сгенерированная логика была переведена на Lean — автоматизированный интерактивный доказатель теорем, который проверил пошаговый аргумент в течение примерно 17 часов.
Согласно техническим спецификациям, опубликованным исследовательскими командами, оценивающими результат, доказательство учитывает конкретные условия, изложенные в официальном формулировании задачи Чарльза Феффермана для Института математики Клэя (в частности, альтернативы C и D).
| Метрика / Параметр | Спецификации доказательства мультиагентной системы OpenAI |
| Время исполнения | 88 часов в многопроцессорных кластерах |
| Масштаб агента | ~10 000 одновременных автономных ИИ-агентов |
| Объем сообщений | 2,7 миллиона внутренних сообщений; 130 миллиардов токенов |
| Формальная верификация | 17 часов через Lean Interactive Theorem Prover |
| Основной результат | Демонстрирует конечноточечную сингулярность при гладком внешнем воздействии |
Миллионный приз в размере 1 миллиона долларов США еще не присужден официально, поскольку Институт математики Клея требует строгого многолетнего институционального рассмотрения перед признанием любого решения.
Институт математики Клея (CMI) требует, чтобы любое предложенное решение было опубликовано в рецензируемом математическом журнале международного уровня, за которым следует обязательный двухлетний публичный ожидательный период. В течение этого срока широкое научное сообщество должно тщательно изучить и принять доказательство. На сегодняшний день CMI по-прежнему классифицирует проблему существования и гладкости уравнений Навье-Стокса как нерешённую.
Кроме того, OpenAI публично заявила, что не намерена претендовать на призовые в размере 1 миллиона долларов, отметив, что её основной целью было продемонстрировать возможности масштабного агентного рассуждения, а не получить денежное вознаграждение. Единственной официально признанной решённой задачей тысячелетия остаётся гипотеза Пуанкаре, решённая российским математиком Григорием Перельманом в 2003 году (который также отказался от награды).
Прорыв вызвал ожесточённую критику из-за утверждений, что система OpenAI использовала непризнанные человеческие исследования, загруженные математиками, которые отказались от обучения на данных.
Примерно за 12 часов до объявления OpenAI математик из Нью-Йоркского университета Тристан Бакмастер опубликовал заявление, в котором описал свою работу вместе с Левентом Альпёге, математиком, связанным с Anthropic. Эта пара более года разрабатывала новые методы для доказательства взрывов в уравнениях жидкости — в частности, уравнений Эйлера, тесно связанного класса моделей гидродинамики.
| Контроверсионный аспект | Основные утверждения и доказательства | Официальная позиция OpenAI |
| Происхождение данных | Человеческие исследователи загрузили частные черновики и запросы в ChatGPT/Codex во время изучения жидкостных сингулярностей. | Утверждает, что ни один сотрудник или агент не читал черновики пользователей и не нарушал контроль доступа. |
| Отказы от «Не обучать» | Исследователи отказались от обучения, однако концепции, как утверждается, просочились в бэкенд-итерации. | Признал, что «нельзя исключать, что деидентифицированные данные, полученные из использования продукта, помогли улучшить модели». |
| Научный приоритет | OpenAI запустила 10 000 агентов для перебора параллельного доказательства после узнавания о прогрессе людей. | Представляет достижение как самостоятельную победу автономного многагентного рассуждения. |
Бакмайстер и Альпёге использовали инструменты OpenAI, включая Codex и ChatGPT, для проверки конкретных промежуточных гипотез и написания кодовых процедур. Хотя OpenAI отрицала, что её сотрудники или ИИ-агенты напрямую получали доступ к частным файлам аккаунтов, представители компании в последующих заявлениях признали, что не могут исключить возможность того, что деидентифицированные данные, извлечённые из взаимодействий пользователей, повлияли на обновления бэкенд-моделей.
Это признание вызвало широкий протест в академическом сообществе. Ведущие деятели, включая лауреата Филдсовской премии Теренса Тао, отметили, что этот инцидент подчеркивает растущее напряжение: отдельные исследователи, вносящие передовые идеи в коммерческие платформы ИИ, могут случайно позволить технологическим компаниям с огромными вычислительными ресурсами быстро формализовать и опубликовать параллельные результаты.
Формальные доказательства, проверенные компьютером, гарантируют логическую корректность с помощью программ, таких как Lean, но часто не содержат интуитивных концептуальных рамок, на которых базируются человеческие математики для развития области.
Традиционные математические доказательства, написанные людьми, служат двум целям: подтверждению того, что утверждение математически верно, и объяснению того, почему оно верно. Доказательства, написанные людьми, вводят обобщающие концептуальные мосты, элегантные рамки и переиспользуемые методы, которые вдохновляют будущие открытия в смежных дисциплинах.
Напротив, ИИ-система, выполняющая 88-часовой многопроцессный запуск, полагается на перебор миллионов ветвей. Полученный 166-страничный документ — хотя и формально проверенный шаг за шагом ядром Lean — действует как «черный ящик». Он подтверждает, что математические условия выполняются, но представляет огромные трудности для математиков, пытающихся извлечь обобщенные принципы или образовательные выводы.
-
Формальная верификация: обеспечивает отсутствие логических пробелов, опечаток или скрытых структурных ошибок в кодовых шагах.
-
Читаемость: отсутствует четкая педагогическая нарративная структура, что делает анализ более широких структурных идей человеком чрезвычайно медленным.
-
Обобщаемость: Может решать конкретное изолированное граничное условие, не предоставляя прямых методов, применимых к нефорсированным системам Навье-Стокса.
Теоретическое доказательство, демонстрирующее математический взрыв, не изменяет мгновенно практические инженерные модели, поскольку численные приближения уже учитывают турбулентность жидкости в прикладной физике.
Уравнения Навье-Стокса широко используются в мировых отраслях для моделирования погодных условий, оптимизации корпусов морских судов, проектирования гиперзвуковых самолетов и моделирования кровотока в сердечно-сосудистой системе. В практических приложениях инженеры используют дискретизированные компьютерные симуляции, работающие в пределах безопасных физических границ.
Доказательство того, что математические уравнения приводят к бесконечному скачку скорости при определенных гладких внешних силах, показывает, где модели сплошной жидкостной механики перестают работать на экстремально малых атомных масштабах. Это предоставляет теоретическим физикам точные границы, при которых классические предположения сплошной жидкости перестают быть применимыми, и открывает путь для создания улучшенных гибридных моделей, объединяющих механику сплошных сред с молекулярной динамикой.
Торговля криптовалютными токенами, связанными с циклами искусственного интеллекта на KuCoin, обеспечивает ликвидный доступ к спекулятивному технологическому импульсу, но требует строгого управления рисками из-за волатильности рынка.
Когда важные вехи в области искусственного интеллекта становятся глобальными новостями, крипто-активы, связанные с ИИ, и децентрализованные вычислительные сети испытывают рост объёма торгов. На платформах, таких как KuCoin, трейдеры часто оценивают токены ИИ, децентрализованные сети GPU и протоколы данных-суверенитета, пересекающиеся с инфраструктурой машинного обучения.
-
Ликвидность и доступ к рынку: KuCoin предоставляет доступ к широкому выбору токенов по направлению ИИ, позволяя пользователям использовать возникающие рыночные тенденции.
-
Протоколы конфиденциальности данных: Постоянные дискуссии о конфиденциальности пользовательских запросов подчеркивают растущий интерес к децентрализованным проектам ИИ, которые акцентируют внимание на вычислениях с сохранением конфиденциальности и проверке данных с использованием нулевого знания.
-
Управление волатильностью: Спекулятивная торговля вокруг крупных технологических новостей сопровождается быстрыми колебаниями цен; использование спотовой торговли, фьючерсов и алгоритмических торговых ботов KuCoin может помочь в управлении рисками исполнения.
Чтобы начать изучение цифровых активов на тему ИИ и управлять экспозицией портфеля, пользователи могут зарегистрировать аккаунт непосредственно на официальной торговой платформе KuCoin.
Новости рынка движутся быстро — но то, где вы на них реагируете, имеет не меньшее значение. В этом октябре KuCoin запускает KuCoin 5.0, превращая KuCoin в перестроенную платформу. Вот что реально изменится для вас:
-
Один аккаунт для всего. Старые платформы разделяли ваши средства между отдельными аккаунтами «спот», «маржа» и «фьючерсы» и ожидали, что вы поймёте почему. Единый аккаунт KuCoin 5.0 полностью устраняет это — сделайте депозит один раз, и всё будет просто доступно.
-
Акции, индексы и товары. KuCoin 5.0 расширяется за пределы криптовалют на глобальные рынки. Когда криптовалюты движутся боком, а акции растут (или наоборот), вы переключаетесь за минуты, вместо того чтобы открывать брокерский аккаунт и ждать несколько дней для вывода фиата.
-
Физические активы (RWA). Токенизированное воздействие на традиционные активы, такие как сырьё, прямо в вашем крипто-аккаунте. Один из самых быстрорастущих сегментов мировой финансовой системы больше не доступен исключительно институциональным инвесторам — вы получаете к нему доступ через тот же баланс, который используете для торговли.
-
Зарабатывайте, пока учитесь. Еще не готовы торговать? KCUSD позволяет вашим стейблкоинам получать ежедневный автокомпаундный доход. Самый спокойный способ заставить ваши неиспользуемые депозиты работать с доходностью 4%.
-
ИИ-помощник на простом языке. Задавайте вопросы, получайте контекст рынка, понимайте, что вы видите — всё встроено в платформу, без жаргона.
-
Приложение, которое не перегружает. Быстрее, чище и последовательно — интуитивно понятно с первого касания, а не после обучения.
-
Безопасность, которую можно проверить, а не просто доверять. Европейская компания с лицензией MiCAR, Proof of Reserves , которую вы можете проверить самостоятельно, и международно сертифицированная безопасность (SOC 2 Type II, ISO 27001:2022).
Создайте аккаунт за несколько минут — и начните работать на платформе, созданной для того, куда движется криптовалюта, а не туда, где она была.
Многоагентная система OpenAI продемонстрировала, что уравнения трехмерной жидкости могут демонстрировать конечные сингулярности при гладком внешнем воздействии, что было независимо подтверждено с помощью программного обеспечения Lean. Хотя это представляет собой историческое техническое достижение в области автоматизированного рассуждения, решение пока не подтверждено Институтом математики Клэя и вызывает значительные споры относительно интеллектуальной принадлежности и использования данных. По мере того как ИИ-системы продолжают решать крупные научные и математические задачи, граница между машинными вычислениями и прозрачностью человеческих исследований остается центральной точкой внимания для глобальных технологических отраслей.
Для чего используются уравнения Навье-Стокса?
Уравнения Навье-Стокса описывают, как текут жидкости, применяя второй закон Ньютона к жидким веществам. Они необходимы для моделирования погодных систем, проектирования крыльев самолетов, анализа океанических течений и моделирования кровотока через артерии.
Почему за решение проблемы Навье-Стокса установлена награда в 1 миллион долларов?
Институт математики Клея в 2000 году объявил проблему существования и гладкости решений уравнений Навье-Стокса одной из семи задач тысячелетия, чтобы стимулировать поиск решений фундаментальных математических вопросов, лежащих в основе современной физики и дифференциальных уравнений.
Выиграл ли OpenAI приз в размере 1 миллиона долларов США за тысячелетие?
Нет, OpenAI не выиграл приз. Институт математики Клея требует многолетнего рецензирования коллегами и публичной верификации перед официальным признанием любого решения, и OpenAI прямо заявила, что не будет претендовать на денежный приз.
Что такое проверка на минимальность в математике?
Lean — это открытый интерактивный доказательство-ориентированный инструмент и язык программирования. Он проверяет математические доказательства, убеждаясь, что каждый логический шаг строго соответствует формальным аксиоматическим правилам, исключая человеческие ошибки при проверке доказательств.
Может ли ИИ использовать частные беседы в ChatGPT для решения исследовательских задач?
Компании, занимающиеся ИИ, указывают политики использования данных в своих условиях обслуживания, позволяя пользователям отказаться от обучения моделей. Однако технологические компании признают, что обезличенные или агрегированные телеметрические данные продукта могут влиять на общее улучшение фоновых моделей со временем.
Отказ от ответственности: Эта страница была переведена для вашего удобства с использованием технологии искусственного интеллекта. Для получения наиболее точной информации обратитесь к оригинальной английской версии.