أكسيوم ماث تُصيغ مشروع Stacks Project رسمياً لتُثبت أن البرمجة بالذكاء الاصطناعي على نطاق واسع يمكن أن تكون دقيقة

قامت أكسيوم ماث بصياغة مشروع Stacks Project — وهو مرجع أساسي للهندسة الجبرية الحديثة — في كود Lean، بحيث يستطيع الحاسوب الآن التحقق من براهينه سطراً بسطر. وعمل سرب وكلائها كمنظمة هندسية، حيث وزّع البشر فرقاً على البنية والتعريفات الأساسية والبراهين الفردية، ولم يدخل المكتبة شيء إلا إذا صمد منطقه. والنتيجة مكتبة مجانية مفتوحة المصدر تغطي جزءاً كبيراً من المجال، ودليل مضاد لفكرة أن البرمجة بالذكاء الاصطناعي على نطاق واسع لا تنتج سوى عمل رديء.

• Rohan Paul2026-11-04 17:53