Профессор математики из Нью-Йоркского университета Тристан Бакмастер обвинил компанию OpenAI в использовании его наработок при решении одной из семи «задач тысячелетия». Об этом сообщила газета The Wall Street Journal (WSJ).
Бакмастер заявил, что вместе с коллегой Левентом Альпеге долго бились над решением этой проблемы, загружая свои выкладки в сервис Codex от OpenAI. Математик утверждает, что сразу после слухов об успехе ученых ИИ пришел к тем же выводам.
«Мы спросили, обучалась ли модель на наших сессиях в Codex. Ответа не получили», — заявил исследователь.
В OpenAI отрицают целенаправленный подсмотр логов, но признают, что анонимные данные пользователей могли попасть в обучающую базу.
До этого компания OpenAI заявила, что ее новая ИИ-модель решила одну из сложнейших математических задач — проблемы существования и гладкости решений уравнений Навье — Стокса. Компания опубликовала как описание самого доказательства, так и его формализацию на языке Lean. Отмечается, что для решения этой задачи было задействовано более 10 тыс. ИИ-агентов, которые работали около 88 часов. У них был доступ к таким инструментам, как возможность считывания данных из кэшированной версии интернета и возможность выполнения программного кода.
За решение уравнений Навье — Стокса, как и других семи «задач тысячелетия», положен миллион долларов. Компания OpenAI от премии отказалась.
Ранее ИИ опроверг математическую гипотезу Эрдеша.