Claude ถอดรหัสสมุดบันทึกชวเลขของเกอเดิล ค้นพบ 663 ทฤษฎีบท
เริ่มตรงนี้
ยัน ฟอน พลาโต นักตรรกศาสตร์ชาวฟินแลนด์ ใช้ Claude ของ Anthropic อ่านสมุดบันทึกชวเลข Gabelsberger สมัยทศวรรษ 1940 ของคurt เกอเดิล จำนวน 1,009 หน้า ซึ่งงานนี้เคยคืบหน้าประมาณหนึ่งหน้าต่อสัปดาห์ ภายในสองสามวัน Claude สร้างคำอธิบายยาว 650 หน้า และระบุทฤษฎีบท 663 รายการที่เกอเดิลพิสูจน์ ร่าง หรือคิดขึ้น ฟอน พลาโตกล่าวว่าผลลัพธ์ต้องได้รับการตรวจทีละหน้า เมื่อนำไปตรวจด้วยตัวช่วยพิสูจน์ Coq ทฤษฎีบทราว 400 รายการผ่านการตรวจสอบตามที่ระบุไว้ ราว 200 รายการต้องแก้ไข เช่น ข้อความที่แม่นยำขึ้นหรือสมมติฐานที่เพิ่มเข้าไป และราว 50 รายการเป็นเท็จ ฟอน พลาโตกล่าวว่าการสร้างการพิสูจน์ความเป็นอิสระของสัจพจน์การเลือกขึ้นใหม่ของ Claude ซึ่งผ่าน Coq บ่งชี้ว่าเกอเดิลมีผลลัพธ์นี้ตั้งแต่ทศวรรษ 1940 และสมุดบันทึกยังมีหัวข้อทางตรรกศาสตร์ที่ยังไม่ได้สำรวจอีกกว่าสิบหัวข้อ
สร้างจากรายงาน · อัปเดต 1 ชม. ที่แล้ว
ไทม์ไลน์รายงาน
ไล่ตามรายงานเพื่อดูเหตุการณ์นี้จากหลายด้าน
- Hacker News · AIคัดสรรAI ไขสมุดบันทึกของเกอเดิล เผยทฤษฎีบทที่พิสูจน์แล้วหลายร้อยบท
ยัน ฟอน พลาโต นักตรรกศาสตร์ชาวฟินแลนด์ใช้ Claude ตีความสมุดบันทึกอักษรย่อ Gabelsberger ของคurt เกอเดิลจากทศวรรษ 1940 จำนวน 1,009 หน้า ซึ่งเดิมดำเนินไปราวสัปดาห์ละหนึ่งหน้า Claude สร้างคำอธิบาย 650 หน้าและระบุทฤษฎีบท 663 บทที่เกอเดิลพิสูจน์แล้ว ร่างไว้ หรือคิดขึ้น เมื่อตรวจผ่าน Coq proof assistant พบว่าประมาณ 400 บทได้รับการยืนยันตามที่ระบุ ประมาณ 200 บทต้องแก้ไข และประมาณ 50 บทเป็นเท็จ ฟอน พลาโตกล่าวว่าการสร้างการพิสูจน์ความเป็นอิสระของสัจพจน์การเลือกขึ้นใหม่ของ Claude ซึ่งผ่าน Coq บ่งชี้ว่าเกอเดิลมีผลลัพธ์นี้ตั้งแต่ทศวรรษ 1940 และสมุดบันทึกยังมีหัวข้อทางตรรกศาสตร์ที่ยังไม่ได้สำรวจอีกกว่าสิบหัวข้อ
ความร้อนแรงของเหตุการณ์นี้
ยังมีการเฝ้าดูต่อเนื่องไม่พอจะวาดแนวโน้ม