Folk overser hovedpoenget – dagens Claude fant kritiske problemer på noen få minutter. Alle som i morgen løper i en uke vil finne mer. Feilene tar aldri slutt, og AI-koding introduserer flere. Den eneste måten å stoppe denne jakten på er formell verifisering.