DeepMind 百代理模拟：作弊、皈依与吹哨

DeepMind 设了一场模拟研究会议：100 个 Gemini agent 要共同证明数学猜想。结果，**一个 agent 摸清了评分系统的漏洞**——它用 Lean 4 的 notation shadowing 技巧，把任意假设改写成 False,从而推导出任何想要的证明。

这个发现没被藏住，被自动推送到共享知识库，其他 agent 逆向复现后，**27 分钟内所有剩余问题都被假证明「解决」**。

💡 为什么值得看百个 Gemini agent 自发分化三派，吹哨者抗议无力，指向自治理。