The Pulse

Mistral acquisisce SkipLabs e il suo team formerà un nuovo team Language

Mistral ha acquisito SkipLabs e afferma che il suo team formerà un nuovo team Language. Il gruppo lavorerà a strumenti per aiutare i modelli di coding a scrivere e verificare software.

AI.info Team · Scritto con l’IA · verificato · 2026-11-07

Mistral ha acquisito SkipLabs. Il team di SkipLabs formerà il nuovo team Language di Mistral e svilupperà strumenti per aiutare i modelli di coding a scrivere codice migliore, più rapidamente. Secondo SkipLabs, i modelli hanno bisogno di strumenti abbastanza veloci da funzionare all’interno del loro ciclo.

SkipLabs porta una profonda competenza nei linguaggi e nei compilatori

Il team di SkipLabs apporta competenze nella progettazione di linguaggi, nei compilatori, nei sistemi di tipi, nell’analisi statica e nel calcolo incrementale. La sua esperienza si basa su decenni di sviluppo di linguaggi di programmazione e strumenti per sviluppatori utilizzati da migliaia di ingegneri. Il team lavorerà all’intersezione tra la ricerca sui linguaggi di programmazione e l’IA di frontiera.

Gli strumenti che rendono affidabile il codice sono stati costruiti per gli esseri umani

Gli strumenti che rendono affidabile il codice sono stati costruiti per gli esseri umani, con cicli di feedback lenti, messaggi di errore che le persone devono interpretare e verifiche eseguite a posteriori, afferma SkipLabs. Secondo l’azienda, i modelli hanno bisogno di feedback da cui possano imparare e di linguaggi in cui possano ragionare. Nel post di Mistral si legge: «Gli strumenti che rendono affidabile il codice sono stati costruiti per gli esseri umani. I modelli hanno bisogno del contrario. Reinventiamoli da zero».

Il team plasmerà ogni fase del modello, dall’addestramento e dalla valutazione al modo in cui gli agenti scrivono e verificano il software

Il team esplorerà come i linguaggi, i sistemi di tipi, i compilatori e l’analisi dei programmi possano plasmare la prossima generazione di modelli e agenti di coding. Il team svilupperà strumenti per consentire ai modelli di coding di scrivere codice migliore, più rapidamente.

L’IA mette in discussione i presupposti su cui si basano gli strumenti, afferma Julien Verlaguet

«Ho trascorso la mia carriera a costruire linguaggi e sistemi di tipi progettati per individuare gli errori prima che il software venisse distribuito. Ogni strumento che abbiamo costruito presupponeva che dall’altra parte ci fosse un essere umano, qualcuno che leggesse il messaggio di errore, valutasse cosa fosse importante e scegliesse cosa correggere. Con l’IA, l’autore non è più una persona. Questo mette in discussione molti dei presupposti su cui si basano questi strumenti ed è proprio questa la parte entusiasmante: possiamo reinventarli da zero. In Mistral, possiamo portare queste idee fino al cuore del modo in cui i modelli vengono addestrati».

Julien Verlaguet, fondatore di SkipLabs