Mistral AI ha rilasciato Leanstral 1.5, un modello open source per la verifica formale in Lean 4. Al di là della matematica, il modello ha rilevato cinque bug precedentemente sconosciuti durante la scansione di 57 repository open source. L'articolo Mistral è aperto…
I pesi aperti allentano la pressione sui prezzi chiusi e ampliano l’accesso, cambiando la matematica build-vs-buy per l’intero ecosistema.
Aziende e modelli menzionati in questa storia: apri le loro pagine e scopri i prezzi
I riepiloghi sono aggregati solo a scopo informativo: segui il collegamento alla fonte per la storia completa. Le voci demo sono illustrative.