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.
Redaccion Data Cube AIFuente: 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