¿Qué es la verificación formal y por qué ha sido un reto?La verificación formal es una técnica matemática para demostrar rigurosamente que el software cumple con sus especificaciones. A pesar de su potencial para prevenir errores críticos, ha sido tradicionalmente limitada a nichos muy especializados, principalmente por su alta complejidad y barreras de entrada en …
De Siri a PolyAI: la nueva apuesta en IA de vozPolyAI, fundada por Nikola Mrkšić, ex desarrollador de Siri, se ha consolidado como una de las startups más prometedoras en el ámbito de la IA aplicada. Tras su reciente ronda Serie D por US$ 70 millones, la compañía alcanzó una valoración de US$ 750 millones, …
¿Qué es lo que realmente buscan los inversionistas de venture capital en Latinoamérica?En el contexto actual, la inversión de venture capital en Latinoamérica ha adoptado un rigor renovado. Las prioridades han evolucionado tras los años de abundancia de capital hacia una agenda que privilegia la sostenibilidad financiera, la regulación y la capacidad de adaptación de …
Nvidia refuerza su apuesta por el open sourceEn un movimiento estratégico relevante para el sector tecnológico, Nvidia ha fortalecido su presencia en el ecosistema de código abierto (opensource) con la adquisición de SchedMD, compañía líder en el desarrollo de Slurm, el gestor de cargas de trabajo más utilizado en supercomputación (HPC) y clústeres de IA. …
Plurall: representación colombiana en el Foro Económico MundialPlurall se posicionó como la única startup tecnológica de Colombia invitada al prestigioso encuentro mundial de innovadores del Foro Económico Mundial (WEF) celebrado en Nueva York los días 3 y 4 de diciembre de 2025. En este evento, se dieron cita líderes globales, emprendedores y referentes de la …
PolyAI: nueva ronda Serie D y su crecimiento en la industria de IA para servicio al clientePolyAI, una startup londinense especializada en inteligencia artificial conversacional, ha asegurado 86 millones de dólares en una ronda Serie D codirigida por Georgian, Hedosophia y Khosla Ventures. Esta inversión eleva su valoración a 750 millones de dólares, reafirmando la …
Panorama actual del emprendimiento en gestión empresarialEn los últimos años, el ecosistema de startups españolas que ofrecen soluciones de gestión empresarial ha mostrado un crecimiento acelerado, impulsado tanto por regulaciones como la implementación progresiva del sistema Verifactu de Hacienda como por la urgente necesidad de digitalización en pymes y autónomos. Este entorno ha favorecido la …
El contexto detrás del cierre de la Homeowners Card de MesaLa fintech Mesa ha decidido cerrar su producto Homeowners Card, una tarjeta de crédito orientada a recompensar a los usuarios por pagar sus hipotecas. Este movimiento marca un giro relevante dentro de las tendencias fintech, especialmente en los modelos de recompensa y fidelización vinculados a …
Impacto de la actualización iOS 26.2 en la seguridad móvilEl lanzamiento de iOS 26.2, junto con iPadOS 26.2 y macOS 26.2, marca un esfuerzo significativo de Apple para reforzar la ciberseguridad en sus dispositivos. Esta actualización aborda más de 20 vulnerabilidades de seguridad, incluidas dos que estaban siendo activamente explotadas en entornos reales, poniendo tanto …
Contexto de la adquisición y sus protagonistasLa reciente adquisición de Zivver, una firma holandesa especializada en seguridad de datos, por parte de la estadounidense Kiteworks ha generado preocupación sobre la privacidad y protección de datos sensibles en Europa. Kiteworks, fundada por antiguos agentes de inteligencia israelíes, ahora controla sistemas usados por hospitales, entidades públicas y …
Noticias del ecosistema startup en 2 minutos. Gratis, todos los días.
