ClickFix uses fake CAPTCHAs and a signed Microsoft App-V script to deploy Amatera stealer on enterprise Windows systems.
Theorem raises $6 million to use AI-powered formal verification to mathematically prove AI-generated code is safe before it's deployed in critical systems.