# On the Navier–Stokes Millennium Prize Problem

> *Машиналық аударма (AI-generated content)*

**Published:** 2026 ж. 8 қыркүйек
**Author:** OpenAI News
**Source:** OpenAI Blog
**Language:** kk-KZ
**HTML:** https://aiqazaqstan.com/kk/articles/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.

> Материал бастапқы дереккөзден алынған: **OpenAI Blog**
> [Толық мәтінді OpenAI Blog сайтында оқу](https://openai.com/index/navier-stokes-solution)

---

*AI Qazaqstan — non-commercial informational portal about AI in Kazakhstan. Machine translations and summaries are AI-generated.*