Mistral AI a cumpărat SkipLabs, o companie specializată în instrumente pentru programare, pentru a dezvolta verificări mai bine adaptate codului produs de agenții AI. Echipa va forma noul grup Language, care va lucra atât la modul în care modelele sunt antrenate și evaluate, cât și la felul în care acestea scriu și verifică programe.
Potrivit Le Monde Informatique, care a relatat operațiunea pe 6 noiembrie, cei șase ingineri ai SkipLabs se alătură Mistral. Valoarea tranzacției nu a fost făcută publică.
Verificări în timpul generării codului
În anunțul confirmat de Mistral, SkipLabs explică problema pe care vrea să o rezolve: instrumentele tradiționale presupun că un om citește mesajele de eroare și hotărăște ce trebuie corectat. Agenții AI au nevoie de verificări suficient de rapide pentru a fi folosite chiar în procesul de generare și de rezultate pe care le pot utiliza pentru următoarea modificare.
Competențele aduse de echipă includ proiectarea limbajelor, compilatoare, sisteme de tipuri, analiză statică și calcul incremental. Verificarea tipurilor poate identifica anumite incompatibilități între date și operații înainte de rularea programului, iar analiza statică examinează codul fără executarea lui.
Ce aduce SkipLabs
Compania a dezvoltat Skip, un framework open source pentru programare reactivă, și Skipper, un agent pentru generarea serviciilor back-end din instrucțiuni în limbaj natural. Programarea reactivă permite actualizarea prelucrărilor pornind de la schimbările datelor, fără refacerea sistematică a tuturor calculelor.
Achiziția urmărește îmbunătățirea vitezei și fiabilității codului generat, dar acestea rămân obiective. Nu a fost anunțat un calendar de integrare în produse și nici rezultate măsurate ale noii echipe. Verificarea unor categorii de erori nu echivalează cu o garanție că un program este corect în toate situațiile.
Sursa imagine: AI
