{"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\/sv\/blog\/news\/mistral-opublikoval-leanstral-ai-model-dlya-vajb-kodinga-s-formalnoj-verifikacziej","title":{"rendered":"Mistral har offentliggjort Leanstral, en AI-modell f\u00f6r vibe-kodning med formell verifiering.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Mistral AI har lanserat en stor spr\u00e5kmodell, Devstral, som \u00e4r inriktad p\u00e5 anv\u00e4ndning f\u00f6r apputveckling (vibe-coding) och \u00e4r optimerad f\u00f6r formell verifiering av kod. Det f\u00f6rv\u00e4ntas att Devstral kan anv\u00e4ndas f\u00f6r att skapa AI-assistenter som inte bara genererar kod, utan ocks\u00e5 garanterar att den \u00e4r fri fr\u00e5n fel. <\/p>\n

Devstral \u00e4r den f\u00f6rsta \u00f6ppna modellen som st\u00f6der programmeringsspr\u00e5ket Lean 4 och det tillh\u00f6rande verktyget f\u00f6r verifiering av matematiska bevis. Lean 4 ger m\u00f6jligheter f\u00f6r mathematiskt bevis av korrekthet av kod och dess \u00f6verensst\u00e4mmelse med specifikationen, vilket i kontexten av vibe-coding m\u00f6jligg\u00f6r att bekr\u00e4fta att den genererade koden av AI-modellen g\u00f6r det som avsetts. <\/p>\n

Modellen omfattar 119 miljarder parametrar (6,5 miljarder aktiverade parametrar per token), tar h\u00e4nsyn till kontexten med 256 000 tokens och har publicerats under Apache 2.0-licensen. Den nedladdningsbara arkiven f\u00f6r Leanstral \u00e4r 121 GB och \u00e4r l\u00e4mplig f\u00f6r anv\u00e4ndning p\u00e5 lokala system. F\u00f6r lokal k\u00f6rning kan biblioteken vllm, transformers och SGLang anv\u00e4ndas. <\/p>\n

Bland annat kan modellen anv\u00e4ndas f\u00f6r vibe-utveckling i den \u00f6ppna agenten mistral-vibe och integreras med verktyget Aeneas f\u00f6r verifiering av kod p\u00e5 Rust-spr\u00e5ket. Som indata tas text och bilder, och endast text returneras som utdata. Analys av bildinneh\u00e5llet st\u00f6ds. <\/p>\n

F\u00f6r att utv\u00e4rdera kapabiliteterna hos AI-modeller med h\u00e4nsyn till kvaliteten p\u00e5 den formella verifieringen av koden och skrivandet av matematiska bevis har ett nytt testset, FLTEval, utvecklats. I de genomf\u00f6rda testerna presterade modellen Leanstral avsev\u00e4rt b\u00e4ttre \u00e4n de befintliga \u00f6ppna modellerna Qwen3.5 397B-A17B, Kimi-K2.5 1T-A32B och GLM5 744B-A40B, visade liknande resultat som modellerna Claude Haiku 4.5 och Claude Sonnet 4.6 fr\u00e5n f\u00f6retaget Anthropic, men var s\u00e4mre \u00e4n modellen Claude Opus 4.6. Specifikt fick modellen Opus 39.6 po\u00e4ng, medan Leanstral fick 21.9 vid en genomg\u00e5ng och 31.9 vid 16 genomg\u00e5ngar. Kostnaderna f\u00f6r anv\u00e4ndning av Opus var 1650 dollar, medan Leanstral kostade $18 vid en genomg\u00e5ng och $290 vid 16 genomg\u00e5ngar. Modellen Haiku fick 23 po\u00e4ng till en kostnad av $184, och modellen Sonnet fick 23.7 po\u00e4ng till en kostnad av $549.

\"Mistral<\/center>
\n
K\u00e4lla: 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-news"],"aioseo_notices":[],"aioseo_head":"\n\t\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\t\t\n\n","aioseo_head_json":{"title":"\ud83e\udd47Mistral har publicerat Leanstral, en AI-modell f\u00f6r vibe-coding med formell verifiering | ProHoster","description":"F\u00f6retaget Mistral AI har lanserat den stora spr\u00e5kmodellen Devstral, inriktad p\u00e5 anv\u00e4ndning f\u00f6r applikationsutveckling (vibe-coding) och optimerad f\u00f6r formell verifiering av kod.","canonical_url":"https:\/\/prohoster.info\/sv\/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":"sv_SE","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\/sv\/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\/sv\/wp-json\/wp\/v2\/posts\/164959","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/sv\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/sv\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sv\/wp-json\/wp\/v2\/users\/8"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sv\/wp-json\/wp\/v2\/comments?post=164959"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/sv\/wp-json\/wp\/v2\/posts\/164959\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sv\/wp-json\/wp\/v2\/media\/164960"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/sv\/wp-json\/wp\/v2\/media?parent=164959"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/sv\/wp-json\/wp\/v2\/categories?post=164959"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/sv\/wp-json\/wp\/v2\/tags?post=164959"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}