“A defense-in-depth strategy combining techniques like Goodfire's intentional design, Redwood Research's AI control, and formal verification for cybersecurity could be sufficient to manage AI risks.”