OpenAI заявила, что ее внутренняя модель искусственного интеллекта предложила решение задачи о существовании и гладкости решений уравнений Навье — Стокса, входящей в число семи «задач тысячелетия». Компания опубликовала описание полученного доказательства и его формализацию на языке Lean. При этом вокруг работы возник спор с профессором математики Нью-Йоркского университета Тристаном Бакмастером, который заявил, что OpenAI могла опираться на результаты его совместного исследования с математиком Левентом Альпеге из Anthropic.
Читайте: Россиянам готовят новые запреты: что изменится уже в ближайшее время
Для работы над задачами OpenAI сформировала группы ИИ-агентов, которым предоставили доступ к кэшированной копии интернета и возможность выполнять программный код. В решении проблемы Навье — Стокса одновременно участвовали около 10 тыс. агентов. Одни из них получали формулировки, направлявшие поиск в сторону доказательства утверждения, другие пытались его опровергнуть. Параллельно система занималась более простыми математическими проблемами.
Одной из таких задач стала проблема регулярности решений уравнений Эйлера. Над ней около 100 агентов работали примерно 50 часов и, по данным компании, смогли получить решение. К результату по уравнениям Навье — Стокса агенты пришли в субботу, 5 сентября. Еще 17 часов потребовалось на формализацию и проверку с помощью GPT-6 Astra. В общей сложности было отправлено 2,7 млн сообщений и использовано 130 млрд выходных токенов, что компания сопоставила с объемом примерно миллиона книг.
OpenAI утверждает, что 1 сентября получила информацию о возможном решении двух «задач тысячелетия» другими исследователями. Позднее выяснилось, что речь идет о Бакмастере и Альпеге. После завершения собственного проекта и формальной проверки в Lean 6 сентября компания связалась с математиками и предложила одновременно опубликовать результаты, признав их приоритет в совместном заявлении. В OpenAI настаивают, что исследователи и ИИ-агенты не были знакомы с их работой до ее публичного обнародования.
Бакмастер 8 сентября представил предварительные результаты, полученные вместе с Альпеге с использованием моделей Codex и Claude. Как пишет TechCrunch, математик заявил, что сведения о ходе их исследования попали в OpenAI еще до публикации результатов. Он также обратил внимание на сходство выбранного подхода к решению задачи и выразил опасения, что данные его работы с Codex могли повлиять на исследования компании. При этом Бакмастер отдельно указал, что не знает, использовались ли их данные, и не обвиняет OpenAI в этом напрямую.
Руководитель математических исследований OpenAI Себастьен Бюбек назвал утверждения Бакмастера ложными и провокационными. Сам Бакмастер сообщил, что не видел доказательство OpenAI и не знает, каким образом модель получила результат. Вскоре после его заявления компания опубликовала полное доказательство предлагаемого решения задачи о существовании и гладкости решений уравнений Навье — Стокса.
Читайте также:
- Сентябрь все изменит: что ждет россиян уже с 1 числа
- В платежках за ЖКХ появятся новые начисления: что уже изменилось для россиян
- Пенсии в России резко вырастут с августа: кто получит прибавку уже летом
