Raccontami cosa vuoi migliorare.
Una call di 30 minuti per capire il contesto e valutare insieme se e come posso esserti utile. Senza impegno.
NewsDisponibile in podcastLeanstral 1.5, l'agente di Mistral che scrive dimostrazioni matematiche controllate dal compilatore
Leanstral 1.5 di Mistral: agente open source per dimostrazioni in Lean 4, 100% su miniF2F, API gratuita e costi molto bassi. Cosa fa e a chi serve davvero.
11 min
NewsDisponibile in podcastMistral 3: Large 3 e Ministral 3, la famiglia open weight in Apache 2.0 annunciata a dicembre 2025
Mistral 3 in breve: Large 3 (41 miliardi di parametri attivi su 675) e i tre Ministral 3 (3B, 8B, 14B), con licenza Apache 2.0. Prezzi, dove usarli e limiti.
10 min
NewsDisponibile in podcastInkling di Thinking Machines Lab: il modello open-weight nato per essere addestrato sui dati di chi lo usa
Inkling, debutto open-weight di Thinking Machines Lab: 975 miliardi di parametri, ragionamento regolabile, benchmark, disponibilità e fine-tuning su Tinker.
13 min