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