LModel ReleasesLeanstral Mistral: Primer Agente Open Source para Lean 4Mistral 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 4 meses9 min de lecturaLeer artículo