Orang-orang melewatkan poin utama - Claude hari ini menemukan masalah kritis dalam beberapa menit. Siapa pun yang besok berlari selama seminggu akan menemukan lebih banyak. Bug tidak pernah berakhir dan pengkodean AI memperkenalkan lebih banyak. Satu-satunya cara untuk menghentikan pengejaran ini adalah verifikasi formal.