News 
Coin Information 
About us 
Add as a preferred source on Google
เอเจนต์ AI 1,000 ตัวที่ใช้ Claude Fable 5.2 ของแอนโทรปิก (Anthropic) ทำให้บทพิสูจน์ทฤษฎีบทสุดท้ายของแฟร์มาเป็นรูปแบบทางการได้ภายใน 30 ชั่วโมง
แอนโทรปิกเปิดเผยผลการทดลองในประกาศอย่างเป็นทางการเมื่อวันที่ 10 (ตามเวลาเกาหลี) พร้อมเปิดตัว Fable 5.2 และ Mythos 5.2 บล็อกด้านเทคนิคของบริษัทระบุว่า ในการทำให้ทฤษฎีบทเป็นรูปแบบทางการด้วย Lean เอเจนต์ได้รับโจทย์ 60 ข้อ โครงร่างเส้นทางการพิสูจน์ นิยาม และบทตั้ง 47 ข้อที่พิสูจน์ไว้แล้วจากงานจัดรูปแบบก่อนหน้า โดยไม่มีการเชื่อมต่ออินเทอร์เน็ต
แอนโทรปิกระบุเพิ่มเติมว่า Claude Opus 5.5 ที่ใช้การตั้งค่าแบบเดียวกันทำงานเสร็จ 26% ใน 18 ชั่วโมง และแทบไม่มีความคืบหน้าเพิ่มจนถึงชั่วโมงที่ 30
ในประกาศเดียวกัน แอนโทรปิกกล่าวว่า Fable 5.2 ประสานงานเอเจนต์ย่อยมากกว่า 1,000 ตัวให้เขียน ทดสอบ และตรวจสอบโค้ดตลอด 8 วัน จนสร้างต้นแบบระบบปฏิบัติการที่บูตได้บนแล็ปท็อป
Comment 0