الذكاء الاصطناعي متعدد الوكلاء
2 published articles
الذكاء الاصطناعي3 min read
الرياضيات الشكلية
كيف تمكن مختبر صيني من كسر عنق الزجاجة في البرهان الرياضي المعزز بالذكاء الاصطناعي
إطار عمل ToMap من جامعة نانجينغ يحقق نتائج متطورة في التحليل الشكلي الكامل للبرهان من خلال تحديد خطوة التفكيك كعنق الزجاجة الحرج. باستخدام تطور متكرر موجه بـ Pareto لتفكيك البرهان، يرفع ToMap الدقة التركيبية-الدلالية المشتركة بنسبة 19% على معيار ProofFlowBench مع تقليل تكاليف وقت الاختبار.
2026-07-30
نماذج اللغات الكبيرة4 min read
أبحاث الذكاء الاصطناعي
أربع شخصيات، إجابة واحدة: لماذا هزم التفكير غير المتجانس أفضل ذكاء اصطناعي في أصعب اختبار للبشرية
PoTRE يقسّم الاستدلال إلى أربع وكلاء يعملون بالتوازي، ثم يوفق بين إجاباتهم ديناميكيًا. حقق 49.92% في اختبار البشرية الأخير، متغلبًا على أفضل نتيجة رسمية سابقة. يعمل النهج بعدد رموز أقل مقارنة بالخطوط الأساسية الموسعة.
2026-07-24