نماذج الذكاء الاصطناعي تفشل في تجاوز خبراء الرياضيات في اختبار بحثي معقد
خضع الذكاء الاصطناعي، ضمن مشروع "First Proof"، لأحد أكثر اختبارات الرياضيات صعوبة حتى الآن، إذ طُلب من أربعة أنظمة للذكاء الاصطناعي حلّ عشر مسائل بحثية معقّدة.