Claude, trilyonlarca testten kaçan yazılım hatalarını resmî doğrulama ile bulduClaude found software bugs that escaped trillions of tests using formal verification

Anthropic, Claude ile 123 açık kaynak kütüphanesindeki güvenlik açıklarını matematiksel kanıtlarla tespit etti. Bu yöntem, otomatik testlerin yıllardır yakalayamadığı derin hataları ortaya çıkararak yazılım güvenliğini güçlendiriyor.Anthropic used Claude to identify security vulnerabilities in 123 open-source libraries using mathematical proofs. This method strengthens software security by revealing deep flaws that automated tests have failed to catch for years.