Inteligencia Artificial·3 jul 2026
Mistral lanza Leanstral 1.5, agente IA para código Lean 4
Mistral AI presentó Leanstral 1.5, un modelo de agente de código abierto bajo licencia Apache 2.0 especializado en Lean 4. Con arquitectura de expertos mezclados, resuelve 587 de 672 problemas matemáticos complejos del benchmark PutnamBench.
Fuente: MarkTechPost