Google DeepMind, yazılım doğrulaması için AlphaProof Code'u tanıttı

Google DeepMind ekibi, karmaşık yazılım sistemlerini matematiksel kanıtlar yoluyla derinlemesine doğrulamak için tasarlanan AlphaProof Code sisteminin başlatıldığını duyurdu.

Teknolojinin yeteneklerini göstermek amacıyla, özel yapay zeka ajanları Lean sisteminde üç milyon satırlık kanıt yazdı. Bu matematiksel hesaplamalar, Signal mesajlaşma uygulamasının temel şifreleme kaynak kodunun güvenliğini ve doğruluğunu titizlikle denetlemek için kullanıldı.

Yeni araç, makine öğrenimi yöntemlerini biçimsel doğrulayıcılarla birleştirerek yazılım geliştirmede manuel teorem kanıtlama gibi rutin ve zahmetli süreci otomatikleştirmeyi sağlıyor.

Bu geliştirme, kritik altyapıların güvenliğini sağlama yaklaşımını kökten değiştirmeyi ve derleme aşamasında güvenli iletişim protokollerindeki gizli güvenlik açıklarının olasılığını azaltmayı amaçlıyor.