برهان رياضي
2 published articles
الذكاء الاصطناعيFeatured5 min read
الذكاء الاصطناعي
مينيماكس M3 وفن جعل نموذج الإثبات مقاومًا للاختراق
تشرح مينيماكس التفاصيل الهندسية وراء قدرات الإثبات لنموذج M3: مُحقق متعدد الطبقات اجتاز نمط فشل اختراق المكافآت الذي عانى منه دورة M2، وإطار MaxProof القائم على الاختبار عند وقت التشغيل على مستوى المجموعة، والذي يحول أخذ العينات إلى بحث موجه. في مسابقتَي IMO 2025 و USAMO 2026، يتجاوز نموذج M3 مع MaxProof عتبة الميدالية الذهبية البشرية.
2026-07-16
الذكاء الاصطناعي6 min read
أبحاث الذكاء الاصطناعي
كيف يحول إطار MaxProof المُدققات التوليدية إلى محرك ثوري للإثباتات
MaxProof هو إطار لتوسيع نطاق وقت الاختبار يصوغ توليد الإثباتات الرياضية كعملية بحث تطوري. من خلال الجمع بين تعلم التعزيز للإثباتات (Proof RL)، ومحاذاة المُدققات، وتحسين التصحيح، يحول التحقق التوليدي غير الموثوق إلى نظام مكافأة موثوق للتدريب والاستدلال.
2026-07-05