El futuro del software es que la IA escriba código y que la IA lo verifique funciona