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