लीनस्ट्रल 1.5: प्रति समस्या $300 के बजाय $4 के लिए औपचारिक प्रमाण
⚡ ⚡ त्वरित सारांश
मिस्ट्रल एआई अपाचे 2.0 लाइसेंस के तहत लीनस्ट्रल 1.5 जारी करता है। मिस्ट्रल के अनुसार, मॉडल 672 पुटनम कार्यों में से 587 को हल करता है और स्वचालित रूप से कोड में बग ढूंढता है।