{"id":16046,"date":"2026-11-11T15:17:24","date_gmt":"2026-11-11T14:17:24","guid":{"rendered":"https:\/\/dailyai.com\/?p=16046"},"modified":"2026-11-11T15:17:24","modified_gmt":"2026-11-11T14:17:24","slug":"a-five-person-team-and-ai-proved-signals-code-in-four-weeks","status":"publish","type":"post","link":"https:\/\/dailyai.com\/es\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/","title":{"rendered":"Un equipo de cinco personas y la inteligencia artificial demostraron el c\u00f3digo de Signal en cuatro semanas"},"content":{"rendered":"

Cuatro semanas. Ese fue el tiempo que tard\u00f3 un equipo de cinco personas de Google DeepMind, trabajando con agentes de IA, en producir pruebas verificadas por m\u00e1quina de propiedades de seguridad clave en el c\u00f3digo compilado de la biblioteca de chat principal de Signal. Las pruebas abarcan aproximadamente 6,5 millones de l\u00edneas. Los esfuerzos anteriores de gran importancia en otros sistemas requirieron a\u00f1os de trabajo especializado y, por lo general, necesitaron que se escribiera c\u00f3digo para poder realizar las pruebas.<\/strong><\/p>\n\n\n\n

La publicaci\u00f3n de la investigaci\u00f3n, con fecha del 10 de noviembre de 2026, describe el m\u00e9todo y sus limitaciones.<\/a> El documento t\u00e9cnico adjunto presenta las cifras con mayor detalle.<\/a> Este trabajo no demuestra la eficacia de la aplicaci\u00f3n Signal en su conjunto, ni de otras aplicaciones que utilizan un dise\u00f1o similar. Se trata de una demostraci\u00f3n de propiedades espec\u00edficas de libsignal, la biblioteca de referencia, para sesiones individuales, llevada al c\u00f3digo m\u00e1quina compilado que se ejecuta en la pr\u00e1ctica.<\/p>\n\n\n\n

Lo que se demostr\u00f3<\/h2>\n\n\n\n

libsignal es la biblioteca que implementa el dise\u00f1o de cifrado de Signal. En t\u00e9rminos sencillos, este dise\u00f1o busca mantener la privacidad de un mensaje incluso si la clave es robada posteriormente, y recuperarse despu\u00e9s de que un dispositivo haya sido comprometido brevemente. Estas dos ideas se conocen generalmente como confidencialidad directa y seguridad posterior al compromiso.<\/p>\n\n\n\n

El equipo compil\u00f3 la biblioteca original (versi\u00f3n 0.105.4, junto con el paquete SPQR correspondiente, versi\u00f3n 1.6.0) con el compilador Rust est\u00e1ndar, creando una peque\u00f1a herramienta de l\u00ednea de comandos que se ejecuta en Linux Arm de 64 bits. Las pruebas se refieren a ese ejecutable, no a una reescritura optimizada. La biblioteca verificada tiene un tama\u00f1o aproximado de 560 KB, o unas 140\u00a0000 instrucciones de m\u00e1quina.<\/p>\n\n\n\n

El documento describe el protocolo de enlace PQXDH, que permite a dos personas iniciar una sesi\u00f3n privada, incluyendo un paso post-cu\u00e1ntico dise\u00f1ado para resistir a una futura computadora cu\u00e1ntica, y el Triple Ratchet, que genera una clave nueva para cada mensaje. En el modelo \u201csimb\u00f3lico\u201d, que considera la criptograf\u00eda subyacente como ideal, el documento tambi\u00e9n afirma que el protocolo de enlace es secreto frente a un posible atacante con una computadora cu\u00e1ntica. Los chats grupales, el remitente sellado y el protocolo del servidor se dejan como trabajo futuro.<\/p>\n\n\n\n

C\u00f3mo se realiz\u00f3 el trabajo<\/h2>\n\n\n\n

La verificaci\u00f3n formal consiste en escribir una declaraci\u00f3n matem\u00e1tica precisa sobre lo que el c\u00f3digo debe hacer y luego demostrar que cumple con dicha declaraci\u00f3n. Un solo supuesto err\u00f3neo puede debilitar el resultado, por lo que a\u00fan es necesario elegir qu\u00e9 demostrar y validar esa declaraci\u00f3n.<\/p>\n\n\n\n

El art\u00edculo deja claro que se trata de una divisi\u00f3n directa. Los humanos seleccionaron las propiedades, resolvieron las ambig\u00fcedades y aprobaron la especificaci\u00f3n. Posteriormente, los agentes escribieron las demostraciones. Estas demostraciones solo se aceptan si Lean, un sistema de verificaci\u00f3n de pruebas, las confirma. La fiabilidad del resultado, seg\u00fan los autores, no depende de la fiabilidad de los agentes que realizan las demostraciones, ya que el n\u00facleo de Lean verifica la l\u00f3gica.<\/p>\n\n\n\n

Seg\u00fan la publicaci\u00f3n de la investigaci\u00f3n, los agentes de prueba funcionaron con Gemini Carbon. El trabajo de verificaci\u00f3n en s\u00ed fue realizado por cinco investigadores durante cuatro semanas, cada uno ejecutando los agentes en su propia estaci\u00f3n de trabajo. Se trata de una campa\u00f1a breve para los est\u00e1ndares del sector. El art\u00edculo se\u00f1ala que el microkernel seL4, una verificaci\u00f3n anterior muy conocida, requiri\u00f3 veinte a\u00f1os-persona, y que el compilador CompCert C requiri\u00f3 seis. Ambos c\u00f3digos fuente se escribieron teniendo en cuenta la verificaci\u00f3n. libsignal no.<\/p>\n\n\n\n

Las pruebas en s\u00ed mismas pueden ser extensas porque tratan sobre c\u00f3digo m\u00e1quina. Aproximadamente 6,5 millones de l\u00edneas corresponden a las pruebas: 5,3 millones sobre el binario, adem\u00e1s de archivos separados para los dos modelos de seguridad. Un lector que desee confiar en las afirmaciones principales a\u00fan debe leer las partes confiables: aproximadamente 18\u00a0000 l\u00edneas de especificaci\u00f3n en el repositorio, m\u00e1s unas 8\u00a0000 l\u00edneas del modelo de c\u00f3digo m\u00e1quina Arm y los nombres de los s\u00edmbolos asignados al ejecutable. Las rutinas criptogr\u00e1ficas de bajo nivel, dos funciones de salida y algunas llamadas a bibliotecas se asumen por contrato, no se demuestran.<\/p>\n\n\n\n

Una comprobaci\u00f3n contra errores antiguos<\/h2>\n\n\n\n

Para comprobar si las afirmaciones eran lo suficientemente s\u00f3lidas, el equipo reintrodujo dos errores que los investigadores hab\u00edan encontrado previamente en libsignal y que ya se hab\u00edan corregido. En ambos casos, demostraron que el teorema de seguridad simb\u00f3lica no se cumple en el binario con el error. Esta es una comprobaci\u00f3n \u00fatil: una especificaci\u00f3n que a\u00fan se considere v\u00e1lida en c\u00f3digo con errores conocidos ser\u00eda demasiado d\u00e9bil.<\/p>\n\n\n\n

Uno de esos errores almacenaba el estado de una nueva sesi\u00f3n, incluyendo una copia de un secreto, despu\u00e9s de que un mensaje de preclave solo se hubiera descifrado en una sesi\u00f3n anterior. El otro aceptaba un protocolo de enlace cuya clave base hab\u00eda sido alterada, creando una segunda sesi\u00f3n con el mismo secreto compartido.<\/p>\n\n\n\n

Lo que el resultado no dice<\/h2>\n\n\n\n

Los autores son meticulosos y las limitaciones son importantes. Las demostraciones no abarcan todas las partes de Signal, todos los posibles ataques ni las primitivas criptogr\u00e1ficas en s\u00ed mismas. Los canales laterales quedan fuera del alcance. La demostraci\u00f3n computacional, que intenta acotar la probabilidad de \u00e9xito de un atacante real, no ofrece ninguna garant\u00eda contra un adversario cu\u00e1ntico, y su l\u00edmite se vuelve in\u00fatil para sesiones largas con muchas rondas.<\/p>\n\n\n\n

El documento se\u00f1ala que se utilizan variantes del mismo protocolo en WhatsApp, Messenger de Meta y Google Messages. Sin embargo, estas aplicaciones no eran el objeto de la prueba. Una prueba sobre libsignal no se aplica autom\u00e1ticamente a todos los productos que utilizan un lenguaje similar.<\/p>\n\n\n\n

Ehren Kret, director de tecnolog\u00eda de Signal, afirma en el art\u00edculo de investigaci\u00f3n que verificar rigurosamente la implementaci\u00f3n del protocolo \u201cnos da a\u00fan mayor confianza en las garant\u00edas de privacidad de nuestro c\u00f3digo\u201d.<\/p>\n\n\n\n

Las pruebas y especificaciones se publican en un repositorio abierto.<\/a><\/p>\n\n\n\n

Por qu\u00e9 es importante<\/h2>\n\n\n\n

La mayor\u00eda de las personas que env\u00edan un mensaje privado nunca ven la biblioteca que lo cifra. Un m\u00e9todo que permita verificar el c\u00f3digo compilado de esa biblioteca en semanas, en lugar de a\u00f1os-persona, representa un cambio pr\u00e1ctico en la forma en que se puede auditar este tipo de software. No es un certificado que garantice que Signal, o cualquier otra aplicaci\u00f3n de chat, est\u00e9 libre de fallos. Es un argumento verificado por m\u00e1quina sobre propiedades espec\u00edficas de una biblioteca central, generado con la suficiente rapidez como para que otros c\u00f3digos cr\u00edticos puedan ser los siguientes en ser analizados.<\/p>\n\n\n\n

La mayor\u00eda de los productos de chat de uso diario a\u00fan no cuentan con dicha prueba, y algunas herramientas populares ni siquiera cifran los mensajes de extremo a extremo. Un informe anterior trataba sobre una herramienta de chat para consumidores que env\u00eda mensajes de texto sin esa protecci\u00f3n.<\/a><\/p>","protected":false},"excerpt":{"rendered":"

Un equipo de cinco personas de Google DeepMind, en colaboraci\u00f3n con agentes de IA, gener\u00f3 aproximadamente 6,5 millones de l\u00edneas de pruebas verificadas autom\u00e1ticamente para la biblioteca de chat individual de Signal en cuatro semanas. Las pruebas abarcan propiedades espec\u00edficas del c\u00f3digo compilado, no la aplicaci\u00f3n completa.<\/p>","protected":false},"author":16,"featured_media":16047,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-16046","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry"],"yoast_head":"\nA Five-Person Team and AI Proved Signal\u2019s Code in Four Weeks<\/title>\n<meta name=\"description\" content=\"A five-person DeepMind team and AI agents proved specified properties of Signal\u2019s chat library in four weeks, with 6.5 million lines of checked proofs.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/dailyai.com\/es\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"A Five-Person Team and AI Proved Signal\u2019s Code in Four Weeks\" \/>\n<meta property=\"og:description\" content=\"A five-person DeepMind team and AI agents proved specified properties of Signal\u2019s chat library in four weeks, with 6.5 million lines of checked proofs.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/dailyai.com\/es\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/\" \/>\n<meta property=\"og:site_name\" content=\"DailyAI\" \/>\n<meta property=\"article:published_time\" content=\"2026-11-11T14:17:24+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/11\/dai-house-16046.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1472\" \/>\n\t<meta property=\"og:image:height\" content=\"832\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"David Merry\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:creator\" content=\"@DailyAIOfficial\" \/>\n<meta name=\"twitter:site\" content=\"@DailyAIOfficial\" \/>\n<meta name=\"twitter:label1\" content=\"Escrito por\" \/>\n\t<meta name=\"twitter:data1\" content=\"David Merry\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tiempo de lectura\" \/>\n\t<meta name=\"twitter:data2\" content=\"5 minutos\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"NewsArticle\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/11\\\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/11\\\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\\\/\"},\"author\":{\"name\":\"David Merry\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/person\\\/285a97adb64b88751ac3440ece6b08a1\"},\"headline\":\"A Five-Person Team and AI Proved Signal\u2019s Code in Four Weeks\",\"datePublished\":\"2026-11-11T14:17:24+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/11\\\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\\\/\"},\"wordCount\":979,\"publisher\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/11\\\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/11\\\/dai-house-16046.jpg\",\"inLanguage\":\"es\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/11\\\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\\\/\",\"url\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/11\\\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\\\/\",\"name\":\"A Five-Person Team and AI Proved Signal\u2019s Code in Four Weeks\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/11\\\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/11\\\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/11\\\/dai-house-16046.jpg\",\"datePublished\":\"2026-11-11T14:17:24+00:00\",\"description\":\"A five-person DeepMind team and AI agents proved specified properties of Signal\u2019s chat library in four weeks, with 6.5 million lines of checked proofs.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/11\\\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\\\/#breadcrumb\"},\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/dailyai.com\\\/2026\\\/11\\\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/11\\\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\\\/#primaryimage\",\"url\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/11\\\/dai-house-16046.jpg\",\"contentUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/11\\\/dai-house-16046.jpg\",\"width\":1472,\"height\":832,\"caption\":\"Flat navy padlock and red key in front of two geometric message bubbles on a cream background.\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/11\\\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/dailyai.com\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"A Five-Person Team and AI Proved Signal\u2019s Code in Four Weeks\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#website\",\"url\":\"https:\\\/\\\/dailyai.com\\\/\",\"name\":\"DailyAI\",\"description\":\"The AI economy, measured.\",\"publisher\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/dailyai.com\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"es\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\",\"name\":\"DailyAI\",\"url\":\"https:\\\/\\\/dailyai.com\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2023\\\/06\\\/Daily-Ai_TL_colour.png\",\"contentUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2023\\\/06\\\/Daily-Ai_TL_colour.png\",\"width\":4501,\"height\":934,\"caption\":\"DailyAI\"},\"image\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/x.com\\\/DailyAIOfficial\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/dailyaiofficial\\\/\",\"https:\\\/\\\/www.youtube.com\\\/@DailyAIOfficial\"],\"legalName\":\"Zero Hour Investments FZCO\",\"foundingDate\":\"2023\",\"slogan\":\"The AI economy, measured.\",\"description\":\"DailyAI tracks the AI economy in numbers: data trackers, research and plain-English news on jobs, spending, pricing and funding.\",\"address\":{\"@type\":\"PostalAddress\",\"addressCountry\":\"AE\"},\"contactPoint\":{\"@type\":\"ContactPoint\",\"contactType\":\"customer support\",\"url\":\"https:\\\/\\\/dailyai.com\\\/contact\\\/\"},\"founder\":{\"@type\":\"Person\",\"name\":\"David Merry\",\"url\":\"https:\\\/\\\/dailyai.com\\\/author\\\/davidmerry\\\/\",\"sameAs\":[\"https:\\\/\\\/www.linkedin.com\\\/in\\\/davidmerry\\\/\"]}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/person\\\/285a97adb64b88751ac3440ece6b08a1\",\"name\":\"David Merry\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/david-merry-dailyai.jpg\",\"url\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/david-merry-dailyai.jpg\",\"contentUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/david-merry-dailyai.jpg\",\"caption\":\"David Merry\"},\"description\":\"David Merry is the founder of DailyAI and a London-based entrepreneur. He co-founded Kyro, is a partner at Ki and writes about AI's impact on business, markets and everyday life.\",\"sameAs\":[\"https:\\\/\\\/www.linkedin.com\\\/in\\\/davidmerry\\\/\"],\"url\":\"https:\\\/\\\/dailyai.com\\\/es\\\/author\\\/davidmerry\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Un equipo de cinco personas y la inteligencia artificial demostraron el c\u00f3digo de Signal en cuatro semanas","description":"Un equipo de cinco personas de DeepMind y agentes de IA demostraron propiedades espec\u00edficas de la biblioteca de chat de Signal en cuatro semanas, con 6,5 millones de l\u00edneas de pruebas verificadas.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/dailyai.com\/es\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/","og_locale":"es_ES","og_type":"article","og_title":"A Five-Person Team and AI Proved Signal\u2019s Code in Four Weeks","og_description":"A five-person DeepMind team and AI agents proved specified properties of Signal\u2019s chat library in four weeks, with 6.5 million lines of checked proofs.","og_url":"https:\/\/dailyai.com\/es\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/","og_site_name":"DailyAI","article_published_time":"2026-11-11T14:17:24+00:00","og_image":[{"width":1472,"height":832,"url":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/11\/dai-house-16046.jpg","type":"image\/jpeg"}],"author":"David Merry","twitter_card":"summary_large_image","twitter_creator":"@DailyAIOfficial","twitter_site":"@DailyAIOfficial","twitter_misc":{"Escrito por":"David Merry","Tiempo de lectura":"5 minutos"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"NewsArticle","@id":"https:\/\/dailyai.com\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/#article","isPartOf":{"@id":"https:\/\/dailyai.com\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/"},"author":{"name":"David Merry","@id":"https:\/\/dailyai.com\/#\/schema\/person\/285a97adb64b88751ac3440ece6b08a1"},"headline":"A Five-Person Team and AI Proved Signal\u2019s Code in Four Weeks","datePublished":"2026-11-11T14:17:24+00:00","mainEntityOfPage":{"@id":"https:\/\/dailyai.com\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/"},"wordCount":979,"publisher":{"@id":"https:\/\/dailyai.com\/#organization"},"image":{"@id":"https:\/\/dailyai.com\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/#primaryimage"},"thumbnailUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/11\/dai-house-16046.jpg","inLanguage":"es"},{"@type":"WebPage","@id":"https:\/\/dailyai.com\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/","url":"https:\/\/dailyai.com\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/","name":"Un equipo de cinco personas y la inteligencia artificial demostraron el c\u00f3digo de Signal en cuatro semanas","isPartOf":{"@id":"https:\/\/dailyai.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/dailyai.com\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/#primaryimage"},"image":{"@id":"https:\/\/dailyai.com\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/#primaryimage"},"thumbnailUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/11\/dai-house-16046.jpg","datePublished":"2026-11-11T14:17:24+00:00","description":"Un equipo de cinco personas de DeepMind y agentes de IA demostraron propiedades espec\u00edficas de la biblioteca de chat de Signal en cuatro semanas, con 6,5 millones de l\u00edneas de pruebas verificadas.","breadcrumb":{"@id":"https:\/\/dailyai.com\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["https:\/\/dailyai.com\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/"]}]},{"@type":"ImageObject","inLanguage":"es","@id":"https:\/\/dailyai.com\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/#primaryimage","url":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/11\/dai-house-16046.jpg","contentUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/11\/dai-house-16046.jpg","width":1472,"height":832,"caption":"Flat navy padlock and red key in front of two geometric message bubbles on a cream background."},{"@type":"BreadcrumbList","@id":"https:\/\/dailyai.com\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/dailyai.com\/"},{"@type":"ListItem","position":2,"name":"A Five-Person Team and AI Proved Signal\u2019s Code in Four Weeks"}]},{"@type":"WebSite","@id":"https:\/\/dailyai.com\/#website","url":"https:\/\/dailyai.com\/","name":"DailyAI","description":"La econom\u00eda de la IA, medida.","publisher":{"@id":"https:\/\/dailyai.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/dailyai.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"es"},{"@type":"Organization","@id":"https:\/\/dailyai.com\/#organization","name":"DailyAI","url":"https:\/\/dailyai.com\/","logo":{"@type":"ImageObject","inLanguage":"es","@id":"https:\/\/dailyai.com\/#\/schema\/logo\/image\/","url":"https:\/\/dailyai.com\/wp-content\/uploads\/2023\/06\/Daily-Ai_TL_colour.png","contentUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2023\/06\/Daily-Ai_TL_colour.png","width":4501,"height":934,"caption":"DailyAI"},"image":{"@id":"https:\/\/dailyai.com\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/x.com\/DailyAIOfficial","https:\/\/www.linkedin.com\/company\/dailyaiofficial\/","https:\/\/www.youtube.com\/@DailyAIOfficial"],"legalName":"Zero Hour Investments FZCO","foundingDate":"2023","slogan":"The AI economy, measured.","description":"DailyAI sigue la econom\u00eda de la IA en cifras: rastreadores de datos, an\u00e1lisis y noticias en lenguaje claro sobre empleo, inversi\u00f3n, precios y financiaci\u00f3n.","address":{"@type":"PostalAddress","addressCountry":"AE"},"contactPoint":{"@type":"ContactPoint","contactType":"customer support","url":"https:\/\/dailyai.com\/contact\/"},"founder":{"@type":"Person","name":"David Merry","url":"https:\/\/dailyai.com\/author\/davidmerry\/","sameAs":["https:\/\/www.linkedin.com\/in\/davidmerry\/"]}},{"@type":"Person","@id":"https:\/\/dailyai.com\/#\/schema\/person\/285a97adb64b88751ac3440ece6b08a1","name":"David Merry","image":{"@type":"ImageObject","inLanguage":"es","@id":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/david-merry-dailyai.jpg","url":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/david-merry-dailyai.jpg","contentUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/david-merry-dailyai.jpg","caption":"David Merry"},"description":"David Merry es el fundador de DailyAI y un emprendedor afincado en Londres. Es cofundador de Kyro, socio de Ki y escribe sobre el impacto de la IA en los negocios, los mercados y la vida cotidiana.","sameAs":["https:\/\/www.linkedin.com\/in\/davidmerry\/"],"url":"https:\/\/dailyai.com\/es\/author\/davidmerry\/"}]}},"_links":{"self":[{"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/posts\/16046","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/users\/16"}],"replies":[{"embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/comments?post=16046"}],"version-history":[{"count":1,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/posts\/16046\/revisions"}],"predecessor-version":[{"id":16048,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/posts\/16046\/revisions\/16048"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/media\/16047"}],"wp:attachment":[{"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/media?parent=16046"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/categories?post=16046"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/tags?post=16046"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}