Mistral lanza 'Leanstral', el primer agente de código de código abierto para el lenguaje de programación Lean 4.

La herramienta busca ayudar a superar el cuello de botella de revisar manualmente el código generado por IA en dominios de alto riesgo como la investigación y el software crítico. Apunta a una mayor velocidad y seguridad.

Generado por IA: resúmenes redactados por IA a partir de las fuentes enlazadas. Cómo usamos la IA