Профессор математики Нью-Йоркского университета Тристан Бакмастер во вторник объявил о трех доказательствах, включая предварительные результаты по одной из главных нерешенных задач теоретической математики. Исследование проводилось совместно с математиком Anthropic Левентом Альпёге с использованием моделей Codex и Claude. Однако вокруг этой работы разгорелся необычный конфликт, связанный с попытками OpenAI решить ту же задачу, сообщает TechCrunch.
В своем заявлении Бакмастер отметил, что параллельные усилия OpenAI были основаны на их работе еще до того, как она стала публичной, что привело к спору об академическом приоритете. Вскоре после заявления Бакмастера OpenAI опубликовала полное доказательство проблемы существования и гладкости решений уравнений Навье-Стокса, к которому стремились исследователи. По данным OpenAI, доказательство было найдено невыпущенной моделью нового поколения, которая за неделю работы использовала 300 миллиардов выходных токенов, что эквивалентно 22,5 миллиона долларов на вычислительные мощности.
Проблема Навье-Стокса входит в список семи задач тысячелетия, за решение каждой из которых Институт математики Клэя предлагает премию в один миллион долларов. Уравнения Навье-Стокса широко применяются в механике жидкостей, однако их теоретическое понимание остается неполным. Успешное решение этой задачи стало бы значительным прорывом в математической физике.
Пока Бакмастер и Альпёге завершали свою работу, они узнали, что информация об их прогрессе была передана в OpenAI. При обращении в компанию им сообщили, что там уже получили полное доказательство, но на вопросы о сроках начала исследований и степени участия человека ответы были уклончивыми. Выяснилось, что над задачей работала целая команда с использованием огромных вычислительных ресурсов, а первый запрос к модели был отправлен лишь за несколько дней до этого, уже после того, как информация о работе исследователей достигла OpenAI.
Бакмастер отметил, что выбранный ими подход к решению задачи является редким, и подозрительно, что OpenAI применила ту же стратегию одновременно. Он также выразил обеспокоенность тем, что его интенсивное использование Codex могло позволить OpenAI получить доступ к его наработкам, поскольку компания оставляет за собой право обучать модели на взаимодействиях пользователей с этим инструментом. В OpenAI заявили, что исследователи не видели работу Бакмастера до ее публикации, однако не смогли полностью исключить, что обезличенные данные могли повлиять на улучшение моделей, отметив при этом существенные различия в доказательствах.
Этот инцидент, вероятно, усилит дискуссию о роли искусственного интеллекта в математических исследованиях и мотивации OpenAI. Сам Бакмастер считает, что наилучшим решением является максимальное раскрытие информации о проведенной работе для общественности.