Axiom Math convirtió 7.500 páginas de matemáticas en 16 millones de líneas verificables Axiom Math afirma haber formalizado el Stacks Project, una referencia matemática abierta de unas 7.500 páginas, en cerca de 16 millones de líneas de código Lean revisadas por computadora. La cifra importa porque no se trata de un ejercicio de laboratorio: según …
Sierra compra Anon y ataca el paso que ningún agente resuelve Anon había levantado más de US$13 millones y ya operaba agentes en producción para empresas de banca, salud y software empresarial. Ahora su equipo y su tecnología pasan a Sierra, que anunció la adquisición el 5 de noviembre de 2026. Los términos económicos de …
Un QR que cambia cada 15 segundos y un feed que no se puede apagar El código QR que abre el torno de un gimnasio cambia cada 15 segundos y la app que lo genera no permite desactivar el feed social que lo rodea. Un desarrollador que llevaba más de 12 años sin usar redes …
Supernormal busca 900.000 euros y reserva 200.000 para sus clientes Supernormal quiere 900.000 euros para abrir dos tiendas nuevas en Madrid, y ya tiene 600.000 comprometidos. El supermercado de alimentos ecológicos, de calidad y proximidad fundado por Fernando Usera y Almudena Peña ha puesto en marcha una ronda de financiación participativa a través de Goparity, …
Blumar y Agrosuper: los términos de la operación Blumar, la compañía ligada a la familia Sarquis, negocia la venta de su negocio salmonero a Empresas Agrosuper, que opera en el sector a través de AquaChile. La valorización de Salmones Blumar alcanza hasta US$540 millones como valor empresa, sobre una base libre de deuda y caja. …
Bioactivo concretó la primera venta agrícola de humalita de Curanilahue 20 toneladas de humalita —un mineral derivado del carbón que se extrae en Curanilahue— salieron de la cuenca carbonífera del Biobío con destino a 120 hectáreas de paltos y cítricos. Es la primera venta de este mineral con uso agrícola que cierra la empresa Bioactivo, …
Nasdaq 100 cae 4%: la venta de acciones de IA ya borro 35% del sector de chips El Nasdaq 100 perdio un 4% el jueves y el indice que agrupa a los gigantes de los semiconductores acumula una caida del 35% desde el record que marco en junio, segun Bloomberg. La lectura para un founder …
La creatividad ya no compite contra la tecnología El gasto publicitario mediado por inteligencia artificial en Estados Unidos crecerá 63% en 2026 hasta US$57.000 millones, equivalente al 12% de toda la inversión publicitaria del país, según la estimación de la consultora Madison and Wall que recogió Business Insider. No es un experimento de laboratorio: es …
Medellín suma más de 42 talleres gratuitos de IA en la comuna 13 Medellín tendrá más de 42 talleres gratuitos sobre inteligencia artificial, con actividades de nivel básico, intermedio y avanzado, como parte de la agenda académica de INMERXIA. La sede será el C4TA, la Ciudadela para la Cuarta Revolución ubicada en la comuna 13, …
Top Community 2026: 50 responsables de marketing se encierran en Ibiza Top Community 2026, el encuentro organizado por Play The Game, celebró su cuarta edición en Ibiza del 28 al 30 de octubre con 50 profesionales y decisores de marketing. Entre los participantes hubo representantes de YouTube, KFC, ESIC, Visa, BYD, Pepsico ElPozo, Lactalis, Totto, …
Noticias del ecosistema startup en 2 minutos. Gratis, todos los días.
