Материал түпнұсқа тілінде: 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.
2026 ж. 8 қыркүйек · Дереккөз: OpenAI news
Толық мәтін дереккөзде қолжетімді.