أكمل Claude أول عملية تحقق رسمية واسعة النطاق على مستوى التجميع شملت 123 مكتبة مفتوحة المصدر
وفقًا لبحث فريق Frontier Red Team التابع لشركة Anthropic، الصادر في 22 أكتوبر، أكمل Claude بنجاح التحقق الرسمي من 123 مكتبة مفتوحة المصدر على مستوى لغة التجميع RISC-V، في أول حالة معروفة لاستخدام الذكاء الاصطناعي لإجراء تحقق رسمي واسع النطاق من برمجيات إنتاجية على مستوى التجميع. وشمل التحقق 239 نقطة دخول ضمن مكتبات OSS-Fuzz، وأسفر عن نحو 180 مليون سطر من شيفرة البراهين المكتوبة بلغة Rocq، تحققت منها نواة Rocq. وخلال عملية التحقق، اكتشف الفريق عدة ثغرات لم تكن معروفة من قبل وظلت غير مكتشفة لسنوات
GateNews·10-23 07:51
