AI安全
深入探讨 Anthropic 封号风波背后的原因：安全信仰、AI 争斗与中美脱钩中的 Claude 困境
正文： 2026年4月，美国一家名为农业科技公司的团队在日常工作中，准备使用 Claude Code 进行编程、数据处理和供应链分析时，惊讶地发现110个员工的账户毫无预警地被全部封禁。公司网络管理员的邮箱收到了来自 Anthropic 的通知邮件，称检测到违反使用政策的行为，账户已被暂停。 尽管账户被禁用，后台 API 仍然正常运作并继续扣费，甚至网络管理…
Vitalik最新长文：在AI时代，如何提升代码的安全性？
正文： 原文标题：A shallow dive into formal verification 原文编译：Peggy，BlockBeats 编者按：随着AI编程能力的迅速提升，软件安全面临着新的挑战：AI不仅能更高效地生成代码，还能更快速地发现潜在漏洞。对加密行业而言，这个问题尤为重要。智能合约、ZK证明、共识算法以及链上资产系统的缺陷，可能导致的后果远比…
