الذكاء الاصطناعي والرياضيات

OpenAI تحل مسألة نافيير-ستوكس: أول مسألة ألفية يفكها الذكاء الاصطناعي

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