OpenAI заявила про розв'язання рівнянь Нав'є-Стокса: ШІ працював 88 годин
OpenAI заявила, що її внутрішня система ШІ розв'язала проблему існування та гладкості розв'язків рівнянь Нав'є-Стокса — одну із семи «Задач тисячоліття». Над ключовим етапом одночасно працювали близько 10 тисяч ШІ-агентів, а обчислення коштували кілька мільйонів доларів.
OpenAI заявила про математичний прорив
OpenAI повідомила про розв'язання проблеми Нав'є-Стокса, яку Математичний інститут Клея у 2000 році включив до семи «Задач тисячоліття». За кожну передбачена премія $1 млн. Раніше розв'язаною вважалася лише гіпотеза Пуанкаре, доведена Григорієм Перельманом у 2003 році.
Рівняння Нав'є-Стокса описують рух рідин і газів та використовуються, зокрема, у прогнозуванні погоди, проєктуванні літаків і дослідженні кровообігу. OpenAI стверджує, що доказ створила внутрішня система, потужніша за GPT-6 Astra.
Близько 10 000 ШІ-агентів працювали одночасно
Роботу запустили 1 вересня. Агентів об'єднали в групи, а команда, яка зрештою отримала розв'язок проблеми Нав'є-Стокса, налічувала близько 10 тисяч агентів.
«Агентів поділили на групи, учасники яких могли спілкуватися між собою. Групи мали різний розмір».
Фінального результату система досягла 5 вересня — приблизно через 88 годин після запуску. Ще 17 годин знадобилося для формалізації доказу мовою Lean та його перевірки за допомогою GPT-6 Astra.
ШІ знайшов сценарій із сингулярністю
Система отримала розв'язок у вигляді вихору, який закручується всередину та дедалі більше витягується. Його центральна частина звужується і прискорюється, доки не виникає сингулярність.
«Наше доведення справді показує, що існують плинні середовища, які на початку мають цілком нормальний стан, але згідно з рівняннями Нав'є-Стокса фактично досягають нескінченної швидкості за скінченний час», — пояснив Вен Чандрасекаран.
OpenAI не планує претендувати на премію $1 млн. Президент Математичного інституту Клея Мартін Брідсон назвав оголошення визначним днем для осмислення нових досягнень у математиці.
Мільйони доларів і 130 млрд токенів
За словами математика OpenAI Себастьяна Бубека, обчислення для розв'язання задачі коштували кілька мільйонів доларів. Агенти, які працювали безпосередньо над Нав'є-Стоксом, обмінялися 2,7 млн повідомлень і використали близько 130 млрд токенів.
У межах роботи над усіма «Задачами тисячоліття» та пов'язаними проблемами системи загалом створили 4,9 млн повідомлень і близько 300 млрд токенів.
FAQ
-
Яку «Задачу тисячоліття» розв'язала OpenAI?
Компанія заявила про розв'язання проблеми існування та гладкості розв'язків рівнянь Нав'є-Стокса.
-
Скільки ШІ-агентів працювали над задачею?
Група, яка отримала ключовий розв'язок, налічувала близько 10 000 агентів, що працювали одночасно.
-
Чи претендує OpenAI на премію $1 млн?
Ні. У компанії заявили, що не мають наміру претендувати на грошову премію за цей результат.