Ars Technica · AI· Lily Hay Newman, wired.com·· 2 วันที่แล้วคะแนน AI58
Google DeepMind ตรวจสอบส่วนสำคัญของ Signal ด้วยคณิตศาสตร์
Google DeepMind just mathematically verified key parts of Signal
สรุปโดย AI
Google DeepMind เสร็จสิ้นโครงการสี่สัปดาห์ที่ตรวจสอบส่วนสำคัญของ Signal ด้วยคณิตศาสตร์ ตามรายงานของ Ars Technica งานนี้บ่งชี้ว่า AI อาจทำให้การตรวจสอบอย่างเป็นทางการเป็นเรื่องที่ปฏิบัติได้จริงมากขึ้น แม้ว่ารายงานจะไม่มีรายละเอียดทางเทคนิคเพิ่มเติม
แหล่งข่าว:Ars Technica · AI · arstechnica.com