Summary from the original article
استخدمت شركة جوجل ديب مايند نظامًا متقدمًا من وكلاء الذكاء الاصطناعي، بالتعاون مع باحثين بشريين، لإجراء تحقق أمني رسمي من تقنيات التشفير في تطبيق المر
By المشهد اليمني ·
AI key points, how left, center and right framed this story, tone by side and loaded language are part of News.gg Premium.
Upgrade this serverAlphaProof Code: A Developer's Checklist Before You Trust an AI-Verified Codebase Shivam Kumar | VisionQuantech | November 11, 2026 Google DeepMind announced AlphaProof Code on November 10, 2026: an agentic framework that formally verified the cryptographic core of the Signal protocol — libsignal v0.105.4, compiled to AArch64 machine code — in four weeks. Agents powered by Gemini 4 Carbon generated over 6.5 million lines of Lean proof. Every proof was checked by Lean's kernel. An independent count the next day found 7,528,293 lines across 11,323 files, with zero sorry in the headline proofs…
11 hours ago · dev.to
استخدمت شركة جوجل ديب مايند نظامًا متقدمًا من وكلاء الذكاء الاصطناعي، بالتعاون مع باحثين بشريين، لإجراء تحقق أمني رسمي من تقنيات التشفير في تطبيق المر
19 hours ago · almashhad.news · You are reading this one
Google DeepMind reports machine-checked security proofs for a compiled implementation of selected Signal protocol operations. Its new AlphaProof Code work gives developers a concrete example of AI doing difficult proof construction while a separate checker enforces a human-approved target. The specification, the compiled artifact and the trusted assumptions all matter to understanding the result. TL;DR AlphaProof Code combines human-guided specification development with AI-generated Lean proofs. The researchers verify a particular compiled libsignal command-line harness under stated models…
20 hours ago · dev.to
With the aim of securing other vital systems, Google DeepMind plans to open-source its AlphaProof Code.
23 hours ago · zdnet.com
The Signal protocol has long been considered the gold standard for end-to-end encrypted messaging, with Edward Snowden a notable advocate. Now a Google DeepMind analysis has “formally verified” the security of the protocol. In addition to its use in the Signal app, the same protocol is also used by WhatsApp and Google Messages, and the work has been described as “a landmark development” … more…
Yesterday · 9to5mac.com
El trabajo duró cuatro semanas, no halló fallas nuevas y revisó solo una parte de la criptografía que también protege a WhatsApp y otros servicios
Yesterday · infobae.com
Alwakaai.com · 7 hours ago
SoftBank swings to $7 billion quarterly loss amid AI concernsAJ Arabic · Yesterday
إعلانات بالذكاء الاصطناعي وتسوّق بالوكالة وروبوت تحت الاختبار
