Mistral on avaldanud Leanstral, AI mudeli, mis on suunatud vibe-koodimisele ja omab formaalset verifikatsiooni.
Mistral AI esitles suurt keelemodelliga Devstral, mis on suunatud rakenduste arendamiseks (vibe-koodimine) ja optimeeritud koodi formaalseks kontrollimiseks. Eeldatakse, et Devstral'i saab kasutada AI-abistajate loomiseks, mis võimaldavad mitte ainult koodi genereerida, vaid ka tagada, et selles ei esine vigu. Devstral on esimene avatud mudel, mis toetab programmeerimiskeelt Lean 4 ja sellega seotud […]
