待验证50% 置信预测精确时间

de Moura认为AI非常擅长发现内核中破坏可靠性（soundness）的bug，并预计此类攻击将会不断发生

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/3

首次发现

有效期至：2027/1/1

来源

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

涉及实体

Leo de Mouraperson

相关事实

待验证模型幻觉检测、输出可靠性评估、Prompt注入攻击防范、数据隐私合规等议题随着AI应用大规模落地受到越来越多重视64% 相似待验证利用AI寻找目标函数漏洞的能力可以主动暴露目标设定中的缺陷，作为红队测试的延伸60% 相似待验证功能与实现的错位是识别恶意软件最可靠的启发式信号之一60% 相似待验证入侵检测系统（IDS）通过分析流量或行为特征来识别异常操作，依赖已知攻击模式的特征库60% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/969547

API

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

MCP

get_claim(id=969547)