8 сентября 2026 года OpenAI сообщила, что её внутренняя исследовательская система получила доказательство для одной из задач тысячелетия. Речь о проблеме Навье — Стокса, связанной с движением жидкостей и газов. Компания опубликовала текст и компьютерную формализацию результата. Заявление OpenAI.

Через три дня появилась декларация с предупреждением о том, как гонка ИИ-компаний меняет математику. Среди 25 первоначальных подписантов — лауреаты Филдсовской премии Теренс Тао, Петер Шольце и Марина Вязовская. Их тревожат правила публикации, признание чужого вклада и сохранение человеческого понимания. Текст декларации.

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

Что это за задача и почему за неё дают миллион долларов

Размешайте молоко в кофе. Потоки закручиваются, сталкиваются и постепенно успокаиваются. Для описания движения жидкостей и газов используют уравнения Навье — Стокса. Они связывают скорость, давление и вязкость среды.

Вычислительные модели помогают рассчитывать течение, но фундаментальная математическая задача требует доказательства: сохраняется ли гладкое поведение решения при заданных условиях? Или из первоначально гладкого состояния за конечное время может возникнуть особенность — сингулярность? В таком случае некоторые величины перестают оставаться ограниченными. Официальная постановка Чарльза Феффермана.

Это вопрос о свойствах математической модели. Он не означает, что вода в вашей чашке действительно разгонится до бесконечной скорости. У доказательства конкретные предпосылки, которые определяют границы вывода.

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

Как OpenAI подключила 10 000 ИИ-агентов

По описанию компании, над проблемами работали группы программных агентов с доступом к коду и сохранённым интернет-материалам. Исследователи задавали направления поиска, переносили полезные промежуточные результаты между группами и обновляли используемую модель.

Группа, получившая результат для Навье — Стокса, включала около 10 000 одновременно работающих агентов. До предполагаемого решения прошло примерно 88 часов; формализация и проверка в Lean заняли ещё около 17 часов. Использовалась внутренняя модель, которую компания описывает как более сильную, чем публичная GPT-6 Astra. Описание эксперимента OpenAI.

Заявленный результат касается образования сингулярности при наличии гладкой внешней силы. В опубликованной работе авторы относят его к вариантам C и D официальной постановки. Эти варианты действительно предусмотрены условиями задачи: наличие внешней силы само по себе не выводит доказательство за её рамки. Постановка задачи.

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

Почему начался спор об авторстве

К моменту объявления над родственными проблемами работали математик Нью-Йоркского университета Тристан Бакмастер и сотрудник Anthropic Левент Альпёге. В своём заявлении Бакмастер описал личное сотрудничество с использованием нескольких ИИ-систем. Он отдельно подчеркнул вклад Диего Кордобы и Луиса Мартинеса-Сороа, чья программа исследований стала отправной точкой их работы.

Бакмастер рассказал о разговорах с OpenAI, выразил обеспокоенность совпадением исследовательского направления и поставил вопрос о возможном влиянии черновиков, которые его группа загружала в Codex. Заявление Бакмастера.

OpenAI отрицает доступ к их неопубликованной работе и использование конкретных пользовательских данных. Компания признаёт приоритет Бакмастера и Альпёге в результате для уравнений Эйлера с внешней силой. Позиция OpenAI.

Эта история показывает, сколько разных вкладов сходится в одном открытии: предыдущие методы, выбор направления, постановка вопросов, вычисления и объяснение доказательства. Их нужно проследить и корректно назвать.

Почему математики бьют тревогу

Сентябрьская декларация обсуждает последствия для всей дисциплины. Её авторы признают быстрое развитие возможностей ИИ и предупреждают о расхождении между соревнованием моделей и целями научной работы. Декларация на сайте Теренса Тао.

Получить результат и понять его — разные этапы

После большого доказательства обычно начинается долгая работа: исследователи выделяют новые приёмы, упрощают аргументы, объясняют их коллегам и студентам. Так открытие становится инструментом для следующих задач.

Авторы декларации опасаются, что массовое производство результатов опередит их осмысление. Если никто не успевает разобраться в новых идеях, их сложнее преподавать, проверять в широком контексте и применять дальше.

Представьте программу, которая выдала верный ответ на сложный расчёт, но оставила огромный, неудобный для чтения вывод. Следующему исследователю всё равно нужно понять, какие шаги можно использовать в другой задаче. Это отдельная интеллектуальная работа.

Скорость публикаций меняет правила признания

За доказательством стоят поколения исследований. В спешке легко потерять ссылки на предшественников, недостаточно объяснить заимствованные методы или объявить результат раньше, чем подготовлен понятный текст. Подписанты декларации считают вопросы авторства и передачи знаний существенной частью науки.

Доступ к инструментам распределён неравномерно

Независимая консультативная группа по математике и ИИ при Institute for Advanced Study предупреждает о разрыве между лабораториями с закрытыми мощными моделями и остальным сообществом. Исследователь может читать результаты, но не иметь сопоставимых средств для продолжения работы. Рекомендации группы от 29 сентября.

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

Так тревога превращается в практический вопрос: какие правила помогут совместить скорость ИИ с надёжностью, открытостью и накоплением знаний?

Так задача уже решена официально?

По состоянию на 20 октября 2026 года страница проблемы на сайте института Клэя по-прежнему помечена как Active. При оценке новости полезно различать три этапа.

  1. Предложено доказательство. Авторы публикуют математическое утверждение и аргументы в его пользу.
  2. Проверена формальная запись. Компьютерный проверяющий инструмент контролирует логические шаги относительно записанных определений и предпосылок. При этом важно сверить формальную формулировку с исходной задачей.
  3. Результат принят научным сообществом. Другие специалисты разбирают доказательство, его предпосылки и связь с предыдущими работами.

Рекомендации консультативной группы отдельно требуют связывать формальные материалы с понятным изложением и указывать, что именно формализовано. Рекомендации по выпуску результатов.

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

Что происходит теперь

6 октября OpenAI объявила о публикации большой подборки математических результатов. На момент проверки репозиторий содержит 719 рукописей в 372 группах связанных работ. Это не означает 719 независимо решённых знаменитых задач: одна группа может объединять основной результат, следствия и альтернативные доказательства. В репозитории указано, что работы находятся на разных стадиях проверки, а часть неформализованных результатов может содержать ошибки. Коллекция OpenAI, анонс публикации.

15 октября фонд Simons сообщил о совместной инициативе с OpenAI и Anthropic: 15 миллионов долларов в совокупности финансирования и ресурсов. Она поддержит оценку ИИ-результатов, освоение инструментов и выработку научных стандартов. Средствами будет распоряжаться фонд. Анонс Simons Foundation.

Следить теперь стоит за независимыми разборами, исправлениями и новыми методами, которые удастся извлечь из опубликованных доказательств. По ним станет понятнее, насколько полезным оказался этот эксперимент для дальнейших исследований.

Что эта история меняет для остальных

Для читателя главный навык здесь — различать заявление, проверяемое свидетельство и признанный результат. Он пригодится при следующей новости о научном открытии ИИ: найдите исходную работу, посмотрите условия задачи и выясните, кто уже проверил выводы.

Результат закрытой исследовательской системы также не описывает возможности любого доступного чат-бота. Выбирая инструмент для своей работы, полезнее проверить его на конкретной задаче — этому посвящён наш материал «Как выбрать нейросеть под задачу и не переплачивать». А в статье об ИИ-агентах объясняем, как устроены системы, которые выполняют действия с помощью инструментов.

История с Навье — Стоксом ставит вопрос, который выходит далеко за пределы математики: кто возьмёт на себя работу по проверке, объяснению и развитию результатов, если ИИ начнёт производить их быстрее, чем люди успевают читать?

Поделиться материалом
Telegram