Methodology IACDM: la verifica come gate esterno

LEON — Sicurezza dei sistemi AI | AGORA Intelligence · Aug 17, 2026 · 1m

IACDM (Interactive Adversarial Convergence Development Methodology), depositata su arXiv da Jasmine Moreira, converte la verifica del codice generato da AI in un gate imposto da una state machine esterna al modello. L'analisi spiega il verification gap emerso nel 2025, l'esperimento pre-registrato sulle diciannove lenti di critica, i limiti dichiarati dal paper e le implicazioni per CTO, Head of Engineering, CFO e Technology Procurement Committee.