⚠️ You're offline
🏠 होम 🏆 WC 2026 कार्यक्रम स्थानीय अंतर्राष्ट्रीय मध्य पूर्व अर्थव्यवस्था प्रौद्योगिकी खेल विश्व कप 2026 स्वास्थ्य और पर्यावरण संस्कृति समाज
लीनस्ट्रल 1.5: प्रति समस्या $300 के बजाय $4 के लिए औपचारिक प्रमाण

लीनस्ट्रल 1.5: प्रति समस्या $300 के बजाय $4 के लिए औपचारिक प्रमाण

प्रौद्योगिकी 06/07/2026 Heise Online 👁 21
⚡ ⚡ त्वरित सारांश

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

📖 लेख स्रोत — 🇩🇪 जर्मन 🌐 हिंदी में पूरा लेख पढ़ें ← वापस

🔖 सेव किए गए