A Mistral kiadta a Leanstralt, egy formális verifikációval rendelkező AI-modellt a vib-kódoláshoz
A Mistral AI bemutatta a Devstral nevű nagy nyelvi modellt, amelyet alkalmazásfejlesztéshez (vibe coding) terveztek, és amelyet a kód formális ellenőrzésére optimalizáltak. A Devstral használható mesterséges intelligenciával rendelkező asszisztensek létrehozására, amelyek nemcsak kódot generálnak, hanem garantálják, hogy abban nincsenek hibák. A Devstral lett az első nyílt modell, amely támogatja a Lean 4 programozási nyelvet és a kapcsolódó […]
