Задачу Навье-Стокса закрыли агенты OpenAI

OpenAI опубликовала то, что называет решением задачи Навье-Стокса, одной из семи Millennium Prize Problems: вместе с текстовым разбором выложено формальное доказательство в системе Lean. В публикации OpenAI решение описано как сгенерированное искусственным интеллектом; о заявке лаборатории на вторую закрытую задачу тысячелетия сообщила The Wall Street Journal.

Коротко

• Доказательство, по цитате из анонса, собрала группа агентов на модели следующего поколения OpenAI, «значительно более способной, чем GPT-6 Astra»: цитату приводит Testing Catalog в социальной сети Threads.
• Семь задач тысячелетия закрепили в 2000 году, за решение каждой обещан миллион долларов, и до сих пор решённой считалась лишь одна, напоминает The Wall Street Journal, датируя публикацию OpenAI вторником.
• Wired 8 сентября написала, что заявление OpenAI сопровождают обвинения части академического сообщества в некорректных действиях, и называет предметом спора уравнение возрастом около 200 лет, задающее поведение воды и воздуха.

Millennium Prize Problems десятилетиями служили верхней границей того, что вообще считается решаемым, поэтому заявка на любую из них переводит спор об ИИ в математике из области олимпиадных задач в область по-настоящему открытых проблем. Судя по всему, центральным станет вопрос проверки: машинно проверяемый артефакт снимает часть сомнений в самих выкладках, но не отвечает на претензии к тому, как результат был получен и представлен. Отдельный сдвиг в том, что работа такого масштаба заявлена как продукт агентной системы, а не одной модели.

Доказательство собрала группа агентов на модели новее GPT-6 Astra

Доказательство, по описанию OpenAI, собрала группа агентов, работавших на модели следующего поколения, которую в анонсе характеризуют как «значительно более способную, чем GPT-6 Astra». Цитату из публикации приводит Testing Catalog в социальной сети Threads, там же результат отнесён к четвёртому уровню шкалы возможностей OpenAI, обозначенному как «Innovators». Сама лаборатория представляет опубликованное как сгенерированное ИИ решение задачи Навье-Стокса, одной из семи Millennium Prize Problems.

Формальная часть выложена в системе Lean, где математика записывается в виде кода: утверждения и шаги доказательства оформляются так, что их корректность проверяет программа. Вместе с ней опубликован текстовый разбор, обе части выложены OpenAI в одном материале. Формализация в Lean в последние годы стала распространённым способом подтверждать длинные и трудно проверяемые доказательства, которые сложно перепроверить вручную.

Из семи задач тысячелетия решённой до сих пор считалась одна

К Millennium Prize Problems относят семь вопросов, закреплённых в 2000 году как самые глубокие и трудные нерешённые проблемы математики. За решение каждого обещан миллион долларов. С тех пор за этими задачами, как пишет The Wall Street Journal, охотились сильнейшие умы мира, но решённой до публикации OpenAI считалась только одна из семи.

Публикацию OpenAI газета относит к вторнику и описывает как самый значительный на сегодняшний день результат года, в котором всё более мощные системы ИИ закрывали гипотезы, долго не поддававшиеся людям. Само решение, по изложению газеты, произведено искусственным интеллектом. При этом The Wall Street Journal формулирует новость осторожно: лаборатория опубликовала то, что сама называет решением второй задачи тысячелетия.

Wired пишет об обвинениях в некорректных действиях вокруг анонса

Wired сообщает, что OpenAI заявила о найденном с помощью ИИ решении одной из крупнейших задач математики, и описывает её как уравнение возрастом около 200 лет, задающее естественное поведение жидкостей и газов, включая воду и воздух. Уравнения Навье-Стокса лежат в основе моделирования течений, от прогноза погоды до аэродинамики, и остаются одной из классических задач математической физики.

Wired также пишет, что анонс лаборатории оказался в тени обвинений в некорректных действиях, с которыми выступила часть академического сообщества. Издание называет заявление OpenAI знаковым и одновременно фиксирует спор вокруг него. Материал Wired датирован 8 сентября, заявление OpenAI в нём отнесено к тому же дню, а сам текст подписан Уиллом Найтом и Максвеллом Зеффом.

Модель, число агентов и суть претензий

Число агентов, участвовавших в работе, в цитате из анонса не приводится, а модель следующего поколения обозначена в ней только через сравнение с GPT-6 Astra и собственного названия не имеет. Не конкретизирован в доступном описании и характер претензий, о которых пишет Wired: из него не следует, кто именно из академического сообщества выступил с обвинениями в некорректных действиях.