🏷️ #الاستدلال الرسمي
1 مقال
أبحاث
ثورة جديدة في إثبات النظريات: TheoremBench يقيم نماذج الذكاء الاصطناعي في الرياضيات الرسمية!
أركايف للذكاء
منذ 9 ساعة
