AiKraft
Релиз модели16 октября 2026 г., 05:45 МСК🤖 Auto

OpenAI доказала, что её решение задачи Навье-Стокса — оригинально

Споры о плагиате в решении «задачи тысячелетия» утихли: эксперты подтвердили, что ИИ-рой OpenAI нашел уникальный путь, отличный от работы испанских математиков.

Баннер новости 9775

Суть скандала и его развязка

В начале сентября 2026 года OpenAI опубликовала 166-страничное решение проблемы Навье-Стокса — одной из семи «задач тысячелетия» с призом в 1 млн долларов. Изначально компания заявляла, что её модель использует подход испанских математиков Диего Кордобы и Луиса Мартинеса-Зороа. Это вызвало гнев Нью-Йоркского университета: математик Тристан Бакмастер и сотрудник Anthropic Левент Альпёге утверждали, что их работа была украдена, так как они сами использовали LLM для реализации этого метода.

Однако после детального анализа стало ясно: утверждения о плагиате были преувеличены. Эксперты, включая Гонсало Као-Лаборa из EPFL, подтверждают, что решение OpenAI фундаментально отличается от «испанской программы».

Технические детали: как ИИ нашел обходной путь

Задача Навье-Стокса описывает движение жидкостей. Решение OpenAI доказывает существование «взрыва» (blowup) — ситуации, когда скорость потока становится бесконечной, что физически невозможно. ИИ использовал лазейку в формулировке Института Клэя, создав искусственную силу, «перемешивающую» жидкость.

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

Масштаб вычислений и верификация

Решение было получено с помощью «ройного интеллекта» (agent swarm). В процессе участвовали следующие ресурсы:

  • Количество агентов: около 10 000 копий новой математической LLM.
  • Время вычислений: 88 часов.
  • Объем обработки: 130 миллиардов токенов.
  • Язык верификации: Lean (язык программирования для автоматической проверки логики).

Код Lean позволяет другим исследователям автоматически проверять корректность каждого логического шага, что критически важно для доверия к ИИ-результатам.

Почему это важно для науки

Ситуация демонстрирует новую парадигму: даже создатели модели не всегда понимают, как именно её нейросети пришли к выводу. OpenAI изначально ошибочно полагала, что использует метод Бакмастера, но ИИ-рой самостоятельно переключился на альтернативный путь. Это подчеркивает проблему «черного ящика» в сложных математических рассуждениях ИИ.

Кроме того, OpenAI опубликовала еще около 400 результатов. По оценкам экспертов, в до-ИИ эпоху как минимум 12 из них могли бы принести авторам Филдсовскую медаль. Экспертное сообщество физически не успевает проверять такие объемы открытий, что ставит под вопрос традиционные механизмы научной рецензии.

Источник: Scientificamerican ↗