MIT 教授 Tegmark 批 Wired 夸大：Signal 协议验证仅完成 80%

MIT 教授 Max Tegmark 就 Wired 对 Signal 协议形式化验证的报道提出批评，指其「夸大其词」。由他发起、与 Lean 定理证明器团队合作、Beneficial AI Foundation 主导的开源社区项目 SignalShot 实际只完成了约 80% 的验证。他借此提出「formal-washing」概念：仅因证明了部分性质就宣称系统安全，是一种洗白式包装，提醒公众警惕形式化验证成果的夸大宣传。

2026-11-12 ~ 2026-11-12 · 2 条相关

事件全程(共 2 集)→

• 第 1 集:DeepMind AlphaProof Code 机器码级形式化验证 Signal 协议(2026-11-10,27 条)
• 第 2 集:MIT 教授 Tegmark 批 Wired 夸大：Signal 协议验证仅完成 80%(2026-11-12,2 条)

• Signal 形式化验证达 80%，MIT 教授称 Wired 报道夸大其词 — tegmark · 2026-11-12
• MIT 教授批「formal-washing」:Signal 协议验证只完成了一部分 — tegmark · 2026-11-12