
IA
Mistral entra a la robótica con Robostral Navigate
El modelo de 8B guía robots por entornos desconocidos usando una sola cámara RGB y, según la empresa, supera a los sistemas con sensores de profundidad o varias cámaras.
The Decoder
3 notas publicadas

El fundador francés advierte que confiar en modelos propietarios abre la puerta a que los proveedores de IA compitan luego contra sus propios clientes con la data que acumulan.

El modelo open-source (Apache 2.0) para verificación formal en Lean 4 lidera PutnamBench entre pesos abiertos y detectó overflows reales en 57 repositorios.
Otros temas que aparecen junto a #mistral en nuestra cobertura editorial.