إطار إثبات رياضي مفتوح المصدر MiniMax MaxProof، يستخدم البحث التطوري لدفع M3 إلى خط الميدالية الذهبية

robot
إنشاء الملخص قيد التقدم
أخبار شبكة币界، أعلن مسؤول علاقات المطورين في MiniMax، Ryan Lee، أن إطار الاختبار الموسع لإثباتات الرياضيات للنماذج الكبيرة MaxProof قد تم إطلاقه رسميًا كمصدر مفتوح، ونشر ورقة تقنية مرافقة. سيعيد MaxProof بناء مرحلة الاستنتاج في الإثباتات الرياضية كنظام بحث تطوري، من خلال آليات التحقق والإصلاح والاستبعاد لتحقيق التوسع أثناء الاستنتاج. تحت دعم إطار MaxProof، حقق نموذج MiniMax-M3 في اختبار المسابقات الدولية للرياضيات الأولمبية (IMO 2025) وامتحان الرياضيات الأمريكي الأولمبي (USAMO 2026) درجات 35 و36 على التوالي (من أصل 42)، محققًا كلاهما خط التتويج بالميدالية الذهبية. من خلال دمج قدرات الخبراء الثلاثة في التوليد والتحقق والإصلاح، أنشأ هذا الإطار آلية تحقق متعددة المستويات للدفاع، مما نجح في تحويل أفضل قدرات النموذج في إثباتات الرياضيات إلى أداء أكثر استقرارًا.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
  • أعجبني
  • 4
  • 2
  • مشاركة
تعليق
إضافة تعليق
إضافة تعليق
LateFeeLeo
· منذ 3 س
هل لديك رابط لورقة تقنية؟ أود أن أركز على تجربة التآكل لاستراتيجية الإصلاح
شاهد النسخة الأصليةرد0
ReflectionsOnTheStreetCorner
· منذ 3 س
الدمج بين البحث التطوري وثلاث قدرات فكرة ممتعة، وأشعر أنها أكثر كفاءة من مجرد جمع العينات، وتوفر قوة الحوسبة.
شاهد النسخة الأصليةرد0
QuantsAndCats
· منذ 3 س
نتيجة MiniMax-M3 فعلاً جيدة، لكن خط الميدالية الذهبية في IMO يتغير كل عام، سننتظر إصدار البيانات الرسمية لعام 2025 لنحتفل.
شاهد النسخة الأصليةرد0
SlippageSailor
· منذ 3 س
هل تم فتح المصدر؟ سأذهب الآن لأفحص الكود لرؤية كيف تم تصميم وحدة التحقق
شاهد النسخة الأصليةرد0
  • مُثبت