Claude พิสูจน์ว่าโค้ด 123 ไลบรารีไม่ crash และเจอบั๊กเก่า

Anthropic กับ Theorem ใช้ Claude เขียน formal proof ระดับ assembly ให้ 123 ไลบรารีโอเพนซอร์สว่าไม่ crash กับ input ไม่เกิน 64 MB และเจอบั๊กที่ซ่อนมาหลายปี