تخطَّ إلى المحتوى

المدونة

OpenAI

أخبار وإطلاقات نماذج وأدلة عملية حول OpenAI: نماذج GPT وSora وواجهة OpenAI API.

Abstract fluid vortex with geometric proof structures and a glowing verification grid.
openaiقراءة 10 دقيقة

شرح ادعاء OpenAI بإثبات مسألة نافييه–ستوكس

تقول OpenAI إن وكلاء ذكاء اصطناعي وجدوا تفردًا في معادلات نافييه–ستوكس وصاغوا الإثبات رسميًا في Lean. لكن القصة الأصعب هي ما يحدث بعد ذلك: المراجعة، والفضل، وقوة أسراب الوكلاء الخاصة في الرياضيات.

احصل على المنشورات الجديدة في بريدك

أخبار الذكاء الاصطناعي وأدلة وتحديثات المنتج — رسالة قصيرة عندما ننشر ما يستحق وقتك.