Tag
Terence Tao demonstrates how to use Claude Code as a red teaming tool to align Lean code style with Mathlib's official style guide, using the Riemann–Stieltjes integral formalization project as an example. The demonstration showcases the practical value of AI in code auditing and style alignment.
Claude Mythos AI discovered a novel attack vector that bypassed Apple's M5 chip defense system in five days at a cost of $35K, producing a 55-page report delivered to Apple. The exploit poisons data ingested by the chip, evading Apple's MIE system.
Arc Gate is a runtime governance layer for LLM agents that enforces instruction-authority boundaries. The project has launched a public red team environment where users can submit attacks and receive full security traces, with a benchmark showing 100% unsafe action prevention.