นักวิจัยจากมหาวิทยาลัยมิชิแกน คุณ Cyrus Omar นำเสนอระบบ 'Live Type-Theoretic Computational Commons' ซึ่งเป็นแพลตฟอร์มการทำงานร่วมกันระหว่างมนุษย์และ AI ที่แก้ปัญหาความล่าช้าของ feedback ในการเขียนโค้ด โดยใช้ shared monorepo ร่วมกับเทคนิคใหม่ เช่น CRDT-based structure editing และ versioning แบบ Unison ระบบมุ่งแก้ปัญหา 2 ประการ ได้แก่ การตรวจสอบประเภทแบบ live ที่วิเคราะห์โค้ดที่ยังไม่สมบูรณ์ตลอดเวลา และการควบคุมพฤติกรรม AI ผ่าน capability signature ที่มนุษย์กำหนด เพื่อลดความเสี่ยงจากการเข้าถึงข้อมูลโดยตรงจาก AI agents ขนาดใหญ่
อ่านต้นฉบับwww.janestreet.com/tech-talks/trustworthy-human-ai-collaboration-in-a-live-type-theoretic-computational-commons
AI collaborationtype-theoreticlive codingsoftware engineering
สรุปด้วย MAF Local AI · เนื้อหาต้นฉบับเป็นของแหล่งข่าว