التحقق-الإصلاح-الاستبعاد، هذه السلسلة من البحث التطوري أذكى بكثير من مجرد تراكم المعلمات بشكل عشوائي، ونتيجة MiniMax-M3 حقًا تستحق الإعجاب.

شاهد النسخة الأصلية
CoinNetwork
إطار إثبات رياضي مفتوح المصدر MiniMax MaxProof، يستخدم البحث التطوري لدفع M3 إلى خط الميدالية الذهبية
موقع Coinjie News، قام MaxProof بفتح المصدر ونشر ورقة تقنية، وهو إطار اختبار للأدلة الرياضية للنماذج الكبيرة. حول هذا الإطار مرحلة الاستنتاج إلى نظام بحث تطوري، يعتمد على التحقق والإصلاح والاستبعاد لتحقيق توسع في الاستنتاج. تحت هذا الإطار، حصل MiniMax-M3 على درجات 35 و36 على التوالي في مجموعتي اختبار IMO 2025 و USAMO 2026، متجاوزًا خط الميدالية الذهبية، وتصبح قدرته على الإثبات أكثر استقرارًا بفضل دمج قدرات التوليد والتحقق والإصلاح.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
  • أعجبني
  • تعليق
  • إعادة النشر
  • مشاركة
تعليق
إضافة تعليق
إضافة تعليق
لا توجد تعليقات
  • مُثبت