Leanstral 1.5 de Mistral destaca en verificación formal y descubre bugs reales
Mistral AI lanza Leanstral 1.5, modelo open-source para verificación formal en Lean 4, que supera pruebas de matemáticas y detecta cinco errores desconocidos en repositorios públicos. Este avance muestra cómo la IA puede mejorar la seguridad del código crítico.
5 min lectura6semIAOnda Redaccion
