نظام FormalFlow نسق وكلاء الذكاء الاصطناعي لتشكيل رسمي لسلامة الكم في اختبار الدرجة الفردية المنخفضة، وهي نظرية أساسية في MIP*=RE. أكملت 126,367 سطر من كود Lean المدقق في 63 يومًا بينما اكتشفت وصححت أخطاء متعددة في الإثبات المنشور.

#تعقيد_الكم #الرياضيات_الرسمية #إثبات_النظريات