Google DeepMind ได้เปิดตัว AlphaProof Code เมื่อวันที่ 10 พฤศจิกายน 2026 โดยอ้างว่านี่คือครั้งแรกที่มีการตรวจสอบอย่างเป็นทางการถึงการใช้งานโปรโตคอลที่ใช้งานกันอย่างกว้างขวางด้วยวิธีใดก็ตาม
การทดสอบนี้อ้างอิงถึงข้อบกพร่องสองจุดคือ Weak state และ Small subgroup ซึ่งการค้นพบนี้มาจากงานวิจัยก่อนหน้าของ Cheval และคณะ
แม้ว่าการพิสูจน์นี้จะมีความก้าวหน้าอย่างมาก แต่ผู้เชี่ยวชาญระบุว่ายังต้องใช้เวลาอีกนานในการขยายขนาดไปถึงซอฟต์แวร์ทั้งหมดในโลก
Ehren Kret CTO ของ Signal กล่าวว่า การพิสูจน์โปรโตคอล Signal นี้ช่วยเพิ่มความเชื่อมั่นในหลักประกันความเป็นส่วนตัวของโค้ด ท่ามกลางภัยคุกคามด้านความปลอดภัยที่ขับเคลื่อนด้วย AI
นักวิจัย DeepMind ระบุว่าการทำงานที่คล้ายกันอาจต้องใช้เวลาของทีมหลายสิบปี แต่พวกเขาทำสำเร็จภายในหนึ่งเดือน
ศัพท์ที่ควรรู้
- AlphaProof Code – เป็นโครงการที่ DeepMind ใช้ในการพิสูจน์ความถูกต้องของโค้ดซอฟต์แวร์
- Protocol – ชุดของกฎหรือข้อตกลงที่ทำให้ระบบสื่อสารกันได้
- Weak state และ Small subgroup – คือชื่อของข้อบกพร่องสองจุดที่ถูกนำมาทดสอบในโครงการนี้
- Quantum adversary – คือผู้โจมตีที่ใช้คอมพิวเตอร์ควอนตัมในการโจมตี
- seL4 operating system kernel – คือแกนหลักของระบบปฏิบัติการที่ใช้เวลาในการพิสูจน์นานถึงยี่สิบปีคน
ที่มา: cellcog.ai