OpenAI решили одну из семи «задач тысячелетия»
Сообщают, что новая модель вместе с примерно 10 тысячами автономных агентов за 88 часов нашла решение проблемы существования и гладкости решений уравнений Навье — Стокса.
🔴Это одна из семи задач тысячелетия, за каждую из которых Институт Клэя платит миллион долларов. Ключевые аспекты проблемы не могли доказать около 90 лет.
Вот как это описывают в самой OpenAI:
Мы делимся решением задачи о присуждении премии тысячелетия по уравнениям Навье-Стокса, одной из самых сложных проблем на переднем крае математики. Доказательство было получено группой агентов с использованием модели следующего поколения OpenAI, значительно превосходящей по своим возможностям GPT-6 Astra. Проблема касается того, может ли описание плавного трехмерного движения жидкости, моделируемое уравнениями Навье-Стокса, быть несостоятельным. Она оставалась нерешенной примерно 90 лет.
Масштаб работы ▶️Агенты умели исполнять код и имели доступ к архивной копии интернета. Они искали и доказательства, и опровержения, попутно решая вспомогательные задачи, включая уравнения Эйлера. ▶️За время работы обменялись почти 3 млн сообщений и сгенерировали около 130 млрд токенов - это примерно миллион книг по объёму. ▶️Ещё 17 часов ушло на верификацию через GPT-6 Astra. По собственным тарифам OpenAI такая работа на топовых моделях стоила бы порядка $10 млн.
Важные оговорки 🔴Решение закрывает две из четырёх частей требуемого доказательства. Результат ещё никто независимо не проверял, Институт Клэя его не признал, а сама OpenAI на приз не претендует - говорит, что хотела показать возможности новой модели.
🔴Пока это заявка, а не признанное достижение. Математическое сообщество проверяет такие доказательства месяцами, иногда годами, и история знает немало случаев, когда красивое решение разваливалось на этапе рецензирования.
Но интересно другое. Здесь впервые публично показана работа роя из десяти тысяч агентов на одной задаче - не диалог с моделью, а распределённое исследование с обменом сообщениями и проверкой гипотез.
🔴Если верификация подтвердит результат, это будет первый случай, когда ИИ закрыл фундаментальную математическую проблему такого уровня.
Если нет - останется дорогая демонстрация того, на что способна агентная архитектура при бюджете в десять миллионов долларов.
🦾 AI для бизнеса в Telegram | в MAX
В этом посте были ссылки, но мы их удалили по правилам Сетки
