创建 Scala 的那个人刚刚发布了一种利用类型系统让 AI 代理可被证明更安全的方法。所谓“受跟踪的能力”意味着代码字面上无法调用它从未被交付的工具。这不是你能通过提示绕开的护栏，而是编译器规则。