IA · Modelos · Mistral · Leanstral · Programación
Mistral registra el lanzamiento de Leanstral 1.5 para pruebas formales
La actualización se orienta a trabajar con Lean 4 y amplía el razonamiento de contexto largo.
Fecha de la fuente original:
Lo esencial
- La actualización se orienta a trabajar con Lean 4 y amplía el razonamiento de contexto largo.
Pruebas formales con Lean 4
Mistral incorporó Leanstral 1.5 a su registro público de lanzamientos del 30 de junio. La nueva versión está especializada en ingeniería de pruebas formales con Lean 4, un entorno que permite comprobar demostraciones mediante reglas explícitas.
Datos y razonamiento
Mistral atribuye la mejora a datos de ajuste supervisado de mayor calidad y a un razonamiento de contexto largo ampliado. El informe técnico detallado apareció el 2 de julio, después del lanzamiento del 30 de junio.