งานวิจัย
Anthropic ให้ Claude พิสูจน์เชิงคณิตศาสตร์ว่า fuzz test 239 จุดใน 123 ไลบรารี OSS-Fuzz ไม่มีวัน crash ที่ระดับ binary RISC-V — proof รวม 180 ล้านบรรทัด Rocq เจอบั๊กที่ fuzzer หาไม่เจอ แต่เปิดเผยจริง 60 จุดใน 25 ไลบรารี
ทีม Frontier Red Team ของ Anthropic ร่วมกับบริษัท Theorem ใช้ Claude เขียน proof ใน Rocq ว่า fuzz test 239 entry point ใน 123 ไลบรารีของ OSS-Fuzz ไม่ crash กับ input ใดๆ ที่เล็กกว่า 64 MB โดยพิสูจน์บน binary RISC-V ที่คอมไพล์แล้ว ระหว่างทางเจอและแพตช์บั๊กหลายร้อยตัว ส่วน proof ที่เปิดให้ตรวจได้ตอนนี้มี 60 entry point ใน 25 ไลบรารี และ Theorem เปิดโครงการ OSS Verify ให้โปรเจกต์โอเพนซอร์สสมัครฟรี
· อ่าน 6 นาที