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