Relevante para a discussão:
https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf
Donald Knuth, a maior lenda viva da computação toca no ponto central:
A IA gera o codigo, mas você precisa escrever os testes de propriedade (property-based testing) que verificam invariantes. O "vibe" gera candidatos; a "engenharia" valida a generalização!!!