Claude lleva la verificación formal a 123 librerías

Desarrollador analizando código de seguridad con inteligencia artificial para la verificación formal de librerías software.

Claude demostró propiedades de seguridad directamente sobre el código ensamblador de 123 librerías de código abierto, cubriendo 239 puntos de entrada con pruebas que no requirieron intervención humana. La verificación formal —demostrar con matemáticas que un programa nunca viola una regla— dejó de ser un privilegio de la aviónica y pasó a ser una técnica …

Leer más

Branson: Venezuela necesita elecciones para invertir

Richard Branson en Venezuela analizando el impacto del Estado de derecho y la inversión extranjera en el ecosistema startup.

Branson en Caracas: el capital espera reglas, no entusiasmo Sir Richard Branson puso un número sobre la mesa: 18 meses. «Mucho depende, obviamente, de los próximos 18 meses», dijo el fundador de Virgin en un encuentro con seis medios venezolanos, entre ellos El Nacional, después de inaugurar el Startup Venezuela Summit 2026 en Caracas Campus, …

Leer más

ChatGPT Ads llega a Argentina, Chile, Colombia y Perú

Estrategia de publicidad en ChatGPT Ads para startups en América Latina, mostrando la expansión de monetización de OpenAI.

Qué cambió exactamente con ChatGPT Ads OpenAI amplió ChatGPT Ads a 26 nuevos mercados, y 14 de ellos están en América Latina, incluidos Argentina, Chile, Colombia y Perú. Con este movimiento, la plataforma publicitaria llega a 89 países en total, según confirmó la compañía y reportó CNBC. El cambio operativo es concreto: los usuarios de …

Leer más

CNA investiga vales de despensa y pagos en México

Investigación antimonopolio de la CNA sobre el mercado de vales de despensa y pagos electrónicos en México.

Qué investiga la CNA en el mercado de vales de despensa La Comisión Nacional Antimonopolio (CNA) —el regulador de competencia de México— abrió una investigación por posibles prácticas monopólicas relativas en la aceptación de vales de despensa y medios de pago electrónico en comercios minoristas del país. El expediente, identificado como DE-014-2026, se dio a …

Leer más

Wevy lleva su nube mexicana con data center en Querétaro al ERP Summit

Infraestructura de nube mexicana y data center de Wevy en Querétaro para startups y ERP.

Wevy apuesta por una nube «mexicana» con estándares globales Wevy, multinacional latinoamericana de cloud computing, presentó en el ERP Summit México 2026 —celebrado el 6 de octubre en la Ciudad de México— un modelo de infraestructura que promete combinar la capacidad de los grandes proveedores globales con las ventajas de operar localmente: facturación en pesos …

Leer más

MassChallenge abre reto foodtech 2027 con CHF 1.000

Startup foodtech participando en el Sustainable Food Challenge de MassChallenge para innovación sostenible.

¿Qué es el Sustainable Food Challenge 2027 de MassChallenge? MassChallenge Switzerland abrió la convocatoria del Sustainable Food Challenge 2027, un programa que busca startups y scaleups con soluciones para transformar la manera en que se producen, distribuyen o aprovechan los alimentos. El cierre es el 25 de noviembre de 2026 y la participación es gratuita, …

Leer más

a16z Crypto pasa a ser a16z Frontier: IA y robótica

Transformación de a16z Crypto a a16z Frontier, enfocándose en la inversión en IA, robótica y nuevas tecnologías disruptivas.

a16z Crypto se llama ahora a16z Frontier a16z Crypto, la división de activos digitales de Andreessen Horowitz, tiene nombre nuevo: a16z Frontier. La firma lo anunció este jueves y con el cambio llegó un mandato más ancho: ya no solo blockchain, también inteligencia artificial, robótica y «nuevos tipos de redes» que conectan humanos y máquinas. …

Leer más

Anthropic dona Agent Skills: el estándar pasa a AAIF

Anthropic dona Agent Skills a la Agentic AI Foundation para estandarizar el desarrollo de agentes de inteligencia artificial.

Anthropic dona Agent Skills: el estándar de agentes pasa a manos neutrales Anthropic anunció que dona Agent Skills —el formato abierto que permite dar a los agentes de IA nuevas capacidades y conocimiento especializado— a la Agentic AI Foundation (AAIF), el organismo alojado en la Linux Foundation que la propia compañía cofundó junto a Block …

Leer más

Aerolíneas Argentinas pierde US$63M por el combustible

Impacto financiero del aumento del combustible en Aerolíneas Argentinas y lecciones de gestión operativa para startups.

Aerolíneas Argentinas volvió al rojo: US$63 millones de pérdida en el primer semestre Aerolíneas Argentinas cerró el primer semestre de 2026 con una pérdida de US$63 millones (unos ARS$95.580 millones), después de dos años consecutivos con resultados positivos. El culpable tiene nombre y apellido: el precio del combustible aeronáutico, que según la compañía subió cerca …

Leer más

📡 El Daily Shot Startupero

Noticias del ecosistema startup en 2 minutos. Gratis, todos los días.