L’intelligenza artificiale (AI) sta cambiando rapidamente il modo in cui viene creato il software, ma sta emergendo una nuova sfida: il codice generato dall’intelligenza artificiale spesso contiene errori. Sebbene questi sistemi velocizzino lo sviluppo, il software risultante può essere pieno di bug, rallentando in definitiva i progetti. Questo è il problema centrale che un numero crescente di start-up della Silicon Valley si trovano ad affrontare.
L’ascesa della codifica AI e le sue insidie
A gennaio, uno studio della Carnegie Mellon University ha evidenziato un difetto fondamentale negli attuali strumenti di codifica dell’intelligenza artificiale. Questi sistemi possono produrre rapidamente codice, ma la qualità è incoerente, con la tendenza a introdurre errori che gli sviluppatori devono successivamente correggere. L’impatto a lungo termine potrebbe essere un aumento del debito tecnico e un rallentamento dei cicli di innovazione nonostante i guadagni di velocità iniziali.
Questo problema è particolarmente critico perché la codifica basata sull’intelligenza artificiale sta diventando sempre più diffusa. Strumenti come Codex di OpenAI e Claude Code di Anthropic sono già utilizzati da molti sviluppatori e si prevede che la loro adozione aumenterà. Tuttavia, se il codice generato non è affidabile, potrebbe compromettere l’intero processo di sviluppo basato sull’intelligenza artificiale.
Interviene la Silicon Valley: la verifica come prossima frontiera
Diverse nuove aziende si stanno posizionando per risolvere questo problema. Axiom Math, Harmonic (entrambe con sede a Palo Alto) e Logical Intelligence (San Francisco) sono tutte focalizzate sulla costruzione di sistemi di intelligenza artificiale in grado di verificare automaticamente il codice, in sostanza, dimostrandone la correttezza come i matematici dimostrano i teoremi.
“La verifica del codice è probabilmente la prossima frontiera”, afferma Carina Hong, CEO e fondatrice di Axiom. La società si è appena assicurata un finanziamento di 200 milioni di dollari da società di venture capital tra cui Menlo Ventures, Greycroft e Madrona, portando la sua valutazione a 1,6 miliardi di dollari nonostante abbia solo un anno e un team di circa 20 persone.
Perché la verifica è importante: il futuro dello sviluppo basato sull’intelligenza artificiale
L’impennata degli investimenti in capitale di rischio segnala che gli investitori riconoscono l’importanza fondamentale di un codice affidabile generato dall’intelligenza artificiale. La possibilità di verificare automaticamente il codice non è solo una soluzione tecnica; è un prerequisito per l’adozione diffusa dell’intelligenza artificiale nello sviluppo di software. Senza di essa, la promessa di una codifica più rapida ed efficiente rimarrà insoddisfatta.
Se il codice generato dall’intelligenza artificiale non è affidabile, gli sviluppatori torneranno alla verifica manuale, annullando i vantaggi dell’automazione. La corsa alla creazione di strumenti di verifica affidabili è quindi cruciale per il successo a lungo termine dell’intelligenza artificiale nell’ingegneria del software.
