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