AI ไขสมุดบันทึกของเกอเดิล เผยทฤษฎีบทที่พิสูจน์แล้วหลายร้อยบท

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