O futuro do software é a IA escrevendo código e a IA verificando que ele funciona