Mistral

Articoli, guide e recensioni di Velthub sul tema Mistral. Fonti primarie citate, sintesi assistita da AI e controllo editoriale umano.

Torna a tutti gli articoli · Confronti fra modelli · Cronologia dei rilasci

Articoli su Mistral

• Leanstral 1.5: l'agente open-source di Mistral per dimostrazioni matematiche formali — Mistral AI rilascia Leanstral 1.5, il primo agente open-source per proving formale con Lean 4. Architettura agentica, test-time scaling record, efficienza economica 92x migliore di Opus.
• Mistral Serie 3: Large, Medium, Small — tre modelli open-source (luglio 2026) — Mistral Large 3, Medium 3, Small 3 — tre modelli aperti Apache 2.0. Dati verificabili ancora insufficienti.