
Axiom تنشر صياغة رسمية بلغة Lean لمشروع Stacks كاملًا، نحو 16 مليون سطر أنجزتها أسراب من وكلاء الذكاء الاصطناعي
أصبح المرجع في الهندسة الجبرية المؤلف من نحو 7500 صفحة مكتبة واحدة مُتحقَّقًا منها آليًا؛ ولم يراجع رياضيون مستقلون بعد مدى أمانة الصياغات.






