Buscar noticias
Buscá por texto y descubrí noticias relacionadas con tu consulta.
Noticias relevantes
Hasta 10 noticias relacionadas por su significado, ordenadas por relevancia.
No encontramos noticias relacionadas por su significado.
Noticias encontradas
Coincidencias por palabras en títulos, resúmenes, temas, personas, lugares o firmas.
Resultados para «Ehren Kret»
Más recientes primero · Hasta 30 noticias por página
SecurityWeekGoogle amplía el acceso a Gemini 4 Carbon tras verificación de código por agentes de IA
Google ha ampliado el acceso a Gemini 4 Carbon para desarrolladores y empresas, permitiendo verificar formalmente garantías de seguridad en el código del protocolo Signal. Esto se logró mediante el uso de agentes de IA para generar pruebas matemáticas que validan propiedades como el secreto hacia adelante y la seguridad post-compromiso. Los resultados sugieren que la IA puede hacer práctica la verificación formal de software, aumentando la confianza en las garantías de privacidad del código.
The Next WebLas recompras de acciones de las grandes tecnológicas caen un 83% mientras el gasto en IA consume el efectivo, informa Reuters
Las recompras de acciones de Microsoft, Alphabet, Amazon, Meta y Oracle cayeron un 83% interanual hasta 13.600 millones de dólares en los primeros nueve meses de 2026, según un análisis de Reuters con datos de LSEG. Estas cinco compañías devolvieron solo el 9,3% del efectivo generado, la proporción más baja en 15 años, frente al 27,4% previo. Su flujo de caja operativo subió un 29% a un récord de 542.900 millones, pero el capex se duplicó a 556.900 millones, superando por primera vez el efectivo generado y dejando un déficit de flujo de caja libre de 14.000 millones. Alphabet y Meta no recompraron acciones; Amazon recaudó 48.100 millones en deuda.