Mensen missen het belangrijkste punt - Claude van vandaag vond binnen enkele minuten kritieke problemen. Iedereen die morgen een week aan de slag gaat, zal er meer vinden. De bugs zijn eindeloos en AI-codering introduceert er meer. De enige manier om deze achtervolging te stoppen is formele verificatie.