MathCode: el agente de IA que convierte problemas matemáticos en pruebas formales Lean 4 MathCode es un asistente de programación con IA que transforma problemas matemáticos en lenguaje natural en teoremas formalizados en Lean 4 y genera pruebas automáticas. Lanzado en abril de 2026 por Team Math-AI, este proyecto open source ya cuenta con 598 …
El pronóstico más duro de la NOAA: 81% de probabilidades de un El Niño «muy fuerte» en 2026 La Administración Nacional Oceánica y Atmosférica de Estados Unidos (NOAA) ha elevado su pronóstico a niveles alarmantes: existe un 81% de probabilidad de que el fenómeno de El Niño alcance la categoría de «muy fuerte» durante el …
LoreKit: el sistema de memoria open-source que resuelve la amnesia de tus agentes de IA Un agente de IA que ayer resolvió un bug complejo y hoy vuelve a cometer el mismo error porque no recuerda nada de la sesión anterior. Esta frustración diaria tiene solución: LoreKit, un sistema de memoria open-source y gratuito que …
OpenAI lanza Ultrafast: GPT-5.6 Sol a 14x su velocidad habitual gracias a los chips de Cerebras El 13 de agosto de 2026, OpenAI anunció Ultrafast, un nuevo nivel de servicio en su API que ejecuta GPT-5.6 Sol hasta 14 veces más rápido que el modo estándar. La métrica clave: 750 tokens de salida por segundo, …
MAI-Code-1.1-Flash: la nueva IA de Microsoft que compite con Claude Code Microsoft acaba de lanzar MAI-Code-1.1-Flash, un modelo de inteligencia artificial específicamente diseñado para tareas de programación dentro de GitHub Copilot. Según la compañía, esta nueva versión supera en calidad, velocidad y coste a su predecesor, y está posicionada para competir directamente con Claude Code …
Rintin conecta a más de 12.000 emprendedoras con proveedores verificados en México La startup mexicana Rintin ha revolucionado el comercio informal al conectar a más de 12.000 emprendedoras con fabricantes y proveedores verificados a través de una plataforma B2B impulsada por inteligencia artificial. Fundada por los argentinos Gastón Greco y Quinto Van Peborgh, la empresa …
Startup chilena crea tecnología para localizar mineros en tiempo real La startup chilena Obralink ha desarrollado OpusMesh, una plataforma que permite conocer en tiempo real dónde se encuentran trabajadores y equipos dentro de una faena minera, tanto en superficie como en operaciones subterráneas. Esta solución busca reducir los tiempos de respuesta ante emergencias y mejorar …
SMART Vitacura 2026 selecciona a Blue Monster y Grupo Sunflora con financiamiento de $10 millones La Municipalidad de Vitacura, a través del programa SMART Vitacura 2026, ha seleccionado a las startups Blue Monster y Grupo Sunflora para desarrollar pilotos tecnológicos que aborden desafíos estratégicos de la comuna. Ambas empresas recibirán hasta $10 millones cada una …
Google Gemini y Pixel: la nueva estrategia de Google para conquistar el fútbol mundial En agosto de 2026, Google está redefiniendo completamente su estrategia de patrocinio deportivo. En lugar de limitarse a colocar su logo en camisetas, la compañía está integrando profundamente sus productos Google Gemini y Google Pixel en el ecosistema del fútbol mundial. …
¿Por qué el affiliate marketing está recuperando protagonismo en 2026? El affiliate marketing o marketing de afiliados está experimentando un renacimiento estratégico en México y Latinoamérica, pero no por las razones tradicionales. Según Linda Ruiz, Regional Director de MGID Latam, el cambio fundamental viene de la inteligencia artificial y cómo está transformando la forma en …
Noticias del ecosistema startup en 2 minutos. Gratis, todos los días.