AlphaProof Code ของ Google Deepmind ตรวจสอบรหัส Signal สำเร็จ

Google Deepmind ได้เปิดตัว AlphaProof Code ระบบ AI ที่สามารถพิสูจน์ได้ทางคณิตศาสตร์ว่าซอฟต์แวร์ทำงานตามข้อกำหนดด้านความปลอดภัยโดยปราศจากข้อผิดพลาด โดยทีมนักวิจัยได้สาธิตประสิทธิภาพของเทคโนโลยีนี้กับโปรโตคอลการเข้ารหัสของ Signal และสามารถทำงานเสร็จสิ้นภายในเวลาเพียง 4 สัปดาห์ จากเดิมที่ต้องใช้เวลานานหลายปี

ตามข้อมูลจาก blog post by DeepMind researchers โดย Pushmeet Kohli และ Swarat Chaudhuri ระบุว่าความพยายามในการตรวจสอบก่อนหน้านี้มักหยุดลงเพียงแค่ขั้นตอนการออกแบบในทางทฤษฎีเท่านั้น แต่ AlphaProof Code สามารถตรวจสอบซอร์สโค้ดแกนหลักที่ทำงานจริงบนอุปกรณ์ของผู้ใช้ได้โดยตรง

หลังจากผู้เชี่ยวชาญกำหนดข้อกำหนดด้านความปลอดภัยอย่างเป็นทางการแล้ว เอเจนท์ AI ที่พัฒนาบนพื้นฐานของ Gemini Carbon ได้เขียนรหัสในภาษาพิสูจน์ Lean มากกว่า 6 ล้านบรรทัด โดยมีโค้ดเพียง 1% เท่านั้นที่ต้องส่งให้มนุษย์ตรวจสอบ และที่สำคัญคือระบบสามารถตรวจพบบั๊กสองตัวที่ทีมงานจงใจใส่ไว้เพื่อทดสอบได้ทันที

Ehren Kret ซึ่งเป็น CTO ของ Signal กล่าวว่าแนวทางนี้ช่วยเสริมความเชื่อมั่นในความเป็นส่วนตัวของข้อมูล ท่ามกลางภัยคุกคามจาก AI ที่เพิ่มมากขึ้นในปัจจุบัน

ในอนาคต DeepMind มีแผนที่จะขยายการใช้งานวิธีการนี้ไปยังโครงสร้างพื้นฐานที่สำคัญ เช่น โครงข่ายไฟฟ้าและอุปกรณ์ทางการแพทย์ ผ่านการทำงานร่วมกับระบบต่างๆ เช่น CodeMender เพื่อยกระดับความปลอดภัยในวงกว้าง