👀 OpenAI заявила про розв’язання однієї з семи Задач тисячоліття 🔹 Компанія OpenAI заявила про розв’язання проблеми існування та гладкості розв’язків рівнянь Нав’є — Стокса — однієї із семи Задач тисячоліття Математичного інституту Клея. 🔹 Компанія стверджує, що її внутрішня система створила аналітичний доказ того, що початково гладкий і нерухомий потік нестисливої рідини може розвинути сингулярність за скінченний час. Результат також формалізували мовою Lean. 🔹 Рівняння Нав’є — Стокса описують рух рідин і газів як суцільного середовища. Вони використовуються, зокрема, для проєктування літаків, прогнозування погоди та моделювання кровотоку. 🔹 За твердженням OpenAI, її система довела саме такий сценарій. У запропонованому розв’язанні формується вихор, який закручується всередину та витягується, через що центральна область стискається й прискорюється. При цьому енергія системи залишається скінченною.