{"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\/hu\/blog\/news\/mistral-opublikoval-leanstral-ai-model-dlya-vajb-kodinga-s-formalnoj-verifikacziej","title":{"rendered":"A Mistral kiadta a Leanstralt, egy form\u00e1lis verifik\u00e1ci\u00f3val rendelkez\u0151 AI-modellt a vib-k\u00f3dol\u00e1shoz","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

A Mistral AI bemutatott egy \u00faj nyelvi modellt, a Devstralt, amelyet alkalmaz\u00e1sfejleszt\u00e9sre (vibe-k\u00f3dol\u00e1sra) sz\u00e1ntak, \u00e9s amelyet a k\u00f3d form\u00e1lis verifik\u00e1ci\u00f3j\u00e1nak optimaliz\u00e1l\u00e1s\u00e1ra fejlesztettek ki. \u00dagy v\u00e9lik, hogy a Devstral haszn\u00e1lhat\u00f3 AI-asszisztensek l\u00e9trehoz\u00e1s\u00e1ra, amelyek nemcsak k\u00f3dot gener\u00e1lnak, hanem garant\u00e1lj\u00e1k, hogy az hibamentes. <\/p>\n

A Devstral lett az els\u0151 ny\u00edlt modell, amely t\u00e1mogatja a Lean 4 programoz\u00e1si nyelvet \u00e9s a matematikai bizony\u00edt\u00e9kok ellen\u0151rz\u00e9s\u00e9re szolg\u00e1l\u00f3 eszk\u00f6zk\u00e9szletet. A Lean 4 lehet\u0151s\u00e9get ny\u00fajt a k\u00f3d helyess\u00e9g\u00e9nek matematikai bizony\u00edt\u00e1s\u00e1ra \u00e9s a specifik\u00e1ci\u00f3val val\u00f3 \u00f6sszhangj\u00e1nak ellen\u0151rz\u00e9s\u00e9re, ami a vibe-k\u00f3dol\u00e1s kontextus\u00e1ban lehet\u0151v\u00e9 teszi a gener\u00e1lt AI-modell k\u00f3dj\u00e1nak meger\u0151s\u00edt\u00e9s\u00e9t, hogy az pontosan azt v\u00e9gzi, amit sz\u00e1ntak. <\/p>\n

A modell 119 milli\u00e1rd param\u00e9tert fed le (6,5 milli\u00e1rd aktiv\u00e1lhat\u00f3 param\u00e9ter tokenenk\u00e9nt), figyelembe veszi a 256 ezer tokenes kontextust, \u00e9s Apache 2.0 alatt ker\u00fclt k\u00f6zz\u00e9t\u00e9telre. A Leanstral let\u00f6lthet\u0151 arch\u00edvuma 121 GB m\u00e9ret\u0171, \u00e9s helyi rendszereken val\u00f3 haszn\u00e1latra alkalmas. Helyi futtat\u00e1shoz a vllm, transformers \u00e9s SGLang k\u00f6nyvt\u00e1rak haszn\u00e1lhat\u00f3k. <\/p>\n

A modell t\u00f6bbek k\u00f6z\u00f6tt haszn\u00e1lhat\u00f3 vibe-fejleszt\u00e9sre a ny\u00edlt \u00fcgyn\u00f6kben, a mistral-vibe-ben, valamint integr\u00e1lhat\u00f3 az Aeneas eszk\u00f6zk\u00e9szlet\u00e9vel a Rust nyelv\u0171 k\u00f3d verifik\u00e1ci\u00f3j\u00e1hoz. Bemeneti param\u00e9terk\u00e9nt sz\u00f6veget \u00e9s k\u00e9peket fogad, a kimenet csak sz\u00f6veg. T\u00e1mogatja a k\u00e9pek tartalm\u00e1nak elemz\u00e9s\u00e9t. <\/p>\n

A mutatv\u00e1nyok AI-modellek lehet\u0151s\u00e9geinek \u00e9rt\u00e9kel\u00e9s\u00e9re a k\u00f3d form\u00e1lis verifik\u00e1l\u00e1s\u00e1nak min\u0151s\u00e9ge \u00e9s a matematikai bizony\u00edt\u00e1sok \u00edr\u00e1sa figyelembev\u00e9tel\u00e9vel egy \u00faj tesztk\u00e9szletet, a FLTEval-t fejlesztettek ki. A v\u00e9gzett tesztek sor\u00e1n a Leanstral modell jelent\u0151sen fel\u00fclm\u00falta a megl\u00e9v\u0151 ny\u00edlt modelleket, mint a Qwen3.5 397B-A17B, Kimi-K2.5 1T-A32B \u00e9s GLM5 744B-A40B, hasonl\u00f3 eredm\u00e9nyeket mutatott a Claude Haiku 4.5 \u00e9s Claude Sonnet 4.6 modellekkel az Anthropic c\u00e9gt\u0151l, de lemaradt a Claude Opus 4.6 modellt\u0151l. K\u00fcl\u00f6n\u00f6sen az Opus modell 39,6 pontot \u00e9rt el, m\u00edg a Leanstral 21,9-et egy \u00e1tfut\u00e1skor \u00e9s 31,9-et 16 \u00e1tfut\u00e1skor. Ezen t\u00falmen\u0151en az Opus haszn\u00e1lati k\u00f6lts\u00e9ge 1650 doll\u00e1r volt, m\u00edg a Leanstral eset\u00e9ben 18 doll\u00e1r egy \u00e1tfut\u00e1sra \u00e9s 290 doll\u00e1r 16 \u00e1tfut\u00e1sra. A Haiku modell 23 pontot \u00e9rt el 184 doll\u00e1ros k\u00f6lts\u00e9ggel, m\u00edg a Sonnet 23,7 pontot 549 doll\u00e1ros k\u00f6lts\u00e9ggel.

\"A<\/center>
\n
Forr\u00e1s: 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\udd47A Mistral kiadta a Leanstralt, egy AI modellt vibe codinghoz form\u00e1lis ellen\u0151rz\u00e9ssel | ProHoster","description":"A Mistral AI bemutatott egy nagy nyelvi modellt, a Devstralt, amelyet alkalmaz\u00e1sfejleszt\u00e9sre (vibe coding) sz\u00e1ntak, \u00e9s amely a k\u00f3d form\u00e1lis ellen\u0151rz\u00e9s\u00e9re van optimaliz\u00e1lva.","canonical_url":"https:\/\/prohoster.info\/hu\/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":"hu_HU","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\/hu\/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\/hu\/wp-json\/wp\/v2\/posts\/164959","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/users\/8"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/comments?post=164959"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/posts\/164959\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/media\/164960"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/media?parent=164959"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/categories?post=164959"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/tags?post=164959"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}