待验证50% 置信观点精确时间

de Moura明确反对通过隐藏来保证安全，主张对内核完全透明

1

来源数

50%

置信度

长期有效

时效性

2026/10/3

首次发现

来源

Lean之父Leo de Moura深度访谈：当AI开始攻击数学证明内核

涉及实体

Leo de Mouraperson

相关事实

待验证隐匿式安全违背了柯克霍夫原则，把防护希望寄托在攻击者不知道内部细节上59% 相似待验证现有Agent安全防御几乎都聚焦于阻止直接泄露，忽视了通过合法交互进行的行为推断56% 相似待验证TrustedRouter将隐私保护作为核心差异化,而非仅仅是路由效率或模型覆盖范围54% 相似待验证安全默认（Secure by Default）是零信任架构和纵深防御体系的基础之一53% 相似待验证开发者明确指出隐私脱敏器并非100%可靠，没有任何沙箱是绝对安全的，安全控制措施只能降低风险而非消除风险53% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/969549

API

curl https://kongchang.com/api/v1/knowledge/claims/969549

MCP

get_claim(id=969549)