Google DeepMind ประสบความสำเร็จในการใช้ AI ตรวจสอบและพิสูจน์ความปลอดภัยของโค้ดโปรโตคอล Signal ซึ่งเป็นหัวใจสำคัญของการสื่อสารที่เป็นส่วนตัวของผู้คนนับพันล้านคน โดยใช้เฟรมเวิร์กใหม่ที่ชื่อว่า AlphaProof Code ซึ่งเป็นการรวมพลังระหว่างผู้เชี่ยวชาญมนุษย์และเอเจนท์ AI ในการพิสูจน์ความถูกต้องทางคณิตศาสตร์ (Formal Verification) ว่าโค้ดทำงานได้ตรงตามที่ออกแบบไว้และไม่มีช่องโหว่
กระบวนการนี้ใช้โมเดล Gemini Carbon ในการสร้างบรรทัดการพิสูจน์ในภาษา Lean กว่า 6 ล้านบรรทัด ซึ่งช่วยลดภาระของมนุษย์ที่ต้องตรวจสอบเองลงจนเหลือเพียง 1% ของโค้ดทั้งหมด และสามารถพิสูจน์ระบบที่ซับซ้อนนี้ได้ภายในเวลาเพียง 4 สัปดาห์ จากเดิมที่อาจต้องใช้เวลาหลายปีหากใช้แรงงานมนุษย์เพียงอย่างเดียว ผลลัพธ์นี้ถือเป็นครั้งแรกที่มีการตรวจสอบความปลอดภัยของโปรโตคอลที่มีการใช้งานจริงในวงกว้างได้ในระดับลึกเช่นนี้
