مساعد إثبات مختزل

الرياضيات الشكلية

كيف تمكن مختبر صيني من كسر عنق الزجاجة في البرهان الرياضي المعزز بالذكاء الاصطناعي

إطار عمل ToMap من جامعة نانجينغ يحقق نتائج متطورة في التحليل الشكلي الكامل للبرهان من خلال تحديد خطوة التفكيك كعنق الزجاجة الحرج. باستخدام تطور متكرر موجه بـ Pareto لتفكيك البرهان، يرفع ToMap الدقة التركيبية-الدلالية المشتركة بنسبة 19% على معيار ProofFlowBench مع تقليل تكاليف وقت الاختبار.

2026-07-30