ข้ามไปที่เนื้อหา
เหตุการณ์ร้อนแรงจับตาดู

DeepMind's AlphaProof Code Verifies Signal's Cryptographic Core

เนื้อหานี้ยังไม่มีในภาษาของคุณ จึงแสดงเป็นEnglish

2 รายงาน2 แหล่งข่าวที่รายงานอัปเดต 2 วันที่แล้ว

เริ่มตรงนี้

ไดเจสต์ AI

Google DeepMind unveiled AlphaProof Code, an AI system that mathematically proves software meets its security specifications, and used it to verify the cryptographic core code running on Signal users' devices in four weeks — work that typically takes years, according to DeepMind. After experts defined formal security requirements, AI agents built on Gemini Carbon wrote over six million lines in the Lean proof language and flagged roughly one percent of the codebase for human review, catching two deliberately planted bugs immediately. Signal CTO Ehren Kret said the approach strengthens trust in data privacy as AI threats grow. DeepMind plans to extend the method to power grids and medical devices through systems like CodeMender.

สร้างจากรายงาน · อัปเดต 20 ชม. ที่แล้ว

ล่าสุด12 พฤศจิกายน 02:18
AlphaProof Code ของ Google DeepMind ตรวจสอบแกนหลักการเข้ารหัสของ Signal ในสี่สัปดาห์แทนที่จะใช้เวลาหลายปี

ไทม์ไลน์รายงาน

ไล่ตามรายงานเพื่อดูเหตุการณ์นี้จากหลายด้าน

12 พฤศจิกายน
  1. The Decoderคัดสรร
    AlphaProof Code ของ Google DeepMind ตรวจสอบแกนหลักการเข้ารหัสของ Signal ในสี่สัปดาห์แทนที่จะใช้เวลาหลายปี

    Google DeepMind เปิดตัว AlphaProof Code ระบบ AI ที่พิสูจน์ทางคณิตศาสตร์ว่าซอฟต์แวร์เป็นไปตามข้อกำหนดด้านความปลอดภัย และใช้มันตรวจสอบโค้ดแกนหลักการเข้ารหัสที่ทำงานบนอุปกรณ์ของผู้ใช้ Signal ภายในสี่สัปดาห์ งานที่ปกติใช้เวลาหลายปี หลังจากผู้เชี่ยวชาญกำหนดข้อกำหนดด้านความปลอดภัยอย่างเป็นทางการแล้ว AI agents ที่สร้างบน Gemini Carbon ได้เขียนโค้ดกว่าหกล้านบรรทัดในภาษา Lean และflagged ประมาณหนึ่งเปอร์เซ็นต์ของ codebase เพื่อให้มนุษย์ตรวจสอบ โดยจับบั๊กที่ปลูกไว้โดยเจตนาสองตัวได้ทันที Ehren Kret CTO ของ Signal กล่าวว่าวิธีนี้เสริมสร้างความไว้วางใจในความเป็นส่วนตัวของข้อมูลเมื่อภัยคุกคามจาก AI เพิ่มขึ้น และ DeepMind วางแผนขยายวิธีการไปยังโครงข่ายไฟฟ้าและอุปกรณ์ทางการแพทย์ผ่านระบบอย่าง CodeMender

11 พฤศจิกายน
  1. Ars Technica · AI
    Google DeepMind ตรวจสอบส่วนสำคัญของ Signal ด้วยคณิตศาสตร์

    Google DeepMind เสร็จสิ้นโครงการสี่สัปดาห์ที่ตรวจสอบส่วนสำคัญของ Signal ด้วยคณิตศาสตร์ ตามรายงานของ Ars Technica งานนี้บ่งชี้ว่า AI อาจทำให้การตรวจสอบอย่างเป็นทางการเป็นเรื่องที่ปฏิบัติได้จริงมากขึ้น แม้ว่ารายงานจะไม่มีรายละเอียดทางเทคนิคเพิ่มเติม

ความร้อนแรงของเหตุการณ์นี้

ยังมีการเฝ้าดูต่อเนื่องไม่พอจะวาดแนวโน้ม