Model ReleasesMistral AI lanza Leanstral, un modelo MoE de 119B parámetros para verificación formal. Genera código y pruebas verificables a 15x menos costo.hace 6 meses9 min de lectura