Mistral publikoi Leanstral, një model AI për kodimin e vibrave me verifikim formal
Kompania Mistral AI prezantoi modelin e madh të gjuhës Devstral, të krijuar për zhvillimin e aplikacioneve (vibe-kodim) dhe të optimizuar për verifikimin formal të kodit. Pritet që Devstral të përdoret për krijimin e asistentëve AI, që më shumë se thjesht të gjenerojnë kod, mund të garantojnë se ky kod nuk ka gabime. Devstral u bë modeli i parë hapur që mbështet gjuhën e programimit Lean 4 dhe lidhjet e saj […]
