{"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\/it\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/","title":{"rendered":"Un team di cinque persone e l'intelligenza artificiale hanno dimostrato il codice di Signal in quattro settimane"},"content":{"rendered":"

Quattro settimane. Tanto \u00e8 durato per un team di cinque persone di Google DeepMind, che ha lavorato con agenti di intelligenza artificiale, per produrre prove verificate automaticamente delle principali propriet\u00e0 di sicurezza nel codice compilato della libreria di chat principale di Signal. Le prove si estendono per circa 6,5 milioni di righe. Precedenti iniziative di rilievo su altri sistemi hanno richiesto anni di lavoro specialistico e, di solito, la scrittura di codice per la verifica.<\/strong><\/p>\n\n\n\n

Il documento di ricerca, datato 10 novembre 2026, illustra il metodo e i suoi limiti.<\/a> Il documento tecnico allegato riporta i dati in modo pi\u00f9 dettagliato.<\/a> Questo lavoro non costituisce una validazione dell'app Signal nel suo complesso, n\u00e9 di altre app che utilizzano un design simile. Si tratta piuttosto di una validazione di specifiche propriet\u00e0 di libsignal, la libreria di riferimento, per le sessioni one-to-one, estese al codice macchina compilato che viene effettivamente eseguito.<\/p>\n\n\n\n

Ci\u00f2 che \u00e8 stato dimostrato<\/h2>\n\n\n\n

libsignal \u00e8 la libreria che implementa il design di crittografia di Signal. In parole semplici, questo design \u00e8 concepito per mantenere un messaggio privato anche se la chiave viene rubata in un secondo momento e per ripristinare la sicurezza dopo che un dispositivo \u00e8 stato temporaneamente compromesso. Questi due concetti sono generalmente noti come forward secrecy e post-compromise security.<\/p>\n\n\n\n

Il team ha compilato la libreria non modificata \u2014 versione 0.105.4, pi\u00f9 la relativa crate SPQR alla versione 1.6.0 \u2014 con il normale compilatore Rust, ottenendo un piccolo strumento da riga di comando eseguibile su Arm Linux a 64 bit. Le dimostrazioni riguardano questo eseguibile, non una sua riscrittura ottimizzata. La libreria verificata ha una dimensione di circa 560 KB, ovvero circa 140.000 istruzioni macchina.<\/p>\n\n\n\n

Il documento descrive l'handshake PQXDH, ovvero il metodo con cui due persone avviano una sessione privata, includendo una fase post-quantistica pensata per resistere a un futuro computer quantistico, e il Triple Ratchet, che genera una nuova chiave per ogni messaggio. Nel modello \u201csimbolico\u201d, che considera la crittografia sottostante come ideale, il documento afferma inoltre che l'handshake garantisce la segretezza contro un eventuale attacco futuro da parte di un computer quantistico. Le chat di gruppo, il mittente sigillato e il protocollo lato server sono invece oggetto di studi futuri.<\/p>\n\n\n\n

Come \u00e8 stato svolto il lavoro<\/h2>\n\n\n\n

La verifica formale consiste nello scrivere un'affermazione matematica precisa su ci\u00f2 che il codice deve fare, per poi dimostrare che il codice soddisfa tale affermazione. Anche una sola ipotesi mancante pu\u00f2 indebolire il risultato, quindi \u00e8 comunque necessario che qualcuno scelga cosa dimostrare e approvi tale affermazione.<\/p>\n\n\n\n

L'articolo \u00e8 esplicito riguardo alla separazione dei ruoli. Gli esseri umani hanno selezionato le propriet\u00e0, risolto le ambiguit\u00e0 e approvato la specifica. Gli agenti hanno poi scritto le dimostrazioni. Queste dimostrazioni vengono accettate solo se Lean, un sistema di verifica delle dimostrazioni, le conferma. L'affidabilit\u00e0 del risultato, scrivono gli autori, non dipende dall'affidabilit\u00e0 degli agenti di verifica, perch\u00e9 il nucleo di Lean controlla la logica.<\/p>\n\n\n\n

Il post di ricerca afferma che gli agenti di dimostrazione erano basati su Gemini Carbon. Il lavoro di dimostrazione vero e proprio \u00e8 stato svolto da cinque ricercatori in quattro settimane, ognuno dei quali eseguiva un agente sulla propria workstation. Si tratta di una campagna breve per gli standard del settore. L'articolo osserva che il microkernel seL4, un famoso sistema di verifica precedente, ha richiesto venti anni-uomo, e che il compilatore C CompCert ne ha richiesti sei. Entrambi questi codebase sono stati scritti pensando alla dimostrazione. libsignal no.<\/p>\n\n\n\n

Le dimostrazioni stesse possono essere lunghe perch\u00e9 riguardano il codice macchina. Circa 6,5 milioni di righe sono costituite da dimostrazioni: 5,3 milioni riguardano il codice binario, pi\u00f9 file separati per i due modelli di sicurezza. Un lettore che desidera fidarsi delle affermazioni principali deve comunque leggere le parti considerate attendibili: circa 18.000 righe di specifiche nel repository, pi\u00f9 circa 8.000 righe del modello di codice macchina Arm e dei nomi dei simboli mappati sull'eseguibile. Le routine crittografiche di basso livello, due funzioni di output e alcune chiamate di libreria sono date per scontate, non dimostrate.<\/p>\n\n\n\n

Un controllo contro i vecchi bug<\/h2>\n\n\n\n

Per verificare se le affermazioni fossero sufficientemente solide, il team ha reintrodotto due bug che i ricercatori avevano precedentemente scoperto in libsignal e che nel frattempo erano stati corretti. In entrambi i casi hanno dimostrato che il teorema di sicurezza simbolica non \u00e8 valido per il binario contenente il bug. Si tratta di una verifica utile: una specifica che \u201crisulta valida\u201d anche su codice noto per essere difettoso sarebbe troppo debole.<\/p>\n\n\n\n

Uno di questi bug memorizzava lo stato di una nuova sessione, inclusa una copia di un segreto, dopo che un messaggio pre-chiave era stato decifrato solo in una sessione precedente. L'altro accettava un handshake la cui chiave di base era stata alterata, creando una seconda sessione con lo stesso segreto condiviso.<\/p>\n\n\n\n

Ci\u00f2 che il risultato non dice<\/h2>\n\n\n\n

Gli autori sono scrupolosi e i limiti sono importanti. Le dimostrazioni non coprono ogni parte di Signal, ogni possibile attacco o le primitive crittografiche stesse. I canali laterali sono esclusi dall'ambito di applicazione. La dimostrazione computazionale, che cerca di limitare la probabilit\u00e0 di successo di un attaccante reale, non offre alcuna garanzia contro un avversario quantistico e il suo limite diventa inefficace per sessioni lunghe e multiple con molti round.<\/p>\n\n\n\n

Il documento osserva che varianti dello stesso protocollo sono utilizzate in WhatsApp, Meta Messenger e Google Messages. Queste app non erano l'artefatto oggetto della dimostrazione. Una dimostrazione relativa a libsignal non si estende automaticamente a ogni prodotto che utilizza un linguaggio simile.<\/p>\n\n\n\n

Ehren Kret, responsabile tecnologico di Signal, viene citato nel post di ricerca affermando che la verifica rigorosa dell'implementazione del protocollo \u201cci d\u00e0 ancora pi\u00f9 fiducia nelle garanzie di privacy del nostro codice\u201d.<\/p>\n\n\n\n

Le dimostrazioni e le specifiche sono pubblicate in un archivio pubblico.<\/a><\/p>\n\n\n\n

Perch\u00e9 \u00e8 importante<\/h2>\n\n\n\n

La maggior parte delle persone che inviano un messaggio privato non vede mai la libreria che lo crittografa. Un metodo in grado di verificare il codice compilato di tale libreria, in poche settimane anzich\u00e9 in anni-persona, rappresenta un cambiamento concreto nel modo in cui questo tipo di software pu\u00f2 essere sottoposto a verifica. Non si tratta di una certificazione che Signal, o qualsiasi altra app di chat, sia priva di difetti. \u00c8 una verifica automatica di propriet\u00e0 specifiche di una libreria fondamentale, prodotta con una rapidit\u00e0 tale da consentire che in futuro vengano verificate anche altre parti critiche del codice.<\/p>\n\n\n\n

La maggior parte dei prodotti di chat di uso comune non offre ancora tale prova, e alcuni strumenti popolari non crittografano affatto i messaggi end-to-end. Un precedente rapporto aveva trattato uno strumento di chat per consumatori che invia messaggi di testo senza tale protezione.<\/a><\/p>","protected":false},"excerpt":{"rendered":"

Un team di cinque persone di Google DeepMind, in collaborazione con agenti di intelligenza artificiale, ha prodotto circa 6,5 milioni di righe di prove verificate automaticamente per la libreria di chat uno a uno di Signal in quattro settimane. Le prove riguardano propriet\u00e0 specifiche del codice compilato, non l'intera applicazione.<\/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\/it\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/\" \/>\n<meta property=\"og:locale\" content=\"it_IT\" \/>\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\/it\/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=\"Scritto da\" \/>\n\t<meta name=\"twitter:data1\" content=\"David Merry\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tempo di lettura stimato\" \/>\n\t<meta name=\"twitter:data2\" content=\"5 minuti\" \/>\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\":\"it-IT\"},{\"@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\":\"it-IT\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/dailyai.com\\\/2026\\\/11\\\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"it-IT\",\"@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\":\"it-IT\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\",\"name\":\"DailyAI\",\"url\":\"https:\\\/\\\/dailyai.com\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"it-IT\",\"@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\":\"it-IT\",\"@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\\\/it\\\/author\\\/davidmerry\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Un team di cinque persone e l'intelligenza artificiale hanno dimostrato il codice di Signal in quattro settimane","description":"Un team di cinque persone di DeepMind, insieme ad agenti di intelligenza artificiale, ha dimostrato in quattro settimane le propriet\u00e0 specifiche della libreria di chat di Signal, con 6,5 milioni di righe di prove verificate.","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\/it\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/","og_locale":"it_IT","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\/it\/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":{"Scritto da":"David Merry","Tempo di lettura stimato":"5 minuti"},"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":"it-IT"},{"@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 team di cinque persone e l'intelligenza artificiale hanno dimostrato il codice di Signal in quattro settimane","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 team di cinque persone di DeepMind, insieme ad agenti di intelligenza artificiale, ha dimostrato in quattro settimane le propriet\u00e0 specifiche della libreria di chat di Signal, con 6,5 milioni di righe di prove verificate.","breadcrumb":{"@id":"https:\/\/dailyai.com\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/#breadcrumb"},"inLanguage":"it-IT","potentialAction":[{"@type":"ReadAction","target":["https:\/\/dailyai.com\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/"]}]},{"@type":"ImageObject","inLanguage":"it-IT","@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":"L\u2019economia dell\u2019IA, misurata.","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":"it-IT"},{"@type":"Organization","@id":"https:\/\/dailyai.com\/#organization","name":"DailyAI","url":"https:\/\/dailyai.com\/","logo":{"@type":"ImageObject","inLanguage":"it-IT","@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 misura l\u2019economia dell\u2019IA in numeri: tracker di dati, ricerche e notizie in parole semplici su lavoro, spesa, prezzi e finanziamenti.","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":"it-IT","@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 \u00e8 il fondatore di DailyAI e un imprenditore con sede a Londra. \u00c8 co-fondatore di Kyro, partner di Ki e scrive sull'impatto dell'intelligenza artificiale sul business, sui mercati e sulla vita di tutti i giorni.","sameAs":["https:\/\/www.linkedin.com\/in\/davidmerry\/"],"url":"https:\/\/dailyai.com\/it\/author\/davidmerry\/"}]}},"_links":{"self":[{"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/posts\/16046","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/users\/16"}],"replies":[{"embeddable":true,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/comments?post=16046"}],"version-history":[{"count":1,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/posts\/16046\/revisions"}],"predecessor-version":[{"id":16048,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/posts\/16046\/revisions\/16048"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/media\/16047"}],"wp:attachment":[{"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/media?parent=16046"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/categories?post=16046"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dailyai.com\/it\/wp-json\/wp\/v2\/tags?post=16046"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}