OpenAI заявляє про розв’язання задачі Нав’є-Стокса за допомогою ШІ-агентів
Лабораторія OpenAI повідомила у своєму офіційному звіті On the Navier–Stokes Millennium Prize Problem, що система з близько 10 000 автономних ШІ-агентів за 88 годин знайшла математичний розв’язок рівнянь Нав’є-Стокса — однієї з семи видатних Проблем тисячоліття. Формальну верифікацію математичного доведення мовою Lean всього за 17 годин завершив інструмент GPT-6 Astra.
Рівняння Нав’є-Стокса є основою гідродинаміки та описують рух в’язких рідин і газів. Сутність проблеми полягала у питанні, чи завжди ці рівняння мають гладкі (неперервні) розв’язки. Як зазначають медіа, зокрема у матеріалі Hromadske про досягнення OpenAI, алгоритми компанії побудували приклад «вибуху» системи за скінченний час (finite-time blowup), тим самим підтвердивши сценарій розриву гладкості.
Для досягнення цього результату ройова система обмінялася 2,7 мільйона повідомлень та згенерувала 130 мільярдів токенів. В OpenAI наголосили, що відмовляються від премії у $1 млн від Математичного інституту Клея на користь наукового прогресу. Водночас, як підкреслює аналітичне видання Implicator AI щодо позиції Інституту Клея, міжнародна наукова спільнота не поспішає офіційно фіксувати перемогу, адже ретельне рецензування та перевірка доведення експертами триватиме місяцями. Крім того, оглядачі ResultSense звертають увагу на дискусію щодо пріоритету, яка виникла навколо використання джерел та автономності роботи алгоритмів.