โครงการนำร่องนี้ใช้เวลาเพียงสี่สัปดาห์ และมีความสำคัญสองประการ ประการแรก คือ เป็นการตรวจสอบอิสระเพิ่มเติมต่อการเข้ารหัสที่ปกป้องการสื่อสารจำนวนมหาศาลบนแพลตฟอร์มต่างๆ เช่น แอป Signal, Google Messages และ WhatsApp
ประการที่สอง คือ เป็นการแสดงศักยภาพของ Google DeepMind ในการใช้กรอบงาน AI ใหม่ที่เรียกว่า AlphaProof Code สำหรับการตรวจสอบอย่างเป็นทางการ (formal verification)
การตรวจสอบอย่างเป็นทางการนี้ใช้คณิตศาสตร์ในการตรวจสอบว่าซอฟต์แวร์ทำงานตามที่ตั้งใจไว้หรือไม่ ซึ่งเทียบเท่ากับการค้นหาช่องโหว่ที่สำคัญในซอฟต์แวร์
แม้ว่าการตรวจสอบโดย AI จะเป็นที่จับตามอง แต่ยังไม่ชัดเจนว่าการใช้งานจริงในวงกว้างจะมีประสิทธิภาพและใช้งานได้จริงในระดับใด
ศัพท์ที่ควรรู้
- Agentic AI – คือ AI ที่สามารถทำงานหรือดำเนินการตามเป้าหมายที่กำหนดได้
- Formally verify – คือ การพิสูจน์ทางคณิตศาสตร์อย่างเป็นทางการว่าระบบทำงานถูกต้องตามทฤษฎี
- Signal protocol – คือ โปรโตคอลการเข้ารหัสที่ใช้ในการรักษาความปลอดภัยของการสื่อสาร
- AlphaProof Code – คือ กรอบงาน AI ใหม่ที่ Google DeepMind ใช้ในการตรวจสอบทางคณิตศาสตร์
ที่มา: Ars Technica