Francuski startup SkipLabs dołącza do Mistral wraz z sześcioma współpracownikami, którzy zasilą nowy zespół o nazwie « Language ». Operacja ma na celu m.in. rozwój mechanizmów weryfikacji kodu generowanego przez agenty AI, czyli programy zdolne do samodzielnego wykonywania zadań. Kwota przejęcia nie została ujawniona.
- Mistral przejmuje francuski startup SkipLabs wraz z sześcioma współpracownikami.
- Nowy zespół Language rozwija mechanizmy weryfikacji kodu generowanego przez agenty AI.
- SkipLabs pracuje nad kompilatorami, typowaniem i programowaniem reaktywnym.
- Kwota przejęcia nie została ujawniona.
SkipLabs został założony przez Juliena Verlagueta, byłego inżyniera Meta. Startup pracuje nad kilkoma technologiami związanymi z programowaniem, w szczególności nad kompilatorami, systemami typowania, analizą statyczną i obliczeniami przyrostowymi. Te dziedziny są szczególnie interesujące dla dostawców modeli AI, zwłaszcza że narzędzia zdolne do generowania kodu na podstawie instrukcji w języku naturalnym stają się coraz powszechniejsze.
Dzięki temu przejęciu Mistral zamierza rozwijać mechanizmy weryfikacji dostosowane do agentów programistycznych. Te ostatnie produkują kod samodzielnie, ale muszą również być w stanie identyfikować błędy i modyfikować swoje wyniki. Firma chce więc zintegrować więcej kontroli w procesie generowania.
Mechanizmy weryfikacji dla agentów programistycznych
Tradycyjne narzędzia rozwoju opierają się na kompilatorach, analizatorach statycznych, które badają kod bez jego wykonywania, oraz systemach testów. Pozwalają one wykrywać różne kategorie błędów, ale ich użycie w środowiskach sterowanych przez agenty AI stawia nowe pytania.
Ludzki programista może zinterpretować komunikat o błędzie i zdecydować o wprowadzanych modyfikacjach. Agent musi natomiast otrzymać wystarczająco precyzyjne informacje, aby samodzielnie dostosować swój kod. Szybkość kontroli również stanowi wyzwanie, ponieważ muszą one być w stanie integrować się z różnymi etapami generowania. Zespół Language będzie pracował nad tymi problemami. Mistral nie ujawnił jednak szczegółów dotyczących produktów, które zintegrują te technologie, ani harmonogramu ich udostępnienia.
SkipLabs pracuje nad programowaniem reaktywnym
Przed przejęciem SkipLabs rozwijał m.in. Skip, open source’owy framework, czyli zestaw swobodnie dostępnych narzędzi programistycznych, poświęcony programowaniu reaktywnemu. To podejście pozwala aktualizować niektóre procesy na podstawie zmian danych, bez konieczności systematycznego przeliczania wszystkich operacji. Startup opracował także Skipper, agenta AI zaprojektowanego do generowania usług back-endowych, czyli części oprogramowania działającej po stronie serwera, na podstawie instrukcji sformułowanych w języku naturalnym.
Jego architektura obejmuje m.in. narzędzia do weryfikacji typów, przeznaczone do kontrolowania spójności wyprodukowanego kodu. Prace te odpowiadają na problem napotykany przez narzędzia programowania wspomaganego przez AI: wygenerowanie kodu, który wydaje się spójny, nie gwarantuje, że jest on poprawny lub użyteczny. Mechanizmy weryfikacji powinny umożliwiać wykrycie niektórych błędów przed ich integracją w projekcie programistycznym. Integracja SkipLabs ma wnieść te kompetencje do zespołów Mistral, choć techniczne modalności tej integracji nie zostały sprecyzowane.
To przejęcie dołącza do wcześniejszych operacji wzrostu zewnętrznego Mistral. Firma przejęła m.in. Koyeb, specjalizującego się w infrastrukturze chmurowej, Emmi AI, działającego w obszarze symulacji przemysłowej, Pimento, w marketingu, oraz New Material, specjalizującego się w projektowaniu produktów. Przed przejęciem SkipLabs zebrał 8 mln dolarów w rundzie seedowej w 2025 roku, m.in. od funduszy Amplify Partners i Tapestry VC.
