ШІ розв’язав проблему Нав’є-Стокса, яку не могли вирішити майже 90 років

Що сталося

Внутрішня ШІ-система компанії OpenAI створила аналітичний доказ та його формалізацію мовою Lean для проблеми існування та гладкості рівнянь Нав’є-Стокса. Ця задача є однією з семи Проблем премії тисячоліття, а питання можливого порушення плавності руху рідини залишалося невирішеним близько 90 років. 

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

Чому це цікаво 

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

Для розв’язання цієї проблеми OpenAI використала нову внутрішню модель, що за можливостями перевищує GPT-6 Astra, та мультиагентну систему, у якій працювало близько 10 000 одночасних агентів. Агенти мали доступ до перегляду кешованого вебу та виконання коду, а їхні групи обмінювалися проміжними результатами й ідеями. Пошук розв’язку тривав приблизно 88 годин, після чого система GPT-6 Astra за 17 годин виконала формальну перевірку доказу мовою Lean. У процесі роботи над цією задачею агенти надіслали 2,7 млн повідомлень і використали близько 130 млрд токенів.

Більше про це

01 НОВИНИ

ШІ розв’язав гіпотезу Ердеша, яку не могли довести 80 років

Додати в закладки

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

Далі

Завершити

Реклама у Vector

Знайшли помилку? Виділіть її і натисніть Ctrl+Enter