الذكاء الاصطناعي3 min read
الرياضيات الشكلية
كيف تمكن مختبر صيني من كسر عنق الزجاجة في البرهان الرياضي المعزز بالذكاء الاصطناعي
إطار عمل ToMap من جامعة نانجينغ يحقق نتائج متطورة في التحليل الشكلي الكامل للبرهان من خلال تحديد خطوة التفكيك كعنق الزجاجة الحرج. باستخدام تطور متكرر موجه بـ Pareto لتفكيك البرهان، يرفع ToMap الدقة التركيبية-الدلالية المشتركة بنسبة 19% على معيار ProofFlowBench مع تقليل تكاليف وقت الاختبار.
2026-07-30