Según informes de CoinWorld, el modelo Leanstral 1.5 de código abierto de Mistral tiene un costo de solución por problema de aproximadamente 4 dólares, con un total de 119 mil millones de parámetros y alrededor de 6.5 mil millones de parámetros activos. Utiliza el protocolo Apache-2.0 y ofrece acceso gratuito a la API. Las evaluaciones oficiales muestran que Leanstral 1.5 resolvió 587 de las 672 preguntas de Putnambench, alcanzando un 87% y 34% en los benchmarks de álgebra abstracta Fate-H y Fate-X respectivamente, estableciendo un nuevo récord entre modelos similares. Además, Leanstral 1.5 también se utiliza para la verificación de código, y el equipo encontró 11 errores reales en 57 repositorios de Rust de código abierto, de los cuales 5 no habían sido reportados anteriormente.
CoinNetwork

