Материал на языке оригинала: English.
On the Navier–Stokes Millennium Prize Problem
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
8 сентября 2026 г. · Источник: OpenAI news
Полный текст доступен у источника.