تم إصدار MathCode 0.2.0، وانخفضت تكاليف واجهة برمجة التطبيقات بنسبة 90%

ME AI رسالة، وفقًا لمراقبة Beating، أطلق فريق Math-AI وكيل الذكاء الاصطناعي MathCode 0.2.0 للرياضيات والبرهان الرسمي، مما خفض تكاليف API بنسبة تصل إلى 90٪ من خلال تشكيل طلبات التخزين المؤقت للبادئات والتحكم في الاستراتيجيات. تم تحسين إصدار جديد لاستقرار هيكل التلميحات لزيادة معدلات إصابة تخزين التلميحات في حالات البرهان الطويلة والتفاعل متعدد الجلسات. في سياق البرهان الرياضي، يحتاج النموذج إلى قراءة متكررة لمكتبات كود ضخمة ومكتبات بديهيات. يُقدّم MathCode 0.2.0 آلية تشخيص وتوجيه طلبات التخزين المؤقت للبادئات وضوابط السياسة Prefix-cache request-shape diagnostics and policy controls. يقوم النظام بحجب انتماء مقدمة التلميحات لضمان الاستقرار الهيكلي، ويضيف تخزينًا مؤقتًا متعدد النقاط `MATHCODE_CACHE_MULTI_BREAKPOINT`، وبوابة بادئات دنيا صريحة، واستراتيجية TTL مدرك للإهمال، مما يُحقق أقصى معدل إصابة تخزين أصلي للمزود من خلال محاذاة شكل الطلب الأساسي، ويقلل فواتير الجلسات الطويلة إلى عشرها. كما عزز الإصدار الجديد إدارة المهام والتحكم في عمق التفكير. لمنع الإنفاق الزائد أثناء التشغيل الطويل، يدعم النظام تحديد حدود ميزانية Token عبر MATHCODE_GOAL_MAX_TOKEN_BUDGET، ويفترض حدودًا لعدد أوامر الشرطة المتداخلة لمنع الحلقات اللانهائية. بالإضافة إلى ذلك، تدعم جلسات البرهان الضبط الديناميكي لعمق التفكير عبر --effort أو /effort، مع مستويات مثل `low`، `medium`، `high`، `max`، مع القدرة على العودة إلى الإعدادات الافتراضية في أي وقت. من حيث تسريع التجميع والنشر، يدعم الإصدار الجديد تشغيل مُجمّع Kimina Lean Server الذي طوره Project Numina كعملية فرعية مستمرة، وترحيل طلبات التحقق من التجميع إلى واجهة /verify. كما تم إعادة هيكلة نصيب التثبيت setup.sh، وأضيفت أوامر جديدة مثل --status و --clean، وتدعم التحقق من التوقيعات والإصدارات والإعادة الاستخدام التلقائي لبيئة Lean/Lake الخاصة بالنظام، مما يقلل من عتبة النشر. (المصدر: BlockBeats)