Por que grandes ideias de engenharia ficaram de nicho até a AI torná-las viáveis
Design by contract, property-based testing, mutation testing e model checking não eram ideias ruins. Exigiam especialização demais para sustentar. A AI muda essa equação.