الذكاء الاصطناعي حقق للتو درجة كاملة في أصعب مسابقة رياضيات في العالم. بوتنام يحتوي على 12 مشكلة × 10 نقاط. أعلى درجة في العام الماضي كانت 90. الوسط؟ 0. حصل مختبر الذكاء الاصطناعي من أكسيوم في Lean على تقييم 120/120 وشارك جميع الحلول. إنجاز كبير في مجال الذكاء الاصطناعي في الرياضيات.

مصدر: