AI:AM：方向盤在哪裡？我的代理設定了密碼、隱藏效價、證明找到 Linux 漏洞

Nathan Labenz 與 Prakash Narayanan 探討 AI 代理（AI agent）取代人類控制權，以及模型中的隱藏效價（hidden valence）；Everett Hildenbrandt 說明以大型語言模型（LLM）輔助的形式驗證（formal verification）如何透過提交修補程式，找出 Linux 核心漏洞。