Редакция ПотокаOpenAI выложила доказательство по Навье—Стоксу. Почему вопрос ещё нельзя закрывать
OpenAI опубликовала аналитическое доказательство и формализацию в Lean для одной из задач тысячелетия: может ли гладкое течение несжимаемой трёхмерной жидкости получить сингулярность за конечное время. Компания утверждает, что её внутренняя система построила пример: жидкость стартует из покоя, внешняя сила остаётся гладкой, энергия конечна, а скорость в модели становится неограниченной. Если рассуждение выдержит проверку, это соответствует вариантам C и D официальной формулировки Clay Mathematics Institute.
Внедрим ИИ в работу вашей компании
Бесплатно разберём процессы и подготовим план запуска ИИ.
Что известно
Это всё же не означает, что премия уже присуждена или задача признана решённой математическим сообществом. OpenAI прямо пишет, что не намерена претендовать на Millennium Prize. На странице есть статья и ссылка на Lean-формализацию, но внешнего решения Clay Mathematics Institute или независимого рецензирования в источнике нет. Формальная проверка полезна: она проверяет, что записанные в Lean шаги следуют из формализованных определений. Она не заменяет работу экспертов над тем, правильно ли выбран перевод математического аргумента в эти определения и нет ли проблемы в исходных допущениях.
Компания также описывает способ получения результата: примерно 10 тысяч одновременно работающих агентов, около 130 млрд выходных токенов и 2,7 млн сообщений для этой задачи; решение появилось примерно через 88 часов, ещё 17 часов заняла Lean-верификация с GPT‑6 Astra. Это заявление OpenAI о собственной системе, а не независимый замер её возможностей. Следующий важный этап — открытая проверка доказательства математиками, а не повторение громкой формулировки о «решённой задаче».
О материале и источниках
Редакционный материал ЛИИТ. Учебные примеры вымышлены, иллюстрации созданы с помощью ИИ.
- OpenAI — On the Navier–Stokes Millennium Prize Problem
Первичная публикация, обновлена 2026-09-10.
Опубликовано