El modelo Leanstral 1.5 de Mistral tiene un costo de resolución de aproximadamente 4 dólares

Mistral AI ha lanzado el modelo Leanstral 1.5, diseñado para la prueba formal Lean 4, con un total de 1190 millones de parámetros y aproximadamente 650 millones de parámetros activados, bajo la licencia Apache-2.0, que ofrece acceso gratuito a la API. Las evaluaciones oficiales muestran que Leanstral 1.5 resolvió 587 de las 672 preguntas en PutnamBench; alcanzó un 87% y un 34% en los benchmarks de álgebra abstracta FATE-H y FATE-X, respectivamente, estableciendo un nuevo récord en el rendimiento de modelos similares. El costo promedio de resolución de Leanstral 1.5 en PutnamBench es de aproximadamente 4 dólares, mucho más bajo que los costos de decenas a cientos de dólares de algunos sistemas anteriores. A medida que se incrementa el presupuesto de tokens por pregunta, la cantidad de resoluciones sigue aumentando; en la prueba de complejidad de árboles AVL, el modelo realizó más de 2.7 millones de inferencias de tokens y 22 compresiones de contexto, completando finalmente la prueba correspondiente. Además de las pruebas matemáticas, Leanstral 1.5 también se ha utilizado 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.

Este contenido se ofrece únicamente con fines informativos generales y no constituye asesoramiento financiero, de inversión, legal ni fiscal. Cualquier evento, recompensa, promoción en línea o información relacionada que se mencione en el presente documento no debe considerarse como una recomendación, solicitud o invitación a comprar, vender, tradear o de negociar de otra manera con cualquier criptoactivo. Los criptoactivos son sumamente volátiles y pueden provocar pérdidas. La disponibilidad de los servicios, productos y eventos relacionados de WEEX puede variar según la región. Tienes la responsabilidad de asegurarte de que tu participación esté de acuerdo con las leyes y regulaciones locales vigentes.