Google DeepMind, Signal’ın çekirdek kodunu AI ajanlarıyla matematiksel olarak doğruladı
Google DeepMind’in AlphaProof Code çerçevesi, Signal protokolünün üretimde çalışan çekirdek makine kodundaki temel güvenlik özelliklerini AI ajanları ve Lean ispat denetimiyle doğruladı.
BİR BAKIŞTA
Haberin özeti
- Ajanlar altı milyondan fazla Lean satırı üretti.
- Derlenmiş Signal kodunun temel güvenlik özellikleri dört haftada doğrulandı.
- Daha önce düzeltilmiş iki hata, yalıtılmış sürümlerde yeniden saptandı.
- Resmî doğrulama artefaktları açık kaynak yayımlandı.
Neler değişiyor?
Google DeepMind, çoklu model ajanlarını insan uzmanlığıyla birleştiren AlphaProof Code çerçevesini duyurdu. Araştırmacılar Signal’ın güvenlik hedeflerini resmî matematiksel tanımlara dönüştürdü; Gemini Carbon destekli ajanlar altı milyondan fazla Lean satırı üretti. Lean her ispatı makineyle denetlerken ajanların işaretlediği kodun yaklaşık yüzde biri insan uzmanlar tarafından ikinci kez incelendi.
Ekip, tasarım düzeyinde kalmak yerine derlenmiş çekirdek kodun belirlenen güvenlik özelliklerini karşıladığını dört haftada ispatladığını bildiriyor. Sistem, daha önce düzeltilmiş iki gerçek hatanın yeniden eklendiği yalıtılmış sürümlerde de güvensizliği makine denetimli ispatlarla saptadı. DeepMind, resmî doğrulama artefaktlarını topluluk kullanımı için açık kaynak yayımladığını açıkladı.
Asıl kaynaklara göz at
Kaynak tarihi: 10 Kasım 2026.
AI Radar yayın saati: 10 Kas 2026 16:09 (Türkiye).
KONUYU TAKİP ET
Konular ve etiketler
Keşfini paylaş.
Bu haberi bir arkadaşına gönder.
Okuyucu yorumları
Bu gelişme hakkında ne düşünüyorsun? Deneyimini veya sorunu paylaş. Yorumlar editör onayından sonra yayımlanır.
Adın/takma adın ve yorumun onaylanırsa herkese açık görünür. Veri işleme hakkında: Gizlilik bilgilendirmesi.
Yorumlar yükleniyor…