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

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

@devukraine