OpenAI تحل مسألة نافيير-ستوكس: أول مسألة ألفية يفكها الذكاء الاصطناعي
عشرة آلاف وكيل و2.7 مليون رسالة و88 ساعة: OpenAI تعلن برهاناً بلغة Lean لمسألة نافيير-ستوكس المعلقة منذ 90 عاماً — مع جدل علني حول أولوية باحثَين سبقاها بالنتيجة الموازية.
عشرة آلاف وكيل و2.7 مليون رسالة و88 ساعة: OpenAI تعلن برهاناً بلغة Lean لمسألة نافيير-ستوكس المعلقة منذ 90 عاماً — مع جدل علني حول أولوية باحثَين سبقاها بالنتيجة الموازية.
Start typing to search