أنشأ وكلاء Gemini أكثر من 6M سطر من البراهين في Lean، وراجعوا الكود بحيث لم يضطر الخبراء البشريون إلا لمراجعة الـ1% الحرجة فقط.
هذه خطوة أساسية نحو استخدام الذكاء الاصطناعي للتحقق من البنية التحتية الحيوية التي يعتمد عليها جميعنا – من الاتصالات اليومية إلى شبكات الكهرباء. اعرف المزيد → https://goo.gle/4BLrkbk