ИИ закрыл задачу на миллион. Люди открыли 166 страниц и ничего не поняли

В сентябре 2026 OpenAI заявила, что внутренняя модель закрыла одну из семи «задач тысячелетия» Клэя про уравнения Навье-Стокса: жидкость с гладкой внешней силой может за конечное время «взорваться» в сингулярность. Формально это вариант C официальной постановки. Практический смысл для широкой публики другой: доказательство на 166 страниц машина проверила в Lean, а живые математики почти не извлекают из него понимания.

Компания не претендует на миллион долларов приза. Зато уже говорит, что та же линейка моделей за месяц обучения закрыла больше ста давних открытых задач и собирает независимый совет из звёзд математики, чтобы вообще решить, как это выпускать в мир.

Что за задача и почему она висела почти сто лет

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

OpenAI по своей версии показала конечный blow-up при гладкой внешней силе и конечной энергии. Это закрывает пункты C и D формулировки Феффермана, не обязательно «самую желанную» версию без искусственной силы. Часть математиков прямо говорит: приз по бумаге закрыт, главная физическая задача нет. Для заголовка это всё равно удар: 200 лет бумажной возни против нескольких суток агентов.

Как 10 тысяч агентов уложились в 88 часов

По заявлению компании, слух о чужом прогрессе поднял внутреннюю гонку 1 сентября. Сначала агенты искали blow-up на упрощённых уравнениях, затем около 10 тысяч параллельных агентов штурмовали полную постановку. Решение пришло 5 сентября, ещё 17 часов ушло на формализацию и проверку в Lean через GPT-6 Astra. Объём генерации оценивали в сотни миллиардов токенов, стоимость «если бы это купил клиент» называли порядка 10-15 миллионов долларов.

Людей-специалистов по самой задаче внутри команды почти не было. Исследователь Себастьен Бубек говорил, что сотрудники не могли существенно править математическое содержание. Машина писала, машина проверяла формальным прувером. Человек в основном запускал рой и читал итог.

Почему доказательство «не для людей»

Тристан Бакмастер из NYU, Джеймс Мейнард из Оксфорда, Хавьер Гомес-Серрано из Брауна в комментариях NPR и Science сходятся: технически доказательство, судя по всему, держится, но из 166 плотных страниц почти не извлекается идея. «Статья написана не для людей». На лекции в Гарварде Гомес-Серрано назвал текст «непостижимым» и добавил к своим слайдам пункт про экзистенциальный кризис дисциплины.

Математика живёт не галочкой «верно/неверно». Живёт переносом приёма на соседнюю задачу, интуицией, упрощением. Если верный ответ нельзя рассказать коллеге у доски, наука получает чёрный ящик: самолёт летает, учебник пустой. Это не баян про «ИИ умнее врача». Это конкретный сбой передачи знания в сентябре 2026.

Спор про приоритет, промпты и «не ту» силу

В те же часы Бакмастер и Левент Альпёге (Anthropic) выложили свои Lean-доказательства blow-up для связанных уравнений, над которыми они шли с ИИ-инструментами месяцами. OpenAI пишет: агенты не видели их рукописей, но «нельзя полностью исключить», что обезличенные следы использования продуктов улучшили модели. Для широкой аудитории это читается просто: вы кормите чат своими черновиками, корпорация потом финиширует задачу миллионным кластером.

Отдельно ударила критика «не той задачи». Научная статья и разборы Scientific American фиксируют: без специально подобранной внешней силы конструкция OpenAI, по новым доказательствам коллег, blow-up не даёт. Клэевский пункт C закрыт. Задача, которой живут гидродинамики, может остаться открытой. Заголовок «решили Навье-Стокса» и мелкий шрифт расходятся.

Ещё сто задач и совет из живых легенд

21 сентября OpenAI сообщила: модель, обучение которой начали 28 августа, кроме Навье-Стокса закрыла больше ста давних открытых проблем по разным разделам. Какие именно, публике почти не показали. Свои математики внутри компании, по тексту блога, сами удивились темпу. Ходят намёки на второй millennium-уровень, в том числе гипотезу Ходжа. Проверить снаружи пока нельзя.

После открытого письма математиков о «жёстком рассогласовании» ИИ и дисциплины компания поддержала независимую Advisory Group on Mathematics and Artificial Intelligence при Institute for Advanced Study. В стартовом составе Тимоти Гауэрс, Мартин Хайрер, Эдвард Виттен, Мелани Матчетт Вуд и другие. Им обещают советовать, как рецензировать и выпускать результаты. Права тормозить внутренние исследования у группы нет. Это фильтр коммуникации, не ручник.

Что с этого обывателю, которому уравнения не нужны

Турбулентность сидит в самолётах, погоде, трубах, медицине. Если когда-нибудь появится понятная человеку теория blow-up, выиграют модели и безопасность. Пока выигрыш другой: рынок узнаёт, что «решили» можно купить вычислительным штурмом, а понять нельзя. Доверие к красивым пресс-релизам падает ровно там, где раньше стоял культ доказательства.

Второй слой бытовой. Черновики в ChatGPT и Codex могут стать топливом чужого прорыва без вашего имени. Юристы это ещё не разложили. Третий: наука рискует расслоиться на тех, кто читает Lean-логи, и тех, кто рассказывает студентам старые сюжеты. Диплом «я понял» дорожает относительно диплома «модель сказала верно».

Как не купиться на заголовок в следующий раз

Смотрите три вещи. Первая: какая именно формулировка закрыта (с силой или без, существование или гладкость). Вторая: есть ли формальная проверка в Lean или Coq и открытый репозиторий, а не только PDF. Третья: сказали ли независимые люди с именами, что они поняли идею, а не только что прувер зелёный.

Если совет при IAS начнёт выпускать короткие человеческие резюме, это будет полезнее миллионного приза. Если нет, привыкайте к миру, где истину можно купить кластером, а смысл останется платным навыком чтения между токенами.

Источники

Заявление OpenAI о решении Навье-Стокса; Advisory Group on Mathematics and Artificial Intelligence; NPR: математики почти ничего не извлекли из доказательства; Science: экзистенциальный кризис в математике; Scientific American: та ли это задача; New Scientist о стоимости штурма.