Local y open source
Mistral publica Leanstral 1.5 como modelo de código abierto
El 2 de julio de 2026 Mistral publicó Leanstral 1.5, un modelo de verificación formal para demostraciones en Lean 4, con licencia Apache-2.0. Sus pesos están en Hugging Face y el modelo también está disponible gratis en la API de Mistral, con el identificador leanstral-1-5.
LanzamientoDisponibleSí, afecta al plan gratuito
Qué significa para ti
Se puede descargar y ejecutar sin pagar cuota, o usar a través de la API gratuita. Mistral lo describe como un modelo de 119.000 millones de parámetros en total, de los que sólo activa 6.000 millones, y recomienda usarlo desde Mistral Vibe. Como los pesos están publicados bajo Apache-2.0, poder usarlo gratis no depende de que Mistral mantenga la API gratuita.
Fuentes
Todo lo anterior sale de estas páginas. Si alguna contradice lo que publicamos, gana la fuente y lo corregimos.
Seguir leyendo
- Local y open source
Liquid AI abre un modelo de razonamiento de 24.000 millones que sólo activa 2.000 por token
Liquid AI publicó el 13 de octubre LFM2.5-24B-A2B, un modelo de razonamiento de 24.000 millones de parámetros que sólo activa 2.000 millones por token, pensado para agentes rápidos y privados en el propio dispositivo. Los pesos están abiertos y en Hugging Face desde ese mismo día, tanto el modelo como su versión base. A diferencia del anterior, es sólo de razonamiento: produce una cadena de pensamiento explícita antes de dar la respuesta.
LanzamientoDisponible
- Local y open source
Un nodo abierto de ComfyUI genera vídeo al ritmo de su reproducción con una sola GPU de consumo
ComfyUI contó el 8 de octubre cómo ha conseguido que MiniMax H3 siga el ritmo de la reproducción con una sola GPU: 15 segundos de vídeo en 15 segundos o menos, a 448 por 256, en una RTX 5090 de 32 GB. El nodo, ComfyStreamerH3, está publicado como código abierto en GitHub. El punto de partida es el coste: sostiene que mantener estos modelos funcionando sin parar puede costar más de 6.000 dólares al día, lo que los deja fuera del alcance de cualquiera.
LanzamientoDisponible
- Local y open source
Google publica EmbeddingGemma 2 con licencia Apache 2.0, y cabe en un móvil con 191 MB de memoria
Google DeepMind publicó el 6 de octubre EmbeddingGemma 2, un modelo de incrustaciones que amplía el anterior más allá del texto para unificar código, imágenes, vídeo y audio en un mismo espacio. Está construido sobre la arquitectura Gemma 4, sale con licencia Apache 2.0 y tiene 740 millones de parámetros, pensado para ejecutarse en el propio dispositivo. Es modular: 270 millones bastan para trabajar sólo con texto, y los codificadores de visión y audio se añaden aparte, 170 y 300 millones más.
LanzamientoDisponible