Внутрішня система OpenAI заявила про розв’язання 90-річної задачі Нав’є-Стокса. Над доказом працювали 10 000 AI-агентів

Внутрішня система OpenAI створила аналітичний доказ, який, за твердженням компанії, розв’язує одну із семи задач тисячоліття — проблему існування та гладкості розв’язків рівнянь Нав’є — Стокса. [OpenAI також представила формалізацію доказу мовою Lean.](https://dev.ua/news/navie-1788929855)

[@devukraine](https://t.me/devukraine)