red-team

陶哲轩演示如何使用 Claude Code 作为红队工具，将 Lean 代码风格对齐 Mathlib 官方风格指南，并以 Riemann–Stieltjes 积分的形式化项目为例，展示了 AI 在代码审计和风格对齐中的实用价值。

Claude Mythos AI发现了一种新型攻击向量，在五天内以3.5万美元的成本绕过了苹果M5芯片的防御系统，并生成一份55页的报告交付给苹果。该漏洞通过污染芯片摄入的数据，规避了苹果的MIE系统。

Arc Gate 是一个用于LLM智能体的运行时治理层，强制执行指令-权限边界。该项目已推出公开红队环境，用户可提交攻击并获取完整安全追踪信息，基准测试显示其实现了100%的不安全行为阻止率。