Mistral AI released Leanstral 1.5, a free Apache-2.0 code agent model for Lean 4. It saturates miniF2F and solves 587 of 672 PutnamBench problems. The 119B mixture-of-experts activates 6.5B parameters per token. We break down its architecture, benchmarks, real bug-finding case studies, and deployment code.
The post Mistral AI Releases Leanstral...
🔧 AI Nachrichten
⚡ iShareStuff Intelligence
📰 VERIFIED NEWS INTELLIGENCE ID: #3616374
📰 Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems
⏱️ vor 33d 13h (04.07.2026 um 00:20 Uhr) 📖 1 Min. Lesezeit 📂 🔧 AI Nachrichten 📡 Feed 🔗 Quelle: marktechpost.com
Schrift:
Verwandte Videos & News · KI-empfohlen via Levenshtein-Match
🎯 45% Match
📆 26.07.2024 um 00:17 Uhr
▶ Abspielen
🎯 41% Match
📆 25.02.2024 um 15:15 Uhr
▶ Abspielen
🎯 39% Match
📆 05.12.2025 um 12:01 Uhr
▶ Abspielen
🎯 39% Match
📆 17.12.2023 um 15:15 Uhr
▶ Abspielen
🎯 39% Match
📆 24.01.2025 um 12:00 Uhr
▶ Abspielen
🎯 39% Match
📆 08.05.2025 um 23:29 Uhr
▶ Abspielen
🎯 39% Match
📆 10.12.2024 um 21:25 Uhr
▶ Abspielen
🎯 39% Match
📆 13.01.2024 um 15:15 Uhr
▶ Abspielen
← Horizontal scrollen für mehr Empfehlungen → · Klick auf ein Video zum Abspielen im Hauptplayer