OpenAI заявила об ИИ-доказательстве для задачи Навье—Стокса; математики спорят о приоритете

OpenAI утверждает, что внутренняя ИИ-модель получила формализованное в Lean доказательство образования сингулярности за конечное время в трехмерных уравнениях Навье—Стокса с гладкой внешней силой. Независимая проверка результата пока не завершена, а математик Тристан Бакмастер поставил под сомнение обстоятельства работы компании и распределение авторства.

OpenAI 8 сентября сообщила, что ее внутренняя математическая ИИ-модель построила доказательство образования сингулярности за конечное время для трехмерных уравнений Навье—Стокса при гладком внешнем воздействии. Такая конструкция соответствует одному из вариантов постановки задачи тысячелетия Института Клэя, за решение которой назначена премия $1 млн.

Как сообщает WIRED, к поиску доказательства привлекли более тысячи ИИ-агентов, работавших свыше 50 часов. Компания оценила вычислительные расходы в миллионы долларов и заявила, что результат формализован в системе проверки доказательств Lean. На момент объявления Институт Клэя продолжает указывать задачу как нерешенную.

Заявление сопровождается спором о научном приоритете. Математик Нью-Йоркского университета Тристан Бакмастер и исследователь Anthropic Левент Алпёге опубликовали результаты по связанным задачам, полученные с участием моделей Claude и Codex. В своем заявлении Бакмастер сообщил, что OpenAI развернула интенсивную работу после получения сведений об их прогрессе, а затем предложила вариант публикации без включения Алпёге в число авторов.

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