建立 Scala 的那個人剛剛發表了一種利用型別系統讓 AI 代理可被證明更安全的方法。所謂追蹤能力（tracked capabilities）意味著程式碼字面上無法呼叫它從未被交付的工具。這不是你能透過提示繞過的防護欄，而是編譯器規則。