เรานำเสนอ ‘simulated collaboration’ ซึ่งเป็นระเบียบวิธีที่ช่วยตรวจสอบสองประเด็นหลัก คือ (1) ความสนใจที่ AI agents มีต่อไวยากรณ์ผิวเผินเทียบกับความหมายเชิงลึก และ (2) ความแตกต่างของความชอบของ AI agent ต่อขั้นตอนต่อไปเมื่อเทียบกับมนุษย์
จากการศึกษาบนชุดข้อมูลการทำงานร่วมกันของมนุษย์ 9 ครั้งใน Lean ซึ่งมีมากกว่า 4.7 ล้านคำจำกัดความ และ 6K commits พบว่า AI agents นั้น (1) ให้ความสนใจกับส่วนที่ระบุชัดเจนมากกว่ามนุษย์มาก (2) มีแนวโน้มหลีกเลี่ยงศูนย์กลางข้อพิสูจน์ที่มีการเชื่อมโยงหนาแน่น และเป้าหมายที่ซับซ้อนหรือน่าประหลาดใจ และ (3) มีความสนใจในส่วนของข้อพิสูจน์ที่น่าประหลาดใจ แต่มีแนวโน้มที่จะทำให้มันกลับสู่ค่าพื้นฐาน
ผลลัพธ์เหล่านี้เน้นย้ำถึงจุดบอดที่สำคัญและศักยภาพในการแทรกแซงสำหรับการทำงานร่วมกันระหว่างมนุษย์กับ AI ในอนาคต
Submission history
การส่งต้นฉบับครั้งแรกเมื่อวันพุธที่ 4 พฤศจิกายน 2026 เวลา 18:34:25 UTC
ที่มา: arxiv.org