أكسيوم ماث تُنَظِّم مشروع ستاكس (Stacks) باستخدام وكلاء الذكاء الاصطناعي، مُرسِية معياراً جديداً للرياضيات المُوثَّقة

أعلنت أكسيوم ماث أن أسطول وكلاء الذكاء الاصطناعي لديها أتمَّ التحقق الرسمي من مشروع ستاكس بالكامل، وهو موسوعة تمتد على 7,654 صفحة في الهندسة الجبرية الحديثة ونظرية الأعداد.

قام الفريق بترجمة كل مبرهنة وتعريف إلى لغة البراهين لين (Lean)، مما أنتج حوالي 16 مليون سطر من الكود الذي يفحصه مساعد البراهين سطراً بسطر لضمان الاتساق المنطقي.

بدلاً من نموذج واحد ضخم، درّبت أكسيوم وكلاء متخصصين يكتشفون مهام التحقق ويطالبون بها بالتوازي، مع الحفاظ على رسم الاعتماد المعقد الذي يجعل ستاكس ضخماً ودقيقاً في آن واحد.

لماذا يهم ذلك البنية التحتية لوحدات معالجة الرسوم / الذكاء الاصطناعي

التحقق الرسمي بهذا الحجم يتطلب قدراً هائلاً من الحوسبة الموثوقة للتدريب والاستدلال. تصبح مجموعات وحدات معالجة الرسوم القادرة على دعم أعباء عمل طويلة الأمد وعالية الإنتاجية أصلاً استراتيجياً لأي مؤسسة تبني رياضيات أو برمجيات موثوقة مدعومة بالذكاء الاصطناعي.