Le persone trascurano il punto principale: Claude di oggi ha trovato problemi critici in pochi minuti. Chiunque domani che correrà per una settimana ne troverà di più. I bug non finiscono mai e la codifica AI ne introduce di più. L'unico modo per fermare questa corsa è la verifica formale.