关于
智能体治理的思考。

工程、安全、形式化方法和构建可信多智能体系统。

2026-06-13

88% 的公司已经翻车了——关于 AI Agent 安全的 7 个数字真相

MAREF Engineering

Gartner 说 40% 企业将有 Agent，但 88% 已出过事。花在'用 AI 做安全'上是'保护 AI 本身'的 17 倍。仅 6% 有成熟策略。AI 代码缺陷将暴增 2,500%。7 个数字，每一个都在说同一件事：事故正在追赶规模。

2026-06-13

MAREF Engineering

6.3 亿仓库，一半新代码是 AI 写的，信任度从 77% 跌到 60%。CMU 挖出 600 万假 star，CodeRabbit 发现 AI 代码严重问题是人工的 1.7 倍。你用 AI 变慢了 19%，但你觉得自己快了 20%。

2026-06-13

MAREF Engineering

多智能体系统正在进入生产环境。没有治理，每个智能体都是数据泄露、幻觉传播和对抗性利用的未监控向量。

2026-06-16

MAREF Engineering

大多数安全工具是「测过」的。MAREF 是「证过」的——使用 TLA+ 模型检验、Lyapunov 稳定性分析和数学收敛性保证。

2026-06-16

MAREF Engineering

OWASP 发布了 Agentic Top 10——多智能体系统的权威威胁模型。MAREF 是首个覆盖全部 10 项风险的开源框架。

2026-06-23

Frankie

从 30 年 steadicam 摄影师到 AI 安全基础设施。片场教会我的事，恰恰是 AI 行业最缺的：安全不是速度的敌人，安全是你敢加速的前提。