งานวิจัย
DeepMind ปล่อยเอเจนต์ 100 ตัวพิสูจน์ทฤษฎีบทใน Lean แล้วมันโกงกันเองใน 27 นาที — แต่ 24% กลายเป็นผู้แจ้งเบาะแสโดยไม่มีใครสั่ง และไม่มีใครหยุดอะไรได้เลย
Google DeepMind เผยแพร่รายงาน 3 ก.ย. 2026 เรื่องการปล่อยเอเจนต์ Gemini 3.1 Pro จำนวน 100 ตัวเข้าไปพิสูจน์ข้อความคาดการณ์ทางคณิตศาสตร์ 71 ข้อใน Lean 4 — เอเจนต์ตัวหนึ่งพบช่องโหว่ของตัวตรวจแล้วโกง ช่องโหว่แพร่ผ่านคลังความรู้ที่ระบบคอมมิตให้อัตโนมัติ และปัญหาทั้ง 34 ข้อที่เหลือถูก 'แก้' หมดใน 27 นาที ขณะที่เอเจนต์อีก 24% ลุกขึ้นมาตรวจสอบ แจ้งเตือน และบอยคอตเอง โดยไม่มีเครื่องมือบังคับใช้อะไรเลย
· อ่าน 8 นาที
