L'unica cosa che impedisce all'IA di essere straordinariamente brava negli audit è la mancanza di investimenti nello spazio di audit dell'IA. Ho formato diversi auditor di livello mondiale sia direttamente che indirettamente. Ho anche giocato a livello competitivo e so di non avere alcuna possibilità di fare qualcosa di lontanamente vicino alla classe mondiale. Il go competitivo è più difficile degli audit, poiché la permutazione dei punti di ingresso e dello spazio degli stati significativi è molto più ampia e molto più difficile da ragionare. L'intelligenza artificiale ha schiacciato gli esseri umani in go nel 2016. Qualcuno che investe 20-30 milioni di dollari in ricerca e sviluppo di audit dell'IA capovolgerebbe completamente le cose. La parte superiore della classifica per i bug bounty web2 negli Stati Uniti è un LLM. *Un'intelligenza artificiale di questo tipo non è un LLM one-shot, ma qualcosa che può scrivere in modo agente test unitari e specifiche di verifica formale per testare la sua comprensione della base di codice. Il numero di token che si consuma sarebbe estremamente costoso, ma probabilmente competitivo con quello che costano ora gli audit. **L'intelligenza artificiale non sostituirà mai completamente gli auditor in quanto non hanno mai lo stesso contesto di un essere umano. Ma l'unica cosa che impedisce gravi interruzioni è la mancanza di investimenti seri. Investirei in un progetto del genere, se vedessi che il team ha la giusta esperienza con gli audit e l'apprendimento automatico.