лабораторія

Компанія OpenAI заявила, що її внутрішня ШІ-модель знайшла рішення однієї з семи «Задач тисячоліття»проблеми існування та гладкості розв’язків рівнянь Нав’є — Стокса.


Що таке рівняння Нав’є — Стокса?


Опис рівнянь

Ці рівняння XIX століття описують рух рідин і газів і використовуються в:

  • проєктуванні літаків;
  • прогнозуванні погоди;
  • вивченні кровообігу.

Проблема гладкості

Майже 90 років вчені намагалися з’ясувати, чи завжди математичний опис рідини залишається «гладким» (неперервним і передбачуваним), чи рух потоків може призводити до «сингулярності»колапсу моделі, за якого швидкість рідини за короткий час прагне до нескінченності.


Рішення від OpenAI


Доведення сингулярності

Система OpenAI, за заявою компанії, математично довела другий сценарій: початково потік рідини може самостійно розганятися до нескінченних швидкостей, утворюючи сингулярність.


Перевірка точності

Для перевірки точності викладок ШІ пройшов формальну верифікацію на мові Lean.


Процес вирішення


Використані ресурси

Щоб впоратися з задачею, розробники об’єднали в єдину мережу близько 10 тисяч ШІ-агентів — спеціалізованих цифрових помічників. Протягом 88 годин вони обмінювалися ідеями, запускали обчислення та згенерували близько 130 мільярдів токенів.


Характеристики моделі


Порівняння з GPT-6 Astra

У OpenAI підкреслили, що використана внутрішня модель значно перевершує за можливостями найновішу GPT-6 Astra.


Позиція OpenAI щодо премії


Відмова від премії

Компанія відмовилася претендувати на премію в $1 мільйон від Математичного інституту Клея, яка належить за вирішення кожної з задач тисячоліття.


Головний результат

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