Leanstral 1.5: Pruebas formales por $4 en lugar de $300 por problema
⚡ Resumen rápido
Mistral AI lanza Leanstral 1.5 bajo licencia Apache 2.0.
Mistral AI lanza Leanstral 1.5 bajo licencia Apache 2.0. Según Mistral, el modelo resuelve 587 de 672 tareas de Putnam y encuentra automáticamente errores en el código.
📰 Artículos relacionados
De la gasolinera al pan: la crisis de suministro en Rusia se expande
n-tvGadgets para el coche para las vacaciones de verano: cámaras para bebés, neveras portátiles, CarPlay & Co.
Heise Online
Guerra de Ucrania: Se informan graves ataques rusos antes de la cumbre de la OTAN
Der Spiegel
Türkiye: Activista de derechos humanos critica la ola de detenciones antes de la cumbre de la OTAN
Der Spiegel
Más balística, más muertes: Rusia apuesta por nuevas tácticas en los ataques a Kiev
n-tv