ملخص بالذكاء الاصطناعي١٣ جمادى الأولى ١٤٤٨ هـ٢٣ أكتوبر ٢٠٢٦
ملخص بالذكاء الاصطناعي
١٣ جمادى الأولى ١٤٤٨ هـ٢٣ أكتوبر ٢٠٢٦
أنثروبيك تطلق كودات إثبات رياضية لـ 123 مكتبة مفتوحة المصدر
أنثروبيك استخدمت نموذج كلود لتوليد إثباتات رياضية تؤكد صحة الكود، حيث أنتج حوالي 180 مليون سطر من كود الإثبات لـ 123 مكتبة مفتوحة المصدر.
النموذج تمكن من اكتشاف أخطاء لم تستطع سنوات من الاختبار اكتشافها، مما يعكس قدرة الذكاء الاصطناعي على تحسين عملية التحقق الرسمي.
الهدف من هذا الجهد هو جعل التحقق الرسمي باستخدام الذكاء الاصطناعي أمرًا روتينيًا مثل الاختبارات القياسية، مما يعزز من موثوقية البرمجيات في المستقبل.
تابع هذه المواضيع
سجّل دخولك لمتابعة المواضيع التي تهمك
يُنتج هذا الملخص باستخدام تقنيات الذكاء الاصطناعي مع مراجعة تحريرية دورية، ويرجى الرجوع إلى المصدر الأصلي للتفاصيل الكاملة.
أنثروبيك تطلق كودات إثبات رياضية لـ 123 مكتبة مفتوحة المصدر
أنثروبيك استخدمت نموذج كلود لتوليد إثباتات رياضية تؤكد صحة الكود، حيث أنتج حوالي 180 مليون سطر من كود الإثبات لـ 123 مكتبة مفتوحة المصدر.
النموذج تمكن من اكتشاف أخطاء لم تستطع سنوات من الاختبار اكتشافها، مما يعكس قدرة الذكاء الاصطناعي على تحسين عملية التحقق الرسمي.
الهدف من هذا الجهد هو جعل التحقق الرسمي باستخدام الذكاء الاصطناعي أمرًا روتينيًا مثل الاختبارات القياسية، مما يعزز من موثوقية البرمجيات في المستقبل.
تابع هذه المواضيع
سجّل دخولك لمتابعة المواضيع التي تهمك
يُنتج هذا الملخص باستخدام تقنيات الذكاء الاصطناعي مع مراجعة تحريرية دورية، ويرجى الرجوع إلى المصدر الأصلي للتفاصيل الكاملة.
0
0 يقرأون الآن
تقييم الخبر
سيظهر متوسط التقييم بعد 3 تقييمات.
لم تقم بالتقييم بعد.
سجل الدخول للتفاعل والتقييم والحفظ. تسجيل الدخول
