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 «Swarat Chaudhuri»
Más recientes primero · Hasta 30 noticias por página
India TodayGoogle AI demuestra que nadie puede leer tus chats privados de WhatsApp y Signal
Google DeepMind logró un hito en ciberseguridad al usar una IA llamada AlphaProof Code para verificar matemáticamente el protocolo criptográfico de Signal hasta el nivel de código máquina. Esto demuestra que el código subyacente es seguro sin errores, lo cual es un avance significativo para proteger las comunicaciones privadas de usuarios. El objetivo es usar la IA para detectar errores de código antes de que sean explotados por hackers, buscando hacer la infraestructura crítica completamente a prueba de hackeos.
9to5MacAnálisis de Google DeepMind verifica la seguridad del cifrado de Signal y WhatsApp
Google DeepMind ha verificado formalmente la seguridad del protocolo de cifrado utilizado por Signal y WhatsApp. Este protocolo, que es el estándar de oro para mensajería cifrada de extremo a extremo, ha sido validado mediante pruebas matemáticas rigurosas. Los investigadores señalan que este es un avance significativo, aunque queda un camino largo por recorrer para aplicarlo a todo el software global.
The RegisterGoogle DeepMind une humanos y agentes de IA para verificar las técnicas de mensajería segura de Signal
Google DeepMind verificó formalmente la seguridad del protocolo de mensajería Signal utilizando AlphaProof Code, una herramienta que combina agentes humanos y de IA para verificar la implementación del código. Este proceso validó la seguridad de las técnicas de apretón de manos poscuántico y el Triple Ratchet de Signal, avanzando hacia la especificación formal de la seguridad en el código. Los investigadores señalan que este método puede reducir significativamente el costo de la verificación formal de software.
arXiv Computer Science AIEntendiendo los desafíos en la optimización generativa iterativa con LLMs
Se investiga la optimización generativa iterativa con LLMs, encontrando que su fragilidad se debe a decisiones de diseño no explícitas sobre qué editar y qué evidencia de aprendizaje proporcionar. Se analizan tres factores clave, como el artefacto inicial y el horizonte de crédito, para determinar el éxito de la optimización en diferentes escenarios. Se propone una regla de tamaño de lote y horizonte de crédito calibrada para transferir a otros modelos.
Washington Square NewsNYU otorga a Rebecca Skloot $100K por combinar ciencia y narración
La NYU otorgó a Rebecca Skloot un premio de $100,000 por su novela "La vida inmortal de Henrietta Lacks", un trabajo que combina ciencia y narrativa. La Fundación Axinn también donó $5.2 millones para becas de posgrado en escritura creativa. El premio reconoce la escritura que aborda temas históricos desde la perspectiva de los valores humanos.
ClarínMétodo insólito para traficar cocaína ocultando ladrillos en ruedas de queso
Una red criminal en Inglaterra ocultaba cocaína dentro de ruedas de queso para su distribución. La investigación desarticuló la organización, resultando en 18 condenas y penas superiores a 220 años de cárcel. La droga fue transportada a través de camiones refrigerados y diversos depósitos industriales.