Inteligencia Artificial·4 jul 2026NVIDIA Horizon: Agente IA autonomo para diseño RTLNVIDIA presenta Horizon, un agente de IA que automatiza el diseño de circuitos RTL mediante repositorios versionados, alcanzando 100% de finalización en benchmarks estándar del sector.Fuente: MarkTechPost
Inteligencia Artificial·3 jul 2026Mistral lanza Leanstral 1.5, agente IA para código Lean 4Mistral 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