OpenAI 8 сентября заявила, что внутренняя модель с помощью около 10 000 специализированных агентов нашла решение задачи Навье–Стокса — утверждение, которое уже оспаривают два математика.
Ключевые моменты:
- Непубличная система OpenAI выдала текстовое доказательство и формальную запись в Lean для одной из семи задач тысячелетия.
- Тристан Бакмастер и Левент Алпёге, опубликовавшие смежный результат на день раньше, требуют объяснить, как компания вышла на тот же подход.
- Теренс Тао считает, что ИИ‑лаборатории используют знаменитые нерешенные задачи в рекламных целях, а не ради развития математики.
Детали «доказательства» OpenAI по Навье–Стоксу
Компания опубликовала описание метода и формализацию в Lean, согласно которым изначально гладкое и покоящееся течение жидкости может развить сингулярность за конечное время. Внутреннюю систему исследователи описывают как заметно более мощную, чем GPT-6 Astra, добавляя, что модель продолжает обучаться и её качество растёт. Около 90 лет математики пытаются ответить на этот вопрос: ещё в 1934 году Жан Лере показал существование решений в более слабом, обобщённом смысле.
Обучение модели OpenAI началось 28 августа, а уже 1 сентября её «направили» на все задачи тысячелетия — на фоне слухов, что как минимум две из них уже решены. Руководители заявили журналистам, что счёт за вычислительные ресурсы достиг миллионов долларов.
Читайте также: Цена XRP нацелилась на $1,46 на фоне возвращения «китов» в сентябре
Конфликт Бакмастера и Бюбека из‑за авторства
Тристан Бакмастер, профессор математики в Нью-Йоркском университете, и Левент Алпёге, исследователь Anthropic, выступавший как частное лицо, почти год работали над родственными задачами гидродинамики. Они опирались на прежние результаты Диего Кордобы и Луиса Мартинеса‑Зороа и за день до заявления OpenAI выложили формально проверенные в Lean доказательства для задачи о вынужденных уравнениях Эйлера. После этого Бакмастер поинтересовался, не использовались ли его конфиденциальные черновики в Codex для обучения конкурирующей системы, но, по его словам, не получил внятного ответа о датасете.
Он также утверждает, что исследователь OpenAI Себастьян Бюбек настаивал на исключении Алпёге из соавторов статьи из‑за его работодателя, а затем предостерёг от огласки истории.
Бюбек назвал эту версию ложной и разжигающей конфликт.
В OpenAI утверждают, что ни сотрудники, ни агенты системы не видели работу Бакмастера и Алпёге до её публикации, но признают, что обезличенные данные об использовании могли в целом способствовать улучшению моделей. Компания не собирается претендовать на премию в $1 млн, закреплённую за задачей. Институт математики Клэя, сформулировавший семь задач тысячелетия в 2000 году, по‑прежнему считает задачу Навье–Стокса нерешённой.
Теренс Тао о том, как ИИ меняет математику
Теренс Тао, один из наиболее авторитетных современных математиков, предупредил, что ИИ‑компании превращают знаменитые открытые задачи в «витрину» для демонстрации мощи новых моделей. По его словам, такое «выуживание ответов» из классических проблем подрывает экосистему, которая рождает новые методы, постановки задач и целые школы математиков, — он сравнил происходящее с разграблением археологического памятника.
Масштаб эксперимента рос по экспоненте. Сначала около сотни агентов за примерно 50 часов решили более простую задачу — невынужденные уравнения Эйлера. Затем «группа» по Навье–Стоксу 5 сентября сообщила о решении основной задачи, спустя примерно 88 часов после запуска, а формальная проверка этого доказательства в Lean заняла ещё 17 часов.
Читайте далее: Bitget добавляет блокчейн‑курсы в совместную с UNICEF образовательную программу для 642 000+ участников
