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