Профессор математики NYU Тристан Бакмастер объявил о трёх доказательствах, включая предварительный результат по одной из главных нерешённых задач теоретической математики. Работа велась совместно с математиком Anthropic Левентом Альпёге с использованием моделей Codex и Claude.
Параллельно разгорелся конфликт с OpenAI. Бакмастер заявил, что информация об их прогрессе утекла в OpenAI, после чего компания заявила о собственном полном доказательстве той же проблемы.
По словам Бакмастера, над задачей внезапно начала работать целая команда OpenAI с использованием огромных вычислительных мощностей. Первый запрос модели был отправлен спустя несколько дней после утечки данных об их исследовании.
Руководитель математических исследований OpenAI Себастьян Бубек назвал эти обвинения "ложными и провокационными", подчеркнув приверженность академическим стандартам.
Речь идёт о задаче существования и гладкости решений уравнений Навье-Стокса — одной из семи "Проблем тысячелетия" с призом в миллион долларов от Математического института Клэя. Уравнения широко используются в гидродинамике, но плохо изучены теоретически.
Бакмастер отметил, что выбранный им и Альпёге редкий подход к задаче почти никто больше не использовал, что делает совпадение с методом OpenAI подозрительным.
Хотя Альпёге работает в Anthropic, исследование не велось от имени компании — дуэт в основном использовал Codex от OpenAI. Тем не менее, по словам Бакмастера, Бубек предлагал убрать имя Альпёге из авторов в качестве компромисса.
Когда Бакмастер решил предать спор огласке, Бубек якобы спросил: "Зачем тебе разрушать карьеру?", а затем добавил угрозу перестать быть "милым".
Бакмастер также выразил опасения, что его данные из Codex могли быть использованы при обучении моделей OpenAI, что позволило системе воспроизвести часть его наработок. OpenAI не ответила на запрос о комментарии по этому поводу.
"Я не видел доказательства OpenAI и не знаю, что делала их модель", — написал Бакмастер. — "Я лишь констатирую факты, потому что альтернатива — позволить лжи остаться безответной".