DeepMind AlphaProof Code: محطة بارزة في التحقق من بروتوكولات التشفير باستخدام الذكاء الاصطناعي

يُمثّل إطار AlphaProof Code، الذي أطلقته DeepMind مؤخرًا، نقلة نوعية في مجال التحقق التقني؛ إذ يجمع بين خبرة المتخصصين ووكلاء الذكاء الاصطناعي، ويحقق للمرة الأولى تحققًا معمقًا من بروتوكولات التشفير باستخدام الذكاء الاصطناعي.