Yapay Zeka Yazılım Hatalarını Matematiksel Yöntemlerle Çözmeyi Hedefliyor
Silikon Vadisi merkezli girişimler, yazılım güvenliğini artırmak ve siber saldırılara karşı kod hatalarını tamamen ortadan kaldırmak için yapay zeka ile matematiksel doğrulama yöntemlerini birleştiriyor.
Araştırmacılar ve teknoloji girişimleri, karmaşık matematiksel problemleri çözmek için geliştirilen yapay zeka tekniklerini yazılım doğrulama süreçlerine uyarlayarak bilgisayar kodlarındaki güvenlik açıklarını gidermeyi amaçlıyor.
Palo Alto merkezli &Truth gibi girişimler, Microsoft araştırmacısı Leonardo de Moura tarafından geliştirilen Lean programlama dilini kullanarak yazılımların tasarım amaçlarına uygun çalıştığını kanıtlamaya çalışıyor. Bu yöntem, siber güvenlik krizine karşı kodlardaki hataları önceden tespit edip temizlemeyi hedefliyor.
Axiom, Logical Intelligence, OpenAI ve Anthropic gibi kuruluşlar da benzer yöntemler üzerinde çalışmalarını sürdürüyor. Ancak uzmanlar, gerçek dünya kodlarının karmaşıklığı nedeniyle matematiksel kuralların uygulanmasının zorluklar barındırdığına dikkat çekiyor.
Değerlendirme: Antithesis CEO'su Will Wilson, yazılımın gerçek dünyayla etkileşime girdiği durumlarda tüm olası davranışları öngörmenin zor olduğunu belirtiyor. &Truth kurucu ortağı Chris Hsu ise yazılım güvenliğini günümüzün en kritik sınamalarından biri olarak tanımlıyor.
Kaynaklar
- nytimes.com · Bağlantı