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