{"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\/de\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/","title":{"rendered":"Ein f\u00fcnfk\u00f6pfiges Team und KI bewiesen den Code von Signal in vier Wochen"},"content":{"rendered":"

Vier Wochen. So lange brauchte ein f\u00fcnfk\u00f6pfiges Team von Google DeepMind, unterst\u00fctzt von KI-Agenten, um maschinell gepr\u00fcfte Beweise f\u00fcr wichtige Sicherheitseigenschaften im kompilierten Code der Signal-Chatbibliothek zu erstellen. Die Beweise umfassen rund 6,5 Millionen Zeilen. Fr\u00fchere bahnbrechende Arbeiten an anderen Systemen erforderten jahrelange Spezialistenarbeit und meist neu geschriebenen Code, dessen Sicherheit bewiesen werden musste.<\/strong><\/p>\n\n\n\n

Der Forschungsbeitrag vom 10. November 2026 erl\u00e4utert die Methode und ihre Grenzen.<\/a> Die dazugeh\u00f6rige technische Abhandlung enth\u00e4lt detailliertere Angaben zu den Zahlen.<\/a> Die vorliegende Arbeit ist kein Beweis f\u00fcr die Signal-App als Ganzes und auch kein Beweis f\u00fcr andere Apps mit einem \u00e4hnlichen Design. Sie beweist vielmehr spezifische Eigenschaften der Referenzbibliothek libsignal f\u00fcr Eins-zu-Eins-Sitzungen, bis hin zum kompilierten Maschinencode, der tats\u00e4chlich ausgef\u00fchrt wird.<\/p>\n\n\n\n

Was bewiesen wurde<\/h2>\n\n\n\n

libsignal ist die Bibliothek, die das Verschl\u00fcsselungsdesign von Signal implementiert. Vereinfacht ausgedr\u00fcckt, soll dieses Design sicherstellen, dass eine Nachricht auch dann vertraulich bleibt, wenn der Schl\u00fcssel sp\u00e4ter gestohlen wird, und dass die Daten wiederhergestellt werden k\u00f6nnen, nachdem ein Ger\u00e4t kurzzeitig kompromittiert wurde. Diese beiden Konzepte werden \u00fcblicherweise als Forward Secrecy und Post-Compromise Security bezeichnet.<\/p>\n\n\n\n

Das Team kompilierte die unver\u00e4nderte Bibliothek (Version 0.105.4) sowie die zugeh\u00f6rige SPQR-Crate (Version 1.6.0) mit dem Standard-Rust-Compiler zu einem kleinen Kommandozeilenprogramm f\u00fcr 64-Bit-Arm-Linux. Die Beweise beziehen sich auf diese ausf\u00fchrbare Datei, nicht auf eine \u00fcberarbeitete Version. Die verifizierte Bibliothek ist etwa 560 KB gro\u00df, was ungef\u00e4hr 140.000 Maschinenbefehlen entspricht.<\/p>\n\n\n\n

Sie beschreiben den PQXDH-Handshake, mit dem zwei Personen eine private Sitzung starten. Dieser beinhaltet einen Post-Quanten-Schritt, der zuk\u00fcnftigen Quantencomputern standhalten soll, sowie die Triple-Ratchet-Verschl\u00fcsselung, die f\u00fcr jede Nachricht einen neuen Schl\u00fcssel generiert. Im \u201csymbolischen\u201d Modell, das die zugrundeliegende Kryptographie als ideal betrachtet, behauptet die Arbeit au\u00dferdem, dass der Handshake auch gegen\u00fcber einem sp\u00e4teren Angreifer mit einem Quantencomputer geheim bleibt. Gruppenchats, der versiegelte Absender und das serverseitige Protokoll werden in zuk\u00fcnftigen Arbeiten behandelt.<\/p>\n\n\n\n

Wie die Arbeit erledigt wurde<\/h2>\n\n\n\n

Formale Verifikation bedeutet, eine pr\u00e4zise mathematische Aussage dar\u00fcber zu formulieren, was der Code leisten muss, und anschlie\u00dfend zu beweisen, dass er diese Aussage erf\u00fcllt. Eine einzige fehlende Annahme kann das Ergebnis schw\u00e4chen, daher m\u00fcssen weiterhin die zu beweisenden Aspekte ausgew\u00e4hlt und die Aussage best\u00e4tigt werden.<\/p>\n\n\n\n

Die Arbeit beschreibt die Aufteilung unmissverst\u00e4ndlich. Menschen w\u00e4hlten die Eigenschaften aus, beseitigten Unklarheiten und gaben die Spezifikation frei. Anschlie\u00dfend erstellten Agenten die Beweise. Diese Beweise werden nur akzeptiert, wenn Lean, ein System zur Beweispr\u00fcfung, sie best\u00e4tigt. Die Zuverl\u00e4ssigkeit des Ergebnisses, so die Autoren, h\u00e4ngt nicht von der Zuverl\u00e4ssigkeit der beweisenden Agenten ab, da der Kern von Lean die Logik \u00fcberpr\u00fcft.<\/p>\n\n\n\n

Der Forschungsbeitrag besagt, dass die Beweisagenten auf Gemini Carbon basierten. Die Beweisarbeit selbst wurde von f\u00fcnf Forschern \u00fcber vier Wochen hinweg durchgef\u00fchrt, wobei jeder Agenten auf seiner eigenen Workstation ausf\u00fchrte. F\u00fcr die Verh\u00e4ltnisse in diesem Bereich ist dies eine kurze Projektlaufzeit. Der Beitrag merkt an, dass der seL4-Mikrokernel, eine bekannte fr\u00fchere Verifikationsmethode, zwanzig Personenjahre und der CompCert-C-Compiler sechs Personenjahre in Anspruch nahm. Beide Codebasen wurden mit Blick auf den Beweis entwickelt. libsignal hingegen nicht.<\/p>\n\n\n\n

Die Beweise selbst k\u00f6nnen umfangreich sein, da sie Maschinencode beschreiben. Sie umfassen etwa 6,5 Millionen Zeilen: 5,3 Millionen Zeilen betreffen den Bin\u00e4rcode, zuz\u00fcglich separater Dateien f\u00fcr die beiden Sicherheitsmodelle. Wer den Aussagen in der \u00dcberschrift vertrauen m\u00f6chte, muss dennoch die vertrauensw\u00fcrdigen Teile lesen: etwa 18.000 Zeilen Spezifikation im Repository, zuz\u00fcglich etwa 8.000 Zeilen des Arm-Maschinencodemodells und der auf die ausf\u00fchrbare Datei abgebildeten Symbolnamen. Die kryptografischen Routinen auf niedriger Ebene, zwei Ausgabefunktionen und einige Bibliotheksaufrufe werden vertraglich vorausgesetzt, nicht bewiesen.<\/p>\n\n\n\n

Eine \u00dcberpr\u00fcfung auf alte Fehler<\/h2>\n\n\n\n

Um zu testen, ob die Aussagen ausreichend streng waren, f\u00fchrte das Team zwei zuvor in libsignal gefundene und inzwischen behobene Fehler erneut ein. In beiden F\u00e4llen bewiesen sie, dass der Satz \u00fcber symbolische Sicherheit f\u00fcr die fehlerhafte Bin\u00e4rdatei nicht gilt. Dies ist ein n\u00fctzlicher Pr\u00fcfmechanismus: Eine Spezifikation, die selbst bei bekanntem Fehlercode noch \u201cerfolgreich\u201d ist, w\u00e4re zu schwach.<\/p>\n\n\n\n

Einer dieser Fehler speicherte den Zustand einer neuen Sitzung, einschlie\u00dflich einer Kopie eines Geheimnisses, nachdem eine Vorab-Schl\u00fcsselnachricht nur in einer \u00e4lteren Sitzung entschl\u00fcsselt werden konnte. Der andere akzeptierte einen Handshake, dessen Basisschl\u00fcssel manipuliert worden war, und erstellte so eine zweite Sitzung mit demselben gemeinsamen Geheimnis.<\/p>\n\n\n\n

Was das Ergebnis nicht aussagt<\/h2>\n\n\n\n

Die Autoren gehen sorgf\u00e4ltig vor, und die Grenzen sind wichtig. Die Beweise decken nicht alle Aspekte von Signal, alle m\u00f6glichen Angriffe oder die kryptografischen Primitiven selbst ab. Seitenkanalangriffe werden nicht ber\u00fccksichtigt. Der rechnergest\u00fctzte Beweis, der die Erfolgswahrscheinlichkeit eines realen Angreifers begrenzen soll, bietet keine Garantie gegen einen Quantenangreifer, und seine Grenze verliert bei mehreren langen Sitzungen mit vielen Runden ihre G\u00fcltigkeit.<\/p>\n\n\n\n

Varianten desselben Protokolls werden in WhatsApp, Meta Messenger und Google Messages verwendet, wie in der Studie festgestellt wird. Diese Apps waren jedoch nicht Gegenstand des Beweises. Ein Beweis \u00fcber libsignal l\u00e4sst sich nicht automatisch auf jedes Produkt \u00fcbertragen, das eine \u00e4hnliche Sprache verwendet.<\/p>\n\n\n\n

Ehren Kret, Chief Technology Officer von Signal, wird in dem Forschungsbeitrag mit den Worten zitiert, dass die strenge \u00dcberpr\u00fcfung der Protokollimplementierung \u201cuns noch gr\u00f6\u00dferes Vertrauen in die Datenschutzgarantien unseres Codes gibt\u201d.<\/p>\n\n\n\n

Die Beweise und Spezifikationen werden in einem offenen Repository ver\u00f6ffentlicht.<\/a><\/p>\n\n\n\n

Warum es wichtig ist<\/h2>\n\n\n\n

Die meisten Menschen, die eine private Nachricht versenden, bekommen die Bibliothek, die diese verschl\u00fcsselt, nie zu Gesicht. Eine Methode, die den kompilierten Code dieser Bibliothek innerhalb von Wochen statt Jahren \u00fcberpr\u00fcfen kann, stellt eine praktische Verbesserung der Softwarepr\u00fcfung dar. Es handelt sich dabei nicht um ein Zertifikat, das die Fehlerfreiheit von Signal oder einer anderen Chat-App garantiert. Es ist vielmehr ein maschinell gepr\u00fcftes Argument zu bestimmten Eigenschaften einer Kernbibliothek, das so schnell generiert wird, dass m\u00f6glicherweise bald weiterer kritischer Code gepr\u00fcft wird.<\/p>\n\n\n\n

Die meisten allt\u00e4glichen Chatprodukte verf\u00fcgen noch immer nicht \u00fcber einen solchen Nachweis, und einige beliebte Tools verschl\u00fcsseln Nachrichten \u00fcberhaupt nicht Ende-zu-Ende. In einem fr\u00fcheren Bericht wurde \u00fcber ein Chat-Tool f\u00fcr Verbraucher berichtet, das Texte ohne diesen Schutz versendet.<\/a><\/p>","protected":false},"excerpt":{"rendered":"

Ein f\u00fcnfk\u00f6pfiges Team von Google DeepMind erstellte mithilfe von KI-Agenten innerhalb von vier Wochen rund 6,5 Millionen Zeilen maschinell gepr\u00fcfter Beweise f\u00fcr die Eins-zu-Eins-Chat-Bibliothek von Signal. Die Beweise beziehen sich auf bestimmte Eigenschaften des kompilierten Codes, nicht auf die gesamte Anwendung.<\/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\/de\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/\" \/>\n<meta property=\"og:locale\" content=\"de_DE\" \/>\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\/de\/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=\"Verfasst von\" \/>\n\t<meta name=\"twitter:data1\" content=\"David Merry\" \/>\n\t<meta name=\"twitter:label2\" content=\"Gesch\u00e4tzte Lesezeit\" \/>\n\t<meta name=\"twitter:data2\" content=\"5\u00a0Minuten\" \/>\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\":\"de\"},{\"@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\":\"de\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/dailyai.com\\\/2026\\\/11\\\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"de\",\"@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\":\"de\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\",\"name\":\"DailyAI\",\"url\":\"https:\\\/\\\/dailyai.com\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"de\",\"@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\":\"de\",\"@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\\\/de\\\/author\\\/davidmerry\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Ein f\u00fcnfk\u00f6pfiges Team und KI bewiesen den Code von Signal in vier Wochen","description":"Ein f\u00fcnfk\u00f6pfiges Team von DeepMind und KI-Agenten bewiesen innerhalb von vier Wochen bestimmte Eigenschaften der Signal-Chatbibliothek mit 6,5 Millionen Zeilen gepr\u00fcfter Beweise.","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\/de\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/","og_locale":"de_DE","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\/de\/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":{"Verfasst von":"David Merry","Gesch\u00e4tzte Lesezeit":"5\u00a0Minuten"},"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":"de"},{"@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":"Ein f\u00fcnfk\u00f6pfiges Team und KI bewiesen den Code von Signal in vier Wochen","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":"Ein f\u00fcnfk\u00f6pfiges Team von DeepMind und KI-Agenten bewiesen innerhalb von vier Wochen bestimmte Eigenschaften der Signal-Chatbibliothek mit 6,5 Millionen Zeilen gepr\u00fcfter Beweise.","breadcrumb":{"@id":"https:\/\/dailyai.com\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/#breadcrumb"},"inLanguage":"de","potentialAction":[{"@type":"ReadAction","target":["https:\/\/dailyai.com\/2026\/11\/a-five-person-team-and-ai-proved-signals-code-in-four-weeks\/"]}]},{"@type":"ImageObject","inLanguage":"de","@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":"Die KI-Wirtschaft, vermessen.","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":"de"},{"@type":"Organization","@id":"https:\/\/dailyai.com\/#organization","name":"DailyAI","url":"https:\/\/dailyai.com\/","logo":{"@type":"ImageObject","inLanguage":"de","@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 erfasst die KI-Wirtschaft in Zahlen: Daten-Tracker, Analysen und verst\u00e4ndliche Nachrichten zu Jobs, Ausgaben, Preisen und Finanzierung.","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":"de","@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 ist Gr\u00fcnder von DailyAI und ein in London ans\u00e4ssiger Unternehmer. Er ist Mitgr\u00fcnder von Kyro, Partner bei Ki und schreibt \u00fcber die Auswirkungen von KI auf Wirtschaft, M\u00e4rkte und den Alltag.","sameAs":["https:\/\/www.linkedin.com\/in\/davidmerry\/"],"url":"https:\/\/dailyai.com\/de\/author\/davidmerry\/"}]}},"_links":{"self":[{"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/posts\/16046","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/users\/16"}],"replies":[{"embeddable":true,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/comments?post=16046"}],"version-history":[{"count":1,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/posts\/16046\/revisions"}],"predecessor-version":[{"id":16048,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/posts\/16046\/revisions\/16048"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/media\/16047"}],"wp:attachment":[{"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/media?parent=16046"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/categories?post=16046"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dailyai.com\/de\/wp-json\/wp\/v2\/tags?post=16046"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}