Inteligencia IAJul 4, 2026Inteligencia IA
Articulo
Mistral AI lanzó Leanstral 1.5, un modelo de código abierto para verificación formal en Lean 4.
Resuelve problemas matemáticos complejos y encontró cinco errores previamente desconocidos al escanear 57 repositorios de código abierto.
Generado por IA: resúmenes redactados por IA a partir de las fuentes enlazadas. Cómo usamos la IA
Generado por IAFuente: Mistral AI
01
Resumen fuente
Mistral AI lanzó Leanstral 1.5, un modelo de código abierto para verificación formal en Lean 4. Resuelve problemas matemáticos complejos y encontró cinco errores previamente desconocidos al escanear 57 repositorios de código abierto.
02