🥇मिस्ट्रलने औपचारिक पडताळणीसह व्हायब कोडिंगसाठी लीनस्ट्रल नावाचे एआय मॉडेल प्रकाशित केले आहे

मिस्ट्रल एआयने 'डेव्हस्ट्रल' नावाचे एक मोठे लँग्वेज मॉडेल सादर केले आहे, जे ॲप डेव्हलपमेंटसाठी (व्हाइब कोडिंग) डिझाइन केलेले असून औपचारिक कोड पडताळणीसाठी ऑप्टिमाइझ केलेले आहे. डेव्हस्ट्रलचा उपयोग असे एआय असिस्टंट तयार करण्यासाठी केला जाईल अशी अपेक्षा आहे, जे केवळ कोड जनरेटच करणार नाहीत, तर तो त्रुटीमुक्त असल्याची खात्रीदेखील करतील.

डेव्हस्ट्रल हे लीन ४ प्रोग्रामिंग भाषा आणि तिच्याशी संबंधित गणितीय सिद्धता पडताळणी टूलकिटला समर्थन देणारे पहिले ओपन सोर्स मॉडेल ठरले. लीन ४ कोडची अचूकता आणि विनिर्देशांशी त्याचे पालन गणितानुसार सिद्ध करण्याची क्षमता प्रदान करते, ज्यामुळे, व्हायब कोडिंगच्या संदर्भात, एआय मॉडेलद्वारे तयार केलेला कोड नेमके तेच करतो जे करण्यासाठी तो बनवला आहे, याची पुष्टी करता येते.

हे मॉडेल ११९ अब्ज पॅरामीटर्स (प्रत्येक टोकनसाठी ६.५ अब्ज सक्रिय पॅरामीटर्स) समाविष्ट करते, २५६,००० टोकन्सच्या संदर्भांचा विचार करते आणि अपाचे २.० परवान्याअंतर्गत प्रकाशित केले आहे. लीनस्ट्रलसह डाउनलोड करण्यायोग्य आर्काइव्ह १२१ जीबीचा आहे आणि स्थानिक प्रणालींवर वापरण्यासाठी योग्य आहे. स्थानिक अंमलबजावणीसाठी vllm, transformers आणि SGLang लायब्ररी वापरल्या जाऊ शकतात.

इतर गोष्टींबरोबरच, हे मॉडेल ओपन-सोर्स मिस्ट्रल-व्हायब एजंटमध्ये व्हायब डेव्हलपमेंटसाठी वापरले जाऊ शकते आणि रस्ट कोडची पडताळणी करण्यासाठी एनिअस टूलकिटसोबत एकत्रित केले जाऊ शकते. हे इनपुट पॅरामीटर्स म्हणून मजकूर आणि प्रतिमा स्वीकारते, आणि आउटपुट म्हणून केवळ मजकूर देते. प्रतिमेच्या सामग्रीचे विश्लेषण समर्थित आहे.

एआय मॉडेल्सच्या क्षमतांचे मूल्यांकन करण्यासाठी, औपचारिक कोड पडताळणीची गुणवत्ता आणि गणितीय पुराव्यांचे लेखन विचारात घेऊन, एक नवीन FLTEval बेंचमार्क सूट विकसित करण्यात आला. चाचण्यांमध्ये, लीनस्ट्रल मॉडेलने विद्यमान ओपन-सोर्स मॉडेल्स Qwen3.5 397B-A17B, Kimi-K2.5 1T-A32B, आणि GLM5 744B-A40B यांच्यापेक्षा लक्षणीयरीत्या चांगली कामगिरी केली. त्याने अँथ्रोपिकच्या Claude Haiku 4.5 आणि Claude Sonnet 4.6 सारखेच निकाल दर्शवले, परंतु Claude Opus 4.6 मॉडेलच्या मागे राहिले. विशेषतः, ओपस मॉडेलने ३९.६ गुण मिळवले, तर लीनस्ट्रलने एका पासमध्ये २१.९ गुण आणि १६ पासमध्ये ३१.९ गुण मिळवले. ओपस वापरण्याचा खर्च $१,६५० होता, तर लीनस्ट्रलचा खर्च एका पासमध्ये $१८ आणि १६ पासमध्ये $२९० होता. हायकुला $184 वर 23 गुण मिळाले, तर सॉनेटला $549 वर 23.7 गुण मिळाले.