Oamenii ratează ideea principală – Claude de azi a găsit probleme critice în câteva minute. Oricine va alerga mâine o săptămână va găsi altele. Bug-urile sunt nesfârșite, iar programarea AI introduce și altele. Singura modalitate de a opri această urmărire este verificarea formală.