Ne oldu?
Anthropic, Claude'u kodun doğruluğunu matematiksel olarak kanıtlamak için kullandı. Model, 123 açık kaynak kütüphane için yaklaşık 180 milyon satır kanıt kodu üretti.
Neden önemli?
Biçimsel doğrulama, bir yazılımın belirli koşullarda doğru çalıştığını testlerle değil, matematiksel kanıtlarla gösterme yöntemi. Bu süreç normalde çok emek yoğun olduğu için yaygın değil. Anthropic, Claude'un bu işi otomatikleştirerek yıllarca süren testlerin kaçırdığı hataları yakaladığını söylüyor.
Hedef
Şirketin amacı, yapay zekâ destekli biçimsel doğrulamayı standart testler kadar olağan hale getirmek. Bu, özellikle güvenlik kritik yazılımlarda hata bulma sürecini hızlandırabilir.
