Компания OpenAI сообщила, что ее внутренняя система искусственного интеллекта смогла найти решение одной из семи задач тысячелетия — задачи о существовании и гладкости уравнений Навье – Стокса. Математики занимались этой проблемой на протяжении многих десятилетий.
Вместе с изложением доказательства, компания предоставила его формализованную версию в системе Lean. Уравнения Навье – Стокса используются для описания движения газов и жидкостей, например, при моделировании воздушных потоков, погоды и кровообращения. Основной спорный момент касался возможности возникновения сингулярностей — состояний, нарушающих гладкость математической модели — при изначально гладком движении трехмерной жидкости за определенный промежуток времени. OpenAI утверждает, что ее система продемонстрировала такую возможность.
Согласно данным компании, в работе над этой задачей участвовало около 10 тысяч ИИ-агентов. Решение было достигнуто 5 сентября примерно через 88 часов после начала работы, а последующая формализация и верификация доказательства в Lean потребовали еще 17 часов. В ходе процесса агенты обменялись 2,7 миллионами сообщений и сгенерировали приблизительно 130 миллиардов выходных токенов.
Журнал Nature отметил данное заявление как потенциально значимый прорыв в области математики, однако на данный момент речь идет лишь о заявленном результате. Для официального признания этого достижения Институт математики Клэя требует, чтобы доказательство прошло независимую экспертизу и получило широкое одобрение научного сообщества. Согласно регламенту института, претендент на премию должен опубликовать решение не менее чем за два года до рассмотрения. За каждую из семи задач тысячелетия предусмотрена премия в размере одного миллиона долларов, но OpenAI заявила о своем отказе от претендования на эту награду.
Кроме того, ранее было сообщено о том, что модель GPT-6 Astra успешно прошла все 48 уровней теста «Я не робот», который имитирует различные типы CAPTCHA. Для выполнения этих задач искусственный интеллект самостоятельно взаимодействовал с интерфейсом и осуществлял распознавание содержимого экрана.