بحث
الذكاء الاصطناعي
Microsoft وMistral توسعان الشراكة: خيارات أوسع للتحكم في تشغيل الذكاء الاصطناعي
يشمل إعلان 21 يوليو توسيع القدرة الحاسوبية في أوروبا وخيارات تشغيل تمتد من السحابة إلى البيئات المنفصلة. وتبرز أمام المؤسسات أسئلة موقع البيانات وصلاحيات الوصول وتقييم النتائج.
البرمجة
Leanstral 1.5: كيف يساعد AI في إثبات خصائص الشفرة؟
أطلقت Mistral النموذج في 2 يوليو. قراءة بتاريخ 5 يوليو في الفرق بين اقتراح برنامج وإثبات خاصية محددة فيه باستخدام Lean 4.