الذكاء الاصطناعي
ولّد Claude من Anthropic 180 مليون سطر من أكواد الإثبات الرسمي لـ 123 مكتبة مفتوحة المصدر، وكشف أخطاء فاتتها سنوات من الاختبار. إنجاز قد يغيّر طريقة التحقق من البرمجيات.
جارٍ التحميل…
بحث
لا هواتف وخبر واحد عن «التحقق الرسمي»
الذكاء الاصطناعي
ولّد Claude من Anthropic 180 مليون سطر من أكواد الإثبات الرسمي لـ 123 مكتبة مفتوحة المصدر، وكشف أخطاء فاتتها سنوات من الاختبار. إنجاز قد يغيّر طريقة التحقق من البرمجيات.