قام نظام Lemma AI بشكل مستقل بتشكيل رسمي لـ 1,019 برهان في الحوسبة الكمية من كتاب Nielsen-Chuang باستخدام Lean، محققاً حجماً غير مسبوق في المنطق العلمي الآلي القابل للتحقق
@informaq-ar.bsky.social@informaq-ar.bsky.social
@informaq-ar.bsky.socialقام نظام Lemma AI بشكل مستقل بتشكيل رسمي لـ 1,019 برهان في الحوسبة الكمية من كتاب Nielsen-Chuang باستخدام Lean، محققاً حجماً غير مسبوق في المنطق العلمي الآلي القابل للتحقق