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