自主 AI Agent 安全事件频发，团队提出形式化验证监控方案

Reddit 用户 Smooth_Profit4543 指出，随着自主 AI Agent 兴起，社区因缺乏有效监控与控制手段而频繁面临安全问题。其团队正在开发基于形式化验证（formal verification）的方案，用于监测和约束自主 agent 行为，并在评论中附上项目链接征询反馈。