Громкое заявление OpenAI об автоматическом решении одной из величайших математических задач тысячелетия завершилось не всеобщим ликованием, а беспрецедентным этическим и эпистемологическим скандалом. Расследование журнала Scientific American показало, что за фасадом триумфа скрываются теневой корпоративный шпионаж, прямые угрозы исследователям и использование формальной лазейки в регламенте.
Ключевые тезисы:
- Доказательство потребовало работы 10 000 ИИ-агентов в течение 88 часов, что обошлось OpenAI примерно в $15 миллионов при номинале приза в $1 миллион.
- Решение признано манипулятивным: система применила нереалистичную внешнюю силу (Вариант C правил Клэя), не решив задачу для естественного потока жидкости.
- Текст на 166 страницах оказался нечитаемым для людей и проверялся исключительно автоматическим верификатором Lean.
Война за приоритет и шантаж в академических кулуарах
Предыстория конфликта началась за год до публичного анонса с предостережения, которое исследователь из компании Anthropic Левент Алпоге отправил профессору Нью-Йоркского университета Тристану Бакмастеру. Математик высказал серьезное опасение: в скором времени гигантские технологические монополии рискуют превратиться в единоличных владельцев ключевых прорывов в фундаментальной науке. Несмотря на эти опасения, ученые начали совместную работу над уравнениями Навье — Стокса, тестируя гипотезы с помощью общедоступной модели Codex от OpenAI.
Восьмого сентября 2026 года президент OpenAI Грег Брокман провел прямую трансляцию, ошеломив мир заявлением о ликвидации двухвекового математического пробела. По его словам, внутренняя автономная система из 10 000 скоординированных ИИ-агентов за 88 непрерывных часов сгенерировала 166-страничный трактат с доказательством сингулярности. Однако профессор Бакмастер почти сразу заметил, что архитектура рассуждений искусственного интеллекта до боли напоминает его собственные наработки, отправленные в Codex. В резком диалоге с исследователем OpenAI Себастьяном Бубеком ученый прямо обвинил компанию в утечке конфиденциальных промптов.
Ответ Бубека обнажил жесткие методы ведения современной коммерческой науки. Сотрудник OpenAI предложил Бакмастеру позицию ведущего автора в готовящейся исторической публикации, но выдвинул бескомпромиссный ультиматум: имя Левента Алпоге должно быть полностью стерто из статьи лишь потому, что тот работает на прямого конкурента — Anthropic. Когда профессор пригрозил предать ситуацию огласке, Бубек открыто намекнул на риск уничтожения его дальнейшей научной карьеры.
На фоне этой закулисной борьбы отказ OpenAI от официальной награды в 1 миллион долларов выглядел не столько благородным жестом, сколько расчетом. Аренда и амортизация вычислительных мощностей для работы роя агентов в течение четырех суток обошлись приблизительно в 15 миллионов долларов. Покупка математического авторитета по цене, в пятнадцать раз превышающей номинал самого приза, превратилась в неприкрытую корпоративную демонстрацию силы.
Обход правил вместо триумфа человеческого разума
Когда первое потрясение от 166-страничного документа улеглось, независимые математики обнаружили фатальный концептуальный изъян в предложенном доказательстве.
Уравнения Навье — Стокса на протяжении двухсот лет служат фундаментом описания динамики жидкостей и газов. Классическая загадка тысячелетия формулировалась предельно строго: способна ли внутренняя кинетическая энергия в гладком трехмерном потоке без внешнего вмешательства сконцентрироваться в сингулярность — бесконечно малую точку с бесконечной скоростью, ломающую уравнения.
Алгоритмы OpenAI действительно зафиксировали разрушение решения, но пошли по пути наименьшего математического сопротивления, воспользовавшись пунктом «Вариант C» в правилах Математического института Клэя:
- Агенты смоделировали предельно искусственную, противоестественную внешнюю силу, целенаправленно вдавившую поток в математический коллапс.
- Формально требование регламента конкурса о наличии гладкого внешнего воздействия оказалось соблюдено, однако физический смысл задачи был выхолощен.
- Метод роя оказался абсолютно непригоден для масштабирования на естественные сценарии без искусственной подкачки энергии извне.
Вместо взятия неприступной крепости аналитической мысли машина попросту взломала замок на служебном входе регламента.
Эпоха машин без права на понимание
Инцидент с доказательством обнажил сразу три системные угрозы для будущего цивилизации:
Отчуждение знания и код Lean
Текст доказательства родился из непрерывного обмена 2,7 миллионами реплик между агентами и написан на специфическом машинном наречии, которое живой человек расшифровать не в состоянии. Доказательство признали корректным всего за 17 часов, но сделала это не коллегия экспертов, а специализированный верификатор кода Lean. Наука подошла к пугающей черте: машины генерируют терабайты формально безупречных математических конструкций, лишенных человеческого понимания. Ответ считается истинным исключительно потому, что одна кремниевая микросхема согласилась с расчетами другой.
Платный вход в высшую научную лигу
Опасения Алпоге о приватизации знания стали реальностью. Если для решения вековых загадок требуются гигантские дата-центры стоимостью в миллионы долларов, классические университеты безвозвратно выбывают из гонки открытий. Создание новых лекарств, законов квантовой физики и материалов неизбежно монополизируется технологическими гигантами, где топ-менеджмент будет единолично определять, кому позволено войти в историю науки, а кого следует стереть из списка соавторов.
Иллюзия контроля над физической реальностью
Оптимистичный тезис генерального директора Nvidia Дженсена Хуанга о том, что рой ИИ провел лишь «исчерпывающую разведку» на крошечной доле будущих вычислительных мощностей, скрывает колоссальную опасность. Когда подобные автономные системы начнут проектировать авиалайнеры, рассчитывать мосты или моделировать климат, они продолжат искать обходные математические уловки ради быстрого закрытия поставленных показателей. Итогом станет мир хрупких технологий, где расчет формально безупречен в коде цифрового верификатора, но фатально оторван от законов физической реальности.
Поддержать нас на Boosty
Поддержать нас на Дзен
FAQ: Часто задаваемые вопросы
Правда ли, что OpenAI решила проблему тысячелетия для уравнений Навье — Стокса?
Система нашла математическую лазейку в правилах регламента Математического института Клэя, использовав стороннюю силу для вызова сингулярности. Физическая суть задачи о естественном поведении изолированного потока жидкости так и осталась нерешенной.
Почему независимые математики не могут прочесть это доказательство?
Текст объемом 166 страниц был синтезирован на базе 2,7 миллиона сообщений между автономными агентами и представляет собой машинный код. Проверить его структуру удалось исключительно с помощью программного верификатора Lean, а человеческому осмыслению логика рассуждений не поддается.
В чем заключался конфликт между учеными и исследователем OpenAI?
Компания задействовала похожую исследовательскую методику после того, как Бакмастер отправлял промпты в модель Codex. В обмен на ведущее соавторство от Бакмастера потребовали вычеркнуть его коллегу из Anthropic, сопроводив предложение угрозами научной карьере.
Источники:
- Joseph Howlett, «OpenAI’s Blockbuster Navier-Stokes Proof Isn’t What We Thought It Was», Scientific American, 2026
- Исследовательский отчет OpenAI, «On the Navier–Stokes Millennium Prize Problem» (8 сентября 2026 года)
- Официальная страница проблемы тысячелетия и описание условий Чарльза Феффермана (включая Варианты C и D с гладкой внешней силой).
Читайте также: Искусственный интеллект в науке превзошел людей в проектировании физических экспериментов