M3
6 published articles
الذكاء الاصطناعي
مينيماكس M3 وفن جعل نموذج الإثبات مقاومًا للاختراق
تشرح مينيماكس التفاصيل الهندسية وراء قدرات الإثبات لنموذج M3: مُحقق متعدد الطبقات اجتاز نمط فشل اختراق المكافآت الذي عانى منه دورة M2، وإطار MaxProof القائم على الاختبار عند وقت التشغيل على مستوى المجموعة، والذي يحول أخذ العينات إلى بحث موجه. في مسابقتَي IMO 2025 و USAMO 2026، يتجاوز نموذج M3 مع MaxProof عتبة الميدالية الذهبية البشرية.
2026-07-16
الاستدلال الرياضي
فريق M3 وجد طريقة لمنع مُدققي الرياضيات في الذكاء الاصطناعي من الغش، وهي خارطة طريق لكل مختبر
يجمع نهج M3 للاستدلال الرياضي بين ثلاثة نماذج خبراء: Proof وVerifier وFixed، مع إطار بحث تطوري. يقدم التقرير تفاصيل نادرة حول اختراق المكافآت، ومواءمة المُدقق، والهندسة اللازمة لجعل المُدققات التوليدية موثوقة في مهام الاستدلال عالية المخاطر.
2026-07-11
مختبرات وأبحاث الذكاء الاصطناعي
نموذج M3 من MiniMax يكتب نواة CUDA بنفسه وينشر الكود مفتوح المصدر
يسجل M3 من MiniMax 83.5 على معيار BrowseComp، متجاوزًا Opus 4.7 الذي سجل 79.3، ويعالج حتى مليون رمز بشكل أصلي. في اختبار استقلالية ملحوظ، قام بتحسين نواة GPU ذاتيًا من استغلال ذروة بنسبة 7.6% إلى 71.3% دون تدخل بشري.
2026-07-09
الذكاء الاصطناعي
هجوم منتجات MiniMax: نماذج جديدة للبرمجة والموسيقى والفيديو في تحديث شامل واحد
تطلق شركة MiniMax الناشئة في مجال الذكاء الاصطناعي نماذج MiniMax M3 وHailuo 2.3 وMiniMax Code ونماذج جديدة للكلام/الموسيقى، مما يوسع خط إنتاجها في بيئة تنافسية.
2026-07-06
الذكاء الاصطناعي
نموذج MiniMax M3 يحطم سقف الأوزان المفتوحة بتسريع 9.4 أضعاف في CUDA وبدون مساعدة بشرية
نموذج MiniMax M3 يحقق تسريعًا بمقدار 9.4 أضعاف في نواة CUDA، ويتفوق على Opus 4.7 في BrowseComp، ويعيد إنتاج ورقة ICLR بشكل مستقل. كل ذلك في حزمة مفتوحة الوزن.
2026-07-06
أبحاث الذكاء الاصطناعي
كيف يحول إطار MaxProof المُدققات التوليدية إلى محرك ثوري للإثباتات
MaxProof هو إطار لتوسيع نطاق وقت الاختبار يصوغ توليد الإثباتات الرياضية كعملية بحث تطوري. من خلال الجمع بين تعلم التعزيز للإثباتات (Proof RL)، ومحاذاة المُدققات، وتحسين التصحيح، يحول التحقق التوليدي غير الموثوق إلى نظام مكافأة موثوق للتدريب والاستدلال.
2026-07-05