{"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\/sq\/blog\/news\/mistral-opublikoval-leanstral-ai-model-dlya-vajb-kodinga-s-formalnoj-verifikacziej","title":{"rendered":"Mistral publikoi Leanstral, nj\u00eb model AI p\u00ebr kodimin vibe me verifikim formal","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Kompania Mistral AI ka paraqitur nj\u00eb model t\u00eb madh gjuh\u00ebsor, Devstral, i fokusuar n\u00eb p\u00ebrdorimin p\u00ebr zhvillimin e aplikacioneve (vibe-coding) dhe i optimizuar p\u00ebr verifikimin formal t\u00eb kodit. Supozohet se Devstral mund t\u00eb p\u00ebrdoret p\u00ebr krijimin e asistenteve AI q\u00eb jo vet\u00ebm gjenerojn\u00eb kod, por gjithashtu garantojn\u00eb q\u00eb ai nuk ka gabime. <\/p>\n

Devstral \u00ebsht\u00eb b\u00ebr\u00eb modeli i par\u00eb i hapur q\u00eb mb\u00ebshtet gjuh\u00ebn e programimit Lean 4 dhe mjetet e saj t\u00eb lidhura p\u00ebr verifikimin e provave matematikore. Lean 4 ofron mund\u00ebsi p\u00ebr provimin matematikor t\u00eb sakt\u00ebsis\u00eb s\u00eb kodit dhe p\u00ebrputhshm\u00ebris\u00eb me specifikimet, q\u00eb n\u00eb kontekstin e vibe-coding e lejon t\u00eb konfirmohet q\u00eb kodi i gjeneruar nga modeli AI b\u00ebn sakt\u00ebsisht at\u00eb q\u00eb \u00ebsht\u00eb menduar. <\/p>\n

Modeli p\u00ebrfshin 119 miliard parametra (6.5 miliard parametra aktivizues p\u00ebr token), merr parasysh kontekstin n\u00eb 256 mij\u00eb tokens dhe \u00ebsht\u00eb publikuar me licenc\u00ebn Apache 2.0. Arkivi i ngarkuesh\u00ebm me Leanstral z\u00eb 121 GB dhe \u00ebsht\u00eb i p\u00ebrshtatsh\u00ebm p\u00ebr p\u00ebrdorim n\u00eb sisteme lokale. P\u00ebr ekzekutimin lokal mund t\u00eb p\u00ebrdoren bibliotekat vllm, transformers dhe SGLang. <\/p>\n

Nd\u00ebr t\u00eb tjera, modeli mund t\u00eb p\u00ebrdoret p\u00ebr zhvillimin vibe n\u00eb agjentin e hapur mistral-vibe, si dhe t\u00eb integrohet me mjetet Aeneas p\u00ebr verifikimin e kodit n\u00eb gjuh\u00ebn Rust. Si parametra hyr\u00ebs pranohet teks dhe imazhe, nd\u00ebrsa n\u00eb dalje jepet vet\u00ebm tekst. Mb\u00ebshtetet analiza e p\u00ebrmbajtjes s\u00eb imazheve. <\/p>\n

P\u00ebr t\u00eb vler\u00ebsuar mund\u00ebsit\u00eb e modeleve AI duke marr\u00eb parasysh cil\u00ebsin\u00eb e verifikimit formal t\u00eb kodit dhe p\u00ebrgatitjes s\u00eb d\u00ebshmive matematikore, \u00ebsht\u00eb zhvilluar nj\u00eb grup i ri testesh FLTEval. N\u00eb testet e kryera, modeli Leanstral e tejkaloi ndjesh\u00ebm modelet ekzistuese t\u00eb hapura Qwen3.5 397B-A17B, Kimi-K2.5 1T-A32B dhe GLM5 744B-A40B, duke treguar rezultate t\u00eb ngjashme me modelet Claude Haiku 4.5 dhe Claude Sonnet 4.6 nga kompania Anthropic, por mbeti prapa modelit Claude Opus 4.6. N\u00eb ve\u00e7anti, modeli Opus arriti 39.6 pik\u00eb, nd\u00ebrsa Leanstral - 21.9 n\u00eb nj\u00eb kalim dhe 31.9 n\u00eb 16 kalime. Nd\u00ebrkoh\u00eb, kostot p\u00ebr p\u00ebrdorimin e Opus ishin 1650 dollar\u00eb, nd\u00ebrsa Leanstral - $18 n\u00eb nj\u00eb kalim dhe $290 n\u00eb 16 kalime. Modeli Haiku arriti 23 pik\u00eb me kostot $184, nd\u00ebrsa modeli Sonnet - 23.7 me kostot $549.

\"Mistral<\/center>
\n
Burimi: 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\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 publikoi Leanstral, modelin AI p\u00ebr vibe-coding me verifikimin formal | ProHoster","description":"Kompania Mistral AI prezantoi modelin e madh t\u00eb gjuh\u00ebs Devstral, i cili \u00ebsht\u00eb i fokusuar n\u00eb zhvillimin e aplikacioneve (vibe-coding) dhe \u00ebsht\u00eb optimizuar p\u00ebr verifikimin formal t\u00eb kodit.","canonical_url":"https:\/\/prohoster.info\/sq\/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":"sq_AL","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\/sq\/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\/sq\/wp-json\/wp\/v2\/posts\/164959","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/users\/8"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/comments?post=164959"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/posts\/164959\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/media\/164960"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/media?parent=164959"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/categories?post=164959"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/tags?post=164959"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}