This week on “Uncanny Valley,” we discuss the contractor who plugged their AI agent into a Pentagon system, Anthropic’s IPO filing, and the volunteers gearing up to counter ICE at the midterms.
A new startup called &Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended.