MAREF 博客 — 智能体治理 关于智能体治理、多智能体安全、形式化验证和构建可信 AI 系统的思考。 https://maref.cc/zh/blog zh Tue, 16 Jun 2026 00:00:00 GMT <![CDATA[不是「测过」，是「证过」——为什么 MAREF 用 TLA+ 形式化验证]]> https://maref.cc/zh/blog/tla-plus-formal-verification https://maref.cc/zh/blog/tla-plus-formal-verification Tue, 16 Jun 2026 00:00:00 GMT MAREF Engineering <![CDATA[OWASP Agentic Top 10：MAREF 如何覆盖全部 10 项关键风险]]> https://maref.cc/zh/blog/owasp-agentic-top-10 https://maref.cc/zh/blog/owasp-agentic-top-10 Tue, 16 Jun 2026 00:00:00 GMT MAREF Engineering <![CDATA[88% 的公司已经翻车了——关于 AI Agent 安全的 7 个数字真相]]> https://maref.cc/zh/blog/88-percent-incidents https://maref.cc/zh/blog/88-percent-incidents Sat, 13 Jun 2026 00:00:00 GMT MAREF Engineering <![CDATA[GitHub 正在变成一个巨型 AI 代码垃圾场]]> https://maref.cc/zh/blog/vibe-coding-crisis https://maref.cc/zh/blog/vibe-coding-crisis Sat, 13 Jun 2026 00:00:00 GMT MAREF Engineering <![CDATA[为什么智能体治理在 2026 年至关重要]]> https://maref.cc/zh/blog/why-agent-governance-matters-2026 https://maref.cc/zh/blog/why-agent-governance-matters-2026 Sat, 13 Jun 2026 00:00:00 GMT MAREF Engineering