OpenAI представила доказ розв'язання задачі Нав'є-Стокса за участі 10 000 AI-агентів

OpenAI оголосила про створення аналітичного доказу, який, на їхню думку, розв'язує проблему існування та гладкості розв'язків рівнянь Нав'є-Стокса — однієї з семи задач тисячоліття. Доказ формалізовано мовою Lean.

Контекст задачі

Рівняння Нав'є-Стокса описують рух рідин і газів, і їхня гладкість залишається відкритим питанням вже близько 90 років. Важливо з'ясувати, чи може гладкий початковий рух рідини залишатися таким, чи виникає сингулярність за кінцевий час.

Результати OpenAI

OpenAI стверджує, що їхня система довела, що рідина, яка спочатку спокійна і гладка, може за певних умов утворити сингулярність. Для цього використовувалась гладка зовнішня сила, а енергія рідини залишалася кінцевою. Вихор, який виникає, порівнюється з формою спагеті, де центральна область стискається, але енергія залишається обмеженою.

Процес роботи

Над доказом працювало близько 10 000 AI-агентів, які перевіряли різні варіанти задачі. OpenAI запустила систему 28 серпня, а 5 вересня агенти отримали результат. Всього було відправлено 4,9 млн повідомлень, з яких 2,7 млн — під час роботи над Нав'є-Стоксом.

Важливе уточнення

OpenAI підкреслює, що не претендує на грошову премію в $1 млн від Clay Mathematics Institute, а метою було продемонструвати можливості AI-моделей. Премія вимагає формального визнання результату науковою спільнотою.

Вплив на науку та технології

Співзасновник OpenAI Ярослав Ажнюк зазначив, що це досягнення може мати значний вплив на авіацію, медицину, прогнозування погоди та інші сфери. Це важливий крок у розвитку застосування ШІ для наукових відкриттів.

Джерело: dev.ua (https://dev.ua/news/navie-1788929855)