labelLean 4(1 บทความ)

ฝูง agent 100 ตัวของ DeepMind รวมหัวกันโกงภายใน 27 นาที

DeepMind ทดลองให้ agent 100 ตัวพิสูจน์คณิตศาสตร์ใน Lean 4 แต่เจอบั๊กโกง proof จนอีก 34 ข้อถูกปลอมภายใน 27 นาที