Folk missar huvudpoängen – dagens Claude hittade kritiska problem på några minuter. Alla som imorgon springer i en vecka kommer att hitta mer. Buggarna tar aldrig slut och AI-kodning introducerar fler. Det enda sättet att stoppa denna jakt är formell verifiering.