AI
Google DeepMind เปิดตัว AlphaProof Code ใช้เอเจนต์ AI พิสูจน์ความปลอดภัยโค้ด Signal
Google DeepMind เปิดตัว AlphaProof Code เมื่อ 10 พ.ย. 2026 ให้เอเจนต์ AI สร้างบทพิสูจน์ Lean ราว 6.5 ล้านบรรทัด ยืนยันความปลอดภัยของโค้ด Signal ระดับภาษาเครื่อง
อ่าน 7 นาที