doubleAI presenta Maxwell, un modello che gira nel codice per velocizzarlo

Un modello che gira all'interno del tuo programma

doubleAI ha rilasciato una versione in accesso anticipato di Maxwell, un tipo di modello AI che fa qualcosa di abbastanza diverso da quello che fanno la maggior parte degli strumenti AI oggi. Invece di scrivere codice per gli esseri umani, Maxwell gira all'interno dei programmi stessi e li riscrive in tempo reale per renderli più veloci ¹.

Per decenni, la divisione del lavoro è stata semplice: gli esseri umani scrivono istruzioni, e i computer le eseguono. Assistenti di coding come GPT-6 Astra e strumenti come OpenAI Codex hanno cambiato il modo in cui si scrive il codice, ma ancora consegnano il prodotto finito allo stesso computer ordinario per l'esecuzione ¹. Maxwell è costruito per colmare quel divario — tra il codice e il silicio.

Come funziona

Maxwell, che l'azienda chiama anche 'modello di esecuzione del codice' o CEM, osserva il flusso di dati attraverso un programma in esecuzione e individua punti lenti, chiamati colli di bottiglia ¹. Quando ne trova uno, costruisce una nuova versione del codice specificamente per la macchina su cui sta girando . Il codice sorgente originale — le istruzioni leggibili dagli esseri umani — rimane esattamente come lo ha scritto il programmatore . Solo il binario, il codice a basso livello che il processore effettivamente esegue, cambia .

Poiché queste modifiche avvengono senza che un umano le controlli, sbagliarle potrebbe rompere un programma. Per prevenirlo, Maxwell usa la verifica formale, un metodo che trasforma il codice in affermazioni matematiche precise e poi dimostra che una nuova versione fa esattamente la stessa cosa della vecchia ¹. Questo è lo stesso approccio che recentemente ha aiutato a produrre dimostrazioni formali complete di importanti problemi matematici .

Il risultato, secondo doubleAI, sono binari molto più veloci che sono dimostrati semanticamente equivalenti agli originali ¹. Due programmi sono semanticamente equivalenti quando, dato qualsiasi input, producono sempre lo stesso risultato e hanno gli stessi effetti sul mondo circostante .

Cosa questo significa per gli agenti di coding

doubleAI dice che Maxwell non è pensato per sostituire gli agenti di coding ¹. Fanno lavori diversi: un agente di coding scrive il programma, e Maxwell si assicura che la macchina lo esegua nel modo più efficiente possibile . Insieme coprirebbero le due parti del processo che l'AI ha toccato finora — la stesura e poi l'esecuzione del codice.

L'azienda non ha pubblicato numeri di benchmark né affermazioni sulle prestazioni oltre la propria descrizione ¹. Non risultano test esterni.

Why it matters

La maggior parte dei modelli AI oggi si ferma a scrivere o modificare codice. Maxwell cerca di andare un passo oltre trattando il codice come qualcosa che può evolvere mentre viene eseguito ¹. Se l'approccio scala, potrebbe cambiare il modo in cui il software viene distribuito, permettendo ai programmi di adattare i propri meccanismi interni sull'esatto hardware in cui atterrano . Se Maxwell potrà mantenere la sua promessa di correttezza perfetta su larga scala resta da vedere.

Questa notizia riporta una tendenza solo a scopo informativo. Non è un consiglio o un incoraggiamento a farlo.

I fatti principali

• Maxwell è un 'modello di esecuzione del codice' che gira nei programmi e riscrive il codice binario in tempo reale.
• Usa la verifica formale per dimostrare matematicamente che il codice ottimizzato produce gli stessi risultati dell'originale.
• Il codice sorgente originale rimane invariato; solo il binario a basso livello viene modificato.
• doubleAI dice che Maxwell completa gli agenti di coding piuttosto che sostituirli.

Fonti

1. Maxwell: The first Code Execution Model, by doubleAI — heymaxwell.ai