Mistral heeft Leanstral uitgebracht, een AI-model voor vibe-codering met formele verificatie
Mistral AI heeft een groot taalmodel, Devstral, gepresenteerd, dat gericht is op gebruik voor applicatieontwikkeling (vibe-codering) en geoptimaliseerd is voor formele verificatie van code. Verwacht wordt dat Devstral kan worden gebruikt voor het creëren van AI-assistenten die niet alleen code genereren, maar ook garantie bieden op de afwezigheid van fouten in de code. Devstral is het eerste open-model dat de programmeertaal Lean 4 ondersteunt en gerelateerde […]
