الذكاء الاصطناعي قيد التحليل بانتظار التحليل الذكي OpenAI News 08 أيلول 2026, 03:00

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.

لماذا يهم هذا الخبر؟

سيظهر الملخص التحليلي هنا بعد اكتمال معالجة الذكاء الاصطناعي.

سياق الخبر

We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.

فتح الخبر الأصلي
تغطية مرتبطة

المزيد من أخبار الذكاء الاصطناعي