tag: AlphaProof Code

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

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

· By: NatapolK
AlphaProof Code ใช้เวลาเพียงสี่สัปดาห์ในการตรวจสอบความปลอดภัยทางคณิตศาสตร์ของรหัส Signal ซึ่งปกติใช้เวลานานหลายปี โดยสามารถตรวจพบข้อผิดพลาดได้อย่างแม่นยำและต้องการการตรวจสอบจากมนุษย์เพียง 1% เท่านั้น