Согласно новости ME, 9 сентября (UTC+8) OpenAI объявила о решении одной из задач тысячелетия — проблемы существования и гладкости уравнений Навье-Стокса, которая оставалась нерешённой около 90 лет.
Это доказательство было выполнено группой агентов с использованием следующего поколения модели OpenAI, значительно превосходящей GPT-6 Astra; OpenAI утверждает, что около 10 000 агентов работали параллельно в течение примерно 88 часов, после чего GPT-6 Astra потратил 17 часов на формальную верификацию в системе доказательства теорем Lean. Доказательство показывает, что в трехмерном потоке жидкости могут возникать сингулярности за конечное время: вихри сжимаются внутрь, их ядра растягиваются и ускоряются до бесконечной скорости, при этом общая энергия системы остается конечной. OpenAI опубликовала 165-страничный текст доказательства и формализованный код Lean и заявила, что не намерена претендовать на приз в 1 миллион долларов США. В настоящее время Институт математики Клэя по-прежнему классифицирует эту проблему как нерешенную, поскольку, согласно правилам, решение должно быть опубликовано в рецензируемом журнале, сохранено как минимум два года и получило общее признание математическим сообществом, прежде чем будет рассмотрено на присуждение премии. (Источник: X)
