Mistral AI lanza Leanstral 1.5: un modelo de agente de código Apache-2.0 Lean 4 que resuelve 587 de 672 problemas de PutnamBench
Hoy, Mistral AI lanzó Leanstral 1.5. Es un modelo de agente de código creado para Lean 4. La versión tiene como objetivo la demostración automatizada de teoremas y la ingeniería…