{"id":164959,"date":"2026-03-17T11:12:00","date_gmt":"2026-03-17T09:12:00","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/mistral-opublikoval-leanstral-ai-model-dlya-vajb-kodinga-s-formalnoj-verifikacziej"},"modified":"2026-03-17T11:12:00","modified_gmt":"2026-03-17T09:12:00","slug":"mistral-opublikoval-leanstral-ai-model-dlya-vajb-kodinga-s-formalnoj-verifikacziej","status":"publish","type":"post","link":"https:\/\/prohoster.info\/ro\/blog\/news\/mistral-opublikoval-leanstral-ai-model-dlya-vajb-kodinga-s-formalnoj-verifikacziej","title":{"rendered":"Mistral a publicat Leanstral, un model AI pentru vibra\u021bia cod\u0103rii cu verificare formal\u0103","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Compania Mistral AI a lansat un model lingvistic mare numit Devstral, destinat utiliz\u0103rii \u00een dezvoltarea aplica\u021biilor (vibe-coding) \u0219i optimizat pentru verificarea formal\u0103 a codului. Se presupune c\u0103 Devstral poate fi utilizat pentru a crea asisten\u021bi AI capabili nu doar s\u0103 genereze cod, ci \u0219i s\u0103 garanteze absen\u021ba erorilor \u00een acesta. <\/p>\n

Devstral a devenit primul model deschis care suport\u0103 limbajul de programare Lean 4 \u0219i instrumentele asociate pentru verificarea dovezilor matematice. Lean 4 ofer\u0103 posibilit\u0103\u021bi pentru demonstrarea matematic\u0103 a corectitudinii codului \u0219i a conformit\u0103\u021bii sale cu specifica\u021biile, ceea ce, \u00een contextul vibe-coding, permite confirmarea faptului c\u0103 codul generat de modelul AI face exact ceea ce este dorit. <\/p>\n

Modelul cuprinde 119 miliarde de parametri (6.5 miliarde de parametri activabili pe token), ia \u00een considerare un context de 256.000 de tokeni \u0219i este publicat sub licen\u021ba Apache 2.0. Arhiva desc\u0103rcabil\u0103 cu Leanstral ocup\u0103 121 GB \u0219i este potrivit\u0103 pentru utilizare pe sisteme locale. Pentru lansare local\u0103 pot fi utilizate biblioteci precum vllm, transformers \u0219i SGLang. <\/p>\n

Printre altele, modelul poate fi utilizat pentru dezvoltarea vibe \u00een agentul deschis mistral-vibe, precum \u0219i integrat cu instrumentele Aeneas pentru verificarea codului \u00een limbajul Rust. Ca parametri de intrare se accept\u0103 text \u0219i imagini, \u00een timp ce rezultatul se furnizeaz\u0103 doar sub form\u0103 de text. Este suportat\u0103 analiza con\u021binutului imaginilor. <\/p>\n

Pentru a evalua capabilit\u0103\u021bile modelelor AI \u021bin\u00e2nd cont de calitatea verific\u0103rii formale a codului \u0219i a scrierii demonstra\u021biilor matematice, a fost creat un nou set de teste FLTEval. \u00cen testele efectuate, modelul Leanstral a dep\u0103\u0219it semnificativ modelele deschise existente Qwen3.5 397B-A17B, Kimi-K2.5 1T-A32B \u0219i GLM5 744B-A40B, ar\u0103t\u00e2nd rezultate similare cu modelele Claude Haiku 4.5 \u0219i Claude Sonnet 4.6 de la compania Anthropic, dar a r\u0103mas \u00een urma modelului Claude Opus 4.6. \u00cen particular, modelul Opus a ob\u021binut 39.6 puncte, \u00een timp ce Leanstral a ob\u021binut 21.9 la un singur test \u0219i 31.9 la 16 teste. \u00cen acela\u0219i timp, costurile utiliz\u0103rii Opus au fost de 1650 de dolari, iar Leanstral a costat 18 dolari pentru un singur test \u0219i 290 de dolari pentru 16 teste. Modelul Haiku a ob\u021binut 23 de puncte cu costuri de 184 de dolari, iar modelul Sonnet a ob\u021binut 23.7 puncte cu costuri de 549 de dolari.

\"Mistral<\/center>
\n
Sursa: opennet.ro<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"

\u041a\u043e\u043c\u043f\u0430\u043d\u0438\u044f Mistral AI \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u043b\u0430 \u0431\u043e\u043b\u044c\u0448\u0443\u044e \u044f\u0437\u044b\u043a\u043e\u0432\u0443\u044e \u043c\u043e\u0434\u0435\u043b\u044c Devstral, \u043d\u0430\u0446\u0435\u043b\u0435\u043d\u043d\u0443\u044e \u043d\u0430 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0434\u043b\u044f \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0438 \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u0439 (\u0432\u0430\u0439\u0431-\u043a\u043e\u0434\u0438\u043d\u0433\u0430) \u0438 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u0443\u044e \u0434\u043b\u044f \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0439 \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 \u043a\u043e\u0434\u0430. \u041f\u0440\u0435\u0434\u043f\u043e\u043b\u0430\u0433\u0430\u0435\u0442\u0441\u044f, \u0447\u0442\u043e Devstral \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u0442\u044c\u0441\u044f \u0434\u043b\u044f \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u044f AI-\u0430\u0441\u0441\u0438\u0441\u0442\u0435\u043d\u0442\u043e\u0432, \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u044e\u0449\u0438\u0445 \u043d\u0435 \u043f\u0440\u043e\u0441\u0442\u043e \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043a\u043e\u0434, \u043d\u043e \u0438 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435 \u0432 \u043d\u0451\u043c \u043e\u0448\u0438\u0431\u043e\u043a. Devstral \u0441\u0442\u0430\u043b\u0430 \u043f\u0435\u0440\u0432\u043e\u0439 \u043e\u0442\u043a\u0440\u044b\u0442\u043e\u0439 \u043c\u043e\u0434\u0435\u043b\u044c\u044e, \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u044e\u0449\u0435\u0439 \u044f\u0437\u044b\u043a \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f Lean 4 \u0438 \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0439 \u0441 \u043d\u0438\u043c […]<\/p>\n","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"author":8,"featured_media":164960,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[702],"tags":[],"class_list":["post-164959","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news"],"aioseo_notices":[],"aioseo_head":"\n\t\t\n\t\n\t\n\t\n\t\n\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\n","aioseo_head_json":{"title":"\ud83e\udd47Mistral a publicat Leanstral, un model AI pentru vibe-coding cu verificare formal\u0103 | ProHoster","description":"Compania Mistral AI a lansat un model lingvistic puternic, Devstral, destinat utiliz\u0103rii \u00een dezvoltarea aplica\u021biilor (vibe-coding) \u0219i optimizat pentru verificarea formal\u0103 a codului.","canonical_url":"https:\/\/prohoster.info\/ro\/blog\/news\/mistral-opublikoval-leanstral-ai-model-dlya-vajb-kodinga-s-formalnoj-verifikacziej","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"ro_RO","og:site_name":"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b","og:type":"article","og:title":"\ud83e\udd47Mistral \u043e\u043f\u0443\u0431\u043b\u0438\u043a\u043e\u0432\u0430\u043b Leanstral, AI-\u043c\u043e\u0434\u0435\u043b\u044c \u0434\u043b\u044f \u0432\u0430\u0439\u0431-\u043a\u043e\u0434\u0438\u043d\u0433\u0430 \u0441 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0439 \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0435\u0439 | ProHoster","og:description":"\u041a\u043e\u043c\u043f\u0430\u043d\u0438\u044f Mistral AI \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u043b\u0430 \u0431\u043e\u043b\u044c\u0448\u0443\u044e \u044f\u0437\u044b\u043a\u043e\u0432\u0443\u044e \u043c\u043e\u0434\u0435\u043b\u044c Devstral, \u043d\u0430\u0446\u0435\u043b\u0435\u043d\u043d\u0443\u044e \u043d\u0430 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u0434\u043b\u044f \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0438 \u043f\u0440\u0438\u043b\u043e\u0436\u0435\u043d\u0438\u0439 (\u0432\u0430\u0439\u0431-\u043a\u043e\u0434\u0438\u043d\u0433\u0430) \u0438 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u0443\u044e \u0434\u043b\u044f \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0439 \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 \u043a\u043e\u0434\u0430.","og:url":"https:\/\/prohoster.info\/ro\/blog\/news\/mistral-opublikoval-leanstral-ai-model-dlya-vajb-kodinga-s-formalnoj-verifikacziej","og:image":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:secure_url":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:width":350,"og:image:height":350,"article:published_time":"2026-03-17T09:12:00+00:00","article:modified_time":"2026-03-17T09:12:00+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster","article:author":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":[],"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/ro\/wp-json\/wp\/v2\/posts\/164959","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/ro\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/ro\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/ro\/wp-json\/wp\/v2\/users\/8"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/ro\/wp-json\/wp\/v2\/comments?post=164959"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/ro\/wp-json\/wp\/v2\/posts\/164959\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/ro\/wp-json\/wp\/v2\/media\/164960"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/ro\/wp-json\/wp\/v2\/media?parent=164959"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/ro\/wp-json\/wp\/v2\/categories?post=164959"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/ro\/wp-json\/wp\/v2\/tags?post=164959"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}