лабораторія

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


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


Опис рівнянь

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

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

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

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


Рішення від OpenAI


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

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


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

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


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


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

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


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


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

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


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


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

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


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

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