As pessoas perdem o ponto principal – Claude de hoje encontrou questões críticas em poucos minutos. Qualquer um que correr por uma semana amanhã encontrará mais. Os bugs são intermináveis e a programação por IA traz mais. A única maneira de parar essa perseguição é a verificação formal.