OpenAI заявила, что ИИ решил задачу тысячелетия Навье — Стокса
Материал подготовлен искусственным интеллектом на основе нескольких источников — ссылки на оригиналы приведены ниже.
OpenAI объявила, что её внутренняя ИИ-модель решила проблему существования и гладкости решений уравнений Навье — Стокса, одну из семи «задач тысячелетия». Компания опубликовала описание доказательства и его формализацию на языке Lean. Профессор математики Нью-Йоркского университета Тристан Бакмастер обвинил OpenAI в использовании его наработок.
Ключевые факты
- OpenAI заявила, что её внутренняя ИИ-модель решила проблему существования и гладкости решений уравнений Навье — Стокса, одну из семи «задач тысячелетия».
- Компания опубликовала описание доказательства и его формализацию на языке Lean.
- Над задачей Навье — Стокса одновременно работало около 10 тысяч ИИ-агентов с доступом к кэшированным данным интернета и выполнению кода.
- Профессор математики Нью-Йоркского университета Тристан Бакмастер обвинил OpenAI в использовании его наработок и наработок Левента Альпеге без указания авторства.
- OpenAI отрицает целенаправленный доступ к логам пользователей, но признаёт, что анонимные данные могли попасть в обучающую выборку.
Заявленное доказательство
OpenAI объявила, что её внутренняя ИИ-модель решила проблему существования и гладкости решений уравнений Навье — Стокса, одну из семи «задач тысячелетия». Компания заявила, что публикует как описание самого доказательства, так и его формализацию на языке Lean. Использованная для задачи Навье — Стокса модель значительно превосходит по возможностям GPT-6 Astra, отметили в OpenAI. Одновременно над задачей работало около 10 тысяч агентов, у которых был доступ к кэшированной копии интернета и выполнению программного кода. Одним агентам предлагались формулировки, ведущие к доказательству, другим — к опровержению.
Обвинение в плагиате
Профессор математики Нью-Йоркского университета Тристан Бакмастер обвинил OpenAI в использовании его наработок и наработок Левента Альпеге без указания авторства. Бакмастер заявил, что вместе с Альпеге долго работал над этой проблемой, загружая свои выкладки в сервис Codex от OpenAI. По его словам, сразу после слухов об успехе ИИ модель пришла к тем же выводам. Бакмастер сообщил, что спросил, обучалась ли модель на их сессиях в Codex, но ответа не получил. OpenAI отрицает целенаправленный подсмотр логов, но признаёт, что анонимные данные пользователей могли попасть в обучающую базу.
1 источник
Время · отставание