Claude โชว์เหนือ! เขียนโค้ดพร้อมพิสูจน์ความปลอดภัยอัตโนมัติtag: Anthropic, Claude, Cybersecurity, Open-Source, TheoremOct 23, 2026 · By: AttapolKสรุปข่าว 1:15Anthropic ร่วมกับ Theorem ใช้ Claude สร้างข้อพิสูจน์ทางคณิตศาสตร์ 180 ล้านบรรทัดเพื่อยืนยันความถูกต้องของซอฟต์แวร์โอเพนซอร์ส 123 ไลบรารี พร้อมตรวจพบจุดบกพร่องที่ซ่อนอยู่มานานนับทศวรรษได้สำเร็จ
