•SiTech AI Team
AlphaProof Code تتحقق من النواة التشفيرية لتطبيق Signal في أربعة أسابيع
تحقق نظام AlphaProof Code من Google DeepMind رياضياً من النواة التشفيرية لتطبيق Signal في أربعة أسابيع، وهو عمل يستغرق عادةً سنوات. وفحص نظام الذكاء الاصطناعي كود الأجهزة الفعلي واكتشف خطأين مزروعين.