OpenAI заявила об ИИ-доказательстве задачи Навье — Стокса, и проверить его сложно

Месяц назад OpenAI объявила, что получила сгенерированное ИИ доказательство задачи Навье — Стокса. Это одна из семи «задач тысячелетия», за решение каждой Clay Mathematics Institute обещает $1 млн, и с 2000 года закрыта лишь одна из них, гипотеза Пуанкаре. Теперь Bloomberg Tech посвятил проблеме выпуск с Джастином Соломоном, заместителем декана по инженерному образованию MIT. Важная оговорка: материал представляет собой анонс подкаста, а не разбор самого доказательства. Подтверждения корректности в нём нет.

Что за задача и почему её так трудно проверить

Уравнения Навье — Стокса описывают движение вязкой жидкости: воду в трубе, воздух над крылом, потоки в атмосфере. Инженеры и климатологи решают их численно каждый день. Но математики до сих пор не доказали, что в трёх измерениях у этих уравнений всегда существует гладкое решение, которое не «взрывается» за конечное время. Практика работает, строгой теории нет.

Соломон, по описанию выпуска, объясняет и саму постановку, и причину, по которой текст от OpenAI тяжело читать даже профессионалам. Для математики это принципиальный момент. Доказательство считается доказательством только после проверки сообществом. Если текст на сотни страниц написан моделью и изобилует непривычными ходами, проверка может занять месяцы. Такой процесс не ускорить пресс-релизом.

Модели, которые раньше не умели считать

В материале есть деталь, хорошо передающая масштаб сдвига: языковые модели когда-то ошибались в элементарной арифметике, а теперь решают задачи, остававшиеся нерешёнными десятилетиями. Соломон разбирает, как на это реагируют чистые и прикладные математики. У них разные интересы. Прикладникам важнее рабочий инструмент и численный результат. Чистым математикам нужно понимание, то есть структура аргумента, которую можно передать другому человеку.

Отдельная тема выпуска посвящена тому, как кино показывает работу математиков. Обычно это гений с доской и озарение посреди ночи. Реальная работа состоит из долгой проверки, тупиков и переписки с коллегами.

Ключевые факты из анонса

• Заявление: OpenAI в сентябре 2026 года объявила о сгенерированном ИИ доказательстве задачи Навье — Стокса. • Статус: независимой верификации в источнике не упоминается. • Ставка: приз Clay Mathematics Institute за решение задачи тысячелетия составляет $1 млн. • Эксперт: Джастин Соломон, associate dean for engineering education в MIT. • Проблема: даже профессионалам трудно разобрать текст доказательства. • Параллельный фронт: LLM выполняют студенческие домашние задания, и преподаватели не успевают адаптироваться.

Что делать преподавателям и инженерам

Образование столкнулось с проблемой раньше, чем наука. Если модель решает типовую домашку, оценивать нужно не ответ, а ход рассуждений: устные защиты, задачи с объяснением, контрольные без устройств. Соломон, по описанию, уже пересматривает собственный педагогический подход, но подробностей анонс не раскрывает.

Для инженерных команд вывод приземлённее. Любой результат модели в математике, от оптимизации до моделирования потоков, нужно проверять независимо: формальными системами доказательств, численными тестами или вторым специалистом. Пока сообщество не подтвердило работу OpenAI, к ней стоит относиться как к заявлению. Если подтвердит, математики получат новый класс инструментов и новую проблему: как читать доказательства, которые люди сами бы не придумали.