Analysis
AI claims: separate benchmark scores, intrusion reports and checked proofs
A security score, an intrusion timeline and a formal proof establish different things. Use a compact evidence map before accepting a larger claim about AI capability.
