OpenAI боролась с проблемой математики, связанной с развитием карьеры, говорит математик Нью-Йоркского университета

Профессор математики Нью-Йорка Тристан Бакмастер объявил о трех доказательствах во вторник с предварительным выводом по одной из основных неразрешенных проблем теоретической математики. Выводы, сделанные в сотрудничестве с математиком Антропиком Левентом Альпёге и используя модели Кодекса и Клода АИ, важны сами по себе — но они также сопровождаются необычными противоречиями вокруг попыток OpenAI/s решить ту же проблему. . Есть еще одна часть этой истории, Бакмастер написал в своем заявлении о доказательствах, и один из них, честно говоря, я очень хотел бы, чтобы мне не пришлось беспокоиться об этом. Но когда они задавали вопросы о том, когда OpenAI начала исследование проблемы и как много было связано с ее участием человека, ответы стали более уклончивыми. ▪ Выяснилось, что целая команда работала над этой проблемой, — говорит Бакмастер, — и при этом использовалось безумное количество вычислений... В конечном итоге было решено, что [первая оперативная] была направлена в последние несколько дней после получения информации о нашей работе на OpenAI. Если это правда, то группа OpendaI убедилась, что подход Бакмастера и Альпёгейнса был правильным, и решила использовать свое материальное преимущество при вычислении ресурсов для того, чтобы сначала получить официальное доказательство. Себастьян Бубек, который возглавляет математическое исследование OpenAIuss, говорит, что эти утверждения являются ложными и подстрекательскими. Спорные центры по проблеме существования и сглаживания…