OpenAI заявляет, что математический проект с использованием ИИ — такой как завершившееся доказательство по уравнениям Навье — Стокса — в следующем году может обойтись примерно в $100 000, тогда как первая попытка стоила около $10 млн. Если прогноз сбудется, это будет снижение примерно на 99% всего за один год.

Этот прогноз прозвучал на фоне продолжающихся вопросов со стороны математиков о приоритете исследования и о том, кому принадлежит заслуга в полученном результате.

Что, по словам OpenAI, было сделано

8 сентября 2026 года OpenAI объявила о результатах работы внутренней ИИ-системы, которая, по имеющимся данным, превзошла флагманскую модель компании GPT-6 Astra. По словам OpenAI, система подготовила аналитическое доказательство по проблеме существования и гладкости решений уравнений Навье — Стокса — одному из самых известных открытых вопросов математики. Кроме того, она создала формализацию этого доказательства в Lean — программном инструменте, который пошагово проверяет математические доказательства.

Проблема Навье — Стокса входит в Задачи тысячелетия, установленные Институтом Клэя в 2000 году. Она касается уравнений, описывающих движение несжимаемых жидкостей в трёх измерениях. Результат OpenAI указывает на разрушение решения: по данным компании, уравнения могут развивать сингулярности за конечное время, начиная с гладких начальных условий, при этом полная энергия остаётся конечной. Подтверждённая сингулярность такого рода означала бы, что уравнения перестают давать гладкое описание течения за определённым пределом — именно поэтому вопрос гладкости давно служит ориентиром границ применимости этих уравнений.

Счёт за вычисления

Эта работа не была результатом одного сеанса с чат-ботом. OpenAI использовала динамическую сеть примерно из 10 000 скоординированных ИИ-агентов. Около 88 часов агенты работали над самим доказательством, а ещё 17 часов заняла проверка формализации в Lean.

Затраты на вычисления проекта оцениваются в диапазоне от $10 млн до $15 млн; сама OpenAI называет сумму около $10 млн.

Компания ожидает, что аналогичный проект в следующем году будет стоить около $100 000. Это прогнозируемое снижение она связывает с ожидаемым ростом эффективности ИИ. Слово «ожидаемым» здесь имеет значение: цифра в $100 000 — это прогноз, а не выставленный счёт.

Отказ от призовых денег

Институт Клэя назначил за решение проблемы Навье — Стокса приз в $1 млн. OpenAI заявила, что не будет претендовать на награду. На фоне счёта за вычисления в $10 млн и более приз едва ли покрыл бы даже электричество.

Проблема Навье — Стокса — одна из семи Задач тысячелетия, каждая из которых сопровождается призом в $1 млн. За четверть века с момента их объявления решена только одна: гипотеза Пуанкаре, доказанная Григорием Перельманом, который также отказался от приза.

Вопрос авторства

Объявление вызвало бурные споры среди математиков о приоритете исследования и о том, как следует распределять заслуги. Некоторые известные учёные выразили опасения, что доказательство могло опираться на неопубликованные методы или идеи. По состоянию на середину — конец октября 2026 года эта дискуссия продолжалась, а исследователи продолжают проверять заявления OpenAI и лежащий в их основе математический подход.

Формализация в Lean помогает по одному из направлений. Доказательство, проверенное машиной, труднее оспорить с точки зрения корректности, чем длинную статью, рассмотренную несколькими экспертами. Прецедент подтверждает это: гипотеза Кеплера об упаковке сфер получила полное подтверждение лишь после многолетнего проекта формальной верификации, проверившего её построчно. Однако корректность и авторство — разные вопросы. Lean может подтвердить, что каждый логический шаг верен, но не может определить, кому принадлежала идея ключевого шага.

Что это значит

Самой важной цифрой в этом объявлении может оказаться не $10 млн, а $100 000. При цене в $10 млн такой запуск — это разовая демонстрация, которую могут позволить себе лишь несколько хорошо финансируемых лабораторий. При цене в $100 000 это уже похоже на статью исследовательского бюджета, которую отдел университета или компания среднего размера вполне могли бы обосновать.

Дальше стоит следить за тремя вопросами: подтвердят ли независимые эксперты результат, как отреагирует Институт Клэя с учётом отказа OpenAI от приза и окажутся ли запуски следующего года действительно где-то near отметки в $100 000.

Источник: CryptoBriefing (под редакцией Диего Алмады Лопеса), 29 октября 2026 г. — OpenAI says its $10 million Navier-Stokes proof could cost $100,000 next year