برهان رياضي

أبحاث الذكاء الاصطناعي

كيف يحول إطار MaxProof المُدققات التوليدية إلى محرك ثوري للإثباتات

MaxProof هو إطار لتوسيع نطاق وقت الاختبار يصوغ توليد الإثباتات الرياضية كعملية بحث تطوري. من خلال الجمع بين تعلم التعزيز للإثباتات (Proof RL)، ومحاذاة المُدققات، وتحسين التصحيح، يحول التحقق التوليدي غير الموثوق إلى نظام مكافأة موثوق للتدريب والاستدلال.

2026-07-05