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