Il futuro del software è l'AI che scrive codice e l'AI che verifica che funzioni