Helius 首席执行官警告称，随着 AI 的进步，加密货币将面临安全追责式审判

Helius Labs 首席执行官 Mert Mumtaz 通过 X 帖子警告称，随着人工智能能力的推进，加密协议正面临安全“清算”。Mumtaz 认为，不可变的金融代码如今需要达到航空航天级别的严谨性，并将区块链系统比作发射后无法修补的航天器。该警告发布之际，Anthropic 于 6 月 9 日推出了 Claude Fable 5 和 Claude Mythos 5 模型，凸显了 AI 正向进攻与防御安全研究领域迈进。Mumtaz 表示，加密在对抗性环境中实现不可逆执行的承诺，要求比传统软件更高的标准；在传统软件中，中心化运营方可以介入修复漏洞。该行业会通过公开、不可变的代码处理数十亿美元资金，并且代码不断遭到攻击者探测，形成了 Mumtaz 所称的“火海试炼”，考验以安全实践不足来构建的协议。

Mumtaz 将加密安全要求比作航天标准

Mumtaz 在其 X 帖中写道：“不可变的金融代码就像一艘离开地球的宇宙飞船，你再也无法进一步控制。它必须正常工作，否则就会发生灾难。”他将这一要求与 20 世纪 60 年代末 NATO（北大西洋公约组织）会议联系起来，当时软件行业在规模化推理系统方面愈发力不从心，被称为“软件危机”。Helius Labs 首席执行官认为，区块链系统在保留 Web 应用开发文化的同时，已经采用了航空或航天飞行的风险画像。他表示：“大多数行业都是用可以让人介入的系统所采用的那种粗糙标准构建起来的。”

Mumtaz 批评了他所说的由管理员密钥、受控验证者集合以及紧急干预所制造出的“去中心化的外在假象”。他写道，这些机制带来了短期的舒适感，但会模糊真正自治系统与能够被人类运营方救回的系统之间的区别。首席执行官认为，加密属于那类“容错率很低”的软件行业，因而需要形式化验证；他引用了 Edsger Dijkstra 的观点：测试可以证明存在漏洞，但无法证明不存在漏洞。

Anthropic 于 6 月 9 日发布增强安全能力的 Claude 模型

Anthropic 于 6 月 9 日发布了 Claude Fable 5 和 Claude Mythos 5。该公司表示，Fable 5 是其目前最具能力的通用可用模型，但为网络安全相关查询增加了防护措施，因为相同能力可能被滥用。Mythos 5 是限制较少的版本，最初将通过 Project Glasswing 与美国政府合作，先行限制在选定的网络防御者和基础设施提供商范围内。

Mumtaz 写道，AI 将让严谨的软件实践变得更易获得，并称：“规范编写、证明辅助、符号推理、模糊测试、审计、不变式检查以及形式化验证工作流，都会变得显著更容易。”他补充说：“一种激进的自然选择机制”已经开始，未来数年仍可能持续。Mumtaz 写道：“严肃的团队会比以往更强地涌现，而稻草屋会倒塌”，并补充说这不一定应被解读为侮辱，因为这些系统确实很难构建。他在帖文结尾写道：“我看多数学，我也看多加密。”

加密货币市值为 2.12 万亿美元

据来源文章称，截至发稿时，加密货币总市值为 2.12 万亿美元。

常见问题

Mert Mumtaz 警告了加密安全方面什么问题？

Helius Labs 首席执行官 Mert Mumtaz 在一则 X 帖中警告称，随着 AI 能力推进，加密协议面临安全“清算”。他认为，不可变的金融代码需要达到航空航天级别的严谨性，并将区块链系统比作发射后无法修补的宇宙飞船，称“它必须正常工作，否则就会发生灾难。”

Anthropic 是在什么时候发布 Claude Fable 5 和 Claude Mythos 5 模型的？

Anthropic 于 6 月 9 日发布了 Claude Fable 5 和 Claude Mythos 5。Fable 5 是具备网络安全防护的最具能力通用可用模型，而 Mythos 5 将通过与美国政府合作的 Project Glasswing，先行限制在选定的网络防御者和基础设施提供商范围内。

当前加密货币总市值是多少？

据来源文章称，截至发稿时，加密货币总市值为 2.12 万亿美元。