{"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\/et\/blog\/novosti-interneta\/mistral-opublikoval-leanstral-ai-model-dlya-vajb-kodinga-s-formalnoj-verifikacziej","title":{"rendered":"Mistral on avaldanud Leanstral, AI mudeli, mis on suunatud vibe-koodimisele ja omab formaalset verifikatsiooni.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Ettev\u00f5te Mistral AI tutvustas suurt keelemudelit Devstral, mis on m\u00f5eldud rakenduste (vibe-koodimise) arendamiseks ja optimeeritud koodi formaalseks verifikatsiooniks. Eeldatakse, et Devstral'i saab kasutada AI-assistentide loomiseks, mis mitte ainult ei genereeri koodi, vaid ka tagab selle veatuse. <\/p>\n

Devstral on esimene avatud mudel, mis toetab programmikeelt Lean 4 ja sellega seotud t\u00f6\u00f6riistu matemaatiliste t\u00f5endite kontrollimiseks. Lean 4 pakub v\u00f5imalusi koodi korrektsuse t\u00f5endamiseks ja vastavuse kontrollimiseks spetsifikatsioonile, mis vibe-koodimise kontekstis v\u00f5imaldab kinnitada, et AI mudeliga genereeritud kood teeb just seda, mis on ette n\u00e4htud. <\/p>\n

Mudel katab 119 miljardit parameetrit (6,5 miljardit aktiveeritavat parameetrit tokeni kohta), arvestab konteksti 256 000 tokeni ulatuses ja on avaldatud litsentsi all Apache 2.0. Laaditav arhiiv Leanstraliga on 121 GB ja sobib kasutamiseks lokaalses s\u00fcsteemis. Kohalikuks k\u00e4ivitamiseks v\u00f5ib kasutada raamatukogusid vllm, transformers ja SGLang. <\/p>\n

Muuhulgas saab mudelit kasutada vibe-arendamiseks avatud agent Mistral-vibe, samuti saab seda integreerida Aenease t\u00f6\u00f6riistakasti, et valideerida koodi Rusti keeles. Sisendparameetritena v\u00f5etakse vastu tekst ja pildid, v\u00e4ljundiks antakse ainult tekst. Toetatakse piltide sisu anal\u00fc\u00fcsi. <\/p>\n

\u0414\u043b\u044f \u043e\u0446\u0435\u043d\u043a\u0438 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u0435\u0439 AI-\u043c\u043e\u0434\u0435\u043b\u0435\u0439 \u0441 \u0443\u0447\u0451\u0442\u043e\u043c \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0430 \u043f\u0440\u043e\u0432\u0435\u0434\u0435\u043d\u0438\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 \u0438 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0430\u043d \u043d\u043e\u0432\u044b\u0439 \u043d\u0430\u0431\u043e\u0440 \u0442\u0435\u0441\u0442\u043e\u0432 FLTEval. \u0412 \u043f\u0440\u043e\u0432\u0435\u0434\u0451\u043d\u043d\u044b\u0445 \u0442\u0435\u0441\u0442\u0430\u0445 \u043c\u043e\u0434\u0435\u043b\u044c Leanstral \u043e\u0449\u0443\u0442\u0438\u043c\u043e \u043e\u0431\u043e\u0433\u043d\u0430\u043b\u0430 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0435 \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u0435 \u043c\u043e\u0434\u0435\u043b\u0438 Qwen3.5 397B-A17B, Kimi-K2.5 1T-A32B \u0438 GLM5 744B-A40B, \u043f\u043e\u043a\u0430\u0437\u0430\u043b\u0430 \u0441\u0445\u043e\u0434\u043d\u044b\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0441 \u043c\u043e\u0434\u0435\u043b\u044f\u043c\u0438 Claude Haiku 4.5 \u0438 Claude Sonnet 4.6 \u043e\u0442 \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u0438 Anthropic, \u043d\u043e \u043e\u0442\u0441\u0442\u0430\u043b\u0430 \u043e\u0442 \u043c\u043e\u0434\u0435\u043b\u0438 Claude Opus 4.6. \u0412 \u0447\u0430\u0441\u0442\u043d\u043e\u0441\u0442\u0438, \u043c\u043e\u0434\u0435\u043b\u044c Opus \u043d\u0430\u0431\u0440\u0430\u043b\u0430 39.6 \u0431\u0430\u043b\u043b\u043e\u0432, \u0430 Leanstral — 21.9 \u043f\u0440\u0438 \u043e\u0434\u043d\u043e\u043c \u043f\u0440\u043e\u0445\u043e\u0434\u0435 \u0438 31.9 \u043f\u0440\u0438 16 \u043f\u0440\u043e\u0445\u043e\u0434\u0430\u0445. \u041f\u0440\u0438 \u044d\u0442\u043e\u043c \u0437\u0430\u0442\u0440\u0430\u0442\u044b \u043f\u0440\u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0438 Opus \u0441\u043e\u0441\u0442\u0430\u0432\u0438\u043b\u0438 1650 \u0434\u043e\u043b\u043b\u0430\u0440\u043e\u0432, \u0430 Leanstral — $18 \u043f\u0440\u0438 \u043e\u0434\u043d\u043e\u043c \u043f\u0440\u043e\u0445\u043e\u0434\u0435 \u0438 $290 \u043f\u0440\u0438 16 \u043f\u0440\u043e\u0445\u043e\u0434\u0430\u0445. \u041c\u043e\u0434\u0435\u043b\u044c Haiku \u043d\u0430\u0431\u0440\u0430\u043b\u0430 23 \u0431\u0430\u043b\u043b\u0430 \u043f\u0440\u0438 \u0437\u0430\u0442\u0440\u0430\u0442\u0430\u0445 $184, \u0430 \u043c\u043e\u0434\u0435\u043b\u044c Sonnet\t— 23.7 \u043f\u0440\u0438 \u0437\u0430\u0442\u0440\u0430\u0442\u0430\u0445 $549.

\"Mistral<\/center>
\n
Allikas: opennet.ru<\/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-novosti-interneta"],"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 avaldas Leanstral'i, AI mudeli vibe-kodeerimiseks koos formaalse t\u00f5endamisega | ProHoster","description":"Mistral AI esitles suurt Devstral keelemudelit, mis on suunatud rakenduste arendamiseks (vibe-kodeerimine) ja optimeeritud koodi formaalseks t\u00f5endamiseks. Eeldatakse, et Devstral'i saab kasutada AI-abistajate loomiseks, mis mitte ainult ei genereeri koodi, vaid ka tagab, et selles pole vigu. Devstral on esimene avatud mudel, mis toetab Lean 4 programmeerimiskeelt ja sellega seotud funktsioone.","canonical_url":"https:\/\/prohoster.info\/et\/blog\/novosti-interneta\/mistral-opublikoval-leanstral-ai-model-dlya-vajb-kodinga-s-formalnoj-verifikacziej","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"et_EE","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. \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","og:url":"https:\/\/prohoster.info\/et\/blog\/novosti-interneta\/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\/et\/wp-json\/wp\/v2\/posts\/164959","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/et\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/et\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/et\/wp-json\/wp\/v2\/users\/8"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/et\/wp-json\/wp\/v2\/comments?post=164959"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/et\/wp-json\/wp\/v2\/posts\/164959\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/et\/wp-json\/wp\/v2\/media\/164960"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/et\/wp-json\/wp\/v2\/media?parent=164959"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/et\/wp-json\/wp\/v2\/categories?post=164959"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/et\/wp-json\/wp\/v2\/tags?post=164959"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}