ሚስራል ኤአይ ለመተግበሪያዎች ልማት (vibe codeing) የተነደፈ እና ለመደበኛ የኮድ ማረጋገጫ የተመቻቸ ዴቭስትራል የተባለ ትልቅ የቋንቋ ሞዴል ይፋ አድርጓል። ዴቭስትራል ኮድ ማመንጨት ብቻ ሳይሆን ስህተት የሌለበት መሆኑን የሚያረጋግጡ የኤአይ ረዳቶችን ለመፍጠር ጥቅም ላይ እንደሚውል ይጠበቃል።
ዴቭስትራል የሊን 4 የፕሮግራም አወጣጥ ቋንቋን እና ተያያዥ የሂሳብ ማረጋገጫ የመሳሪያ ኪትሱን የሚደግፍ የመጀመሪያው ክፍት ምንጭ ሞዴል ሆኗል። ሊን 4 የኮዱን ትክክለኛነት እና ከዝርዝሮች ጋር ያለውን ተገዢነት በሂሳብ የማረጋገጥ ችሎታ ይሰጣል፣ ይህም በቪብ ኮዲንግ አውድ ውስጥ፣ በAI ሞዴል የተፈጠረው ኮድ በትክክል ለማድረግ የታሰበውን እንደሚያደርግ ለማረጋገጥ ያስችላል።
ሞዴሉ 119 ቢሊዮን መለኪያዎችን (በአንድ ቶከን 6.5 ቢሊዮን ገቢር መለኪያዎችን) ይሸፍናል፣ የ256 ቶከኖችን አውዶች ግምት ውስጥ ያስገባል፣ እና በአፓቼ 2.0 ፈቃድ ስር ታትሟል። ሊወርደው የሚችለው ማህደር ከLeanstral ጋር 121 ጊባ ሲሆን በአካባቢያዊ ስርዓቶች ላይ ለመጠቀም ተስማሚ ነው። vllm፣ ትራንስፎርመሮች እና SGLang ቤተ-መጻሕፍት ለአካባቢያዊ አፈፃፀም ሊያገለግሉ ይችላሉ።
ከሌሎች ነገሮች በተጨማሪ፣ ሞዴሉ በክፍት ምንጭ ሚስትራል-ቪብ ወኪል ውስጥ ለቪብ ልማት ጥቅም ላይ ሊውል እና የሩስት ኮድን ለማረጋገጥ ከኤኔያስ የመሳሪያ ስብስብ ጋር ሊዋሃድ ይችላል። ጽሑፍን እና ምስሎችን እንደ ግብዓት መለኪያዎች ይቀበላል፣ እና እንደ ውጤት ጽሑፍ ብቻ ያመነጫል። የምስል ይዘት ትንተና ይደገፋል።
የመደበኛ ኮድ ማረጋገጫ ጥራትን እና የሂሳብ ማስረጃዎችን አጻጻፍን ከግምት ውስጥ በማስገባት የAI ሞዴሎችን አቅም ለመገምገም አዲስ የFLTEval መለኪያ ስብስብ ተዘጋጅቷል። በፈተናዎቹ ውስጥ የLeanstral ሞዴል አሁን ያሉትን ክፍት ምንጭ ሞዴሎች Qwen3.5 397B-A17B፣ Kimi-K2.5 1T-A32B እና GLM5 744B-A40B በእጅጉ የላቀ ውጤት አስመዝግቧል። ከአንትሮፒክ ክላውድ ሃይኩ 4.5 እና ክላውድ ሶኔት 4.6 ጋር ተመሳሳይ ውጤቶችን አሳይቷል፣ ነገር ግን ከክላውድ ኦፐስ 4.6 ሞዴል ቀርቷል። በተለይም የኦፐስ ሞዴል 39.6 ነጥቦችን አስመዝግቧል፣ ሊንስትራል ደግሞ በአንድ ማለፊያ 21.9 ነጥቦችን እና በ16 ማለፊያዎች 31.9 ነጥቦችን አስመዝግቧል። የኦፐስን የመጠቀም ወጪ 1650 ዶላር ሲሆን ሊንስትራል ደግሞ በአንድ ማለፊያ 18 ዶላር እና በ16 ማለፊያዎች 290 ዶላር አስመዝግቧል። ሃይኩ 184 ዶላር በማግኘት 23 ነጥብ ሲያስመዘግብ ሶኔት 23.7 ዶላር በማግኘት 549 ዶላር አስመዝግቧል።
ምንጭ: opennet.ru
