M3
5 published articles
الاستدلال الرياضي
فريق 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