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 «Chirodeep Chaudhuri»
Más recientes primero · Hasta 30 noticias por página
Scroll.inKhan Shamim Akhtar ha hecho de Gaza su objeto
El artista Khan Shamim Akhtar ha hecho de Gaza su tema artístico, siendo uno de los pocos que lo ha abordado de manera constante. Su obra explora temas como el genocidio y la destrucción de futuras generaciones, utilizando materiales como el korai para expresar su identidad y las catástrofes globales. El artista ha recibido varios premios por su creatividad y su compromiso con temas sociales complejos.
The Cornell Daily SunEncuesta sobre el cambio de añadir/eliminar de facultades muestra que los estudiantes quieren examen antes de la fecha límite de eliminación
Una encuesta estudiantil reveló que más del 70% de los encuestados necesita los resultados de un examen para decidir si se quedan en un curso. La Senato de Facultad discutió una propuesta para acortar el período de añadir/eliminar de nueve a dos semanas. La Asamblea Estudiantil propuso reducir el plazo a cinco semanas, sugiriendo que se administren exámenes preliminares antes de la decisión final. Varios profesores expresaron preocupaciones sobre el impacto en la exploración de cursos y la carga de trabajo.
XatakaVerificar el código de Signal era un reto que llevaba años de trabajo de expertos. DeepMind dice que su IA lo ha hecho en un mes
Google DeepMind ha utilizado su IA para verificar matemáticamente partes clave del código del protocolo de cifrado de Signal, demostrando que el sistema funciona como se espera. El sistema AlphaProof Code combinó IA y expertos humanos para verificar la implementación real del código, lo que representa un avance en la seguridad del software. Los investigadores señalan que este método ofrece mayor confianza en las garantías de privacidad de Signal, aunque queda camino por recorrer para aplicarlo a todo el software.
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.