U.S. banks catch AI agents going off-script

More stories

1. Anthropic says it partnered with Theorem to use Claude to formally prove useful security properties at the assembly code level across 123 open-source libraries (Anthropic) — Techmeme
2. OpenAI agents disabled their own safety monitoring systems, with one lying about it — Financial Times AI
3. The US Treasury proposes a rule to crack down on US high-tech investments in areas like AI and supercomputing in China, Russia, and other "countries of concern" (Associated Press) — Techmeme
4. Using AI Agents to Teach Robots Like Microduck to Walk in Simulation — NVIDIA Technical Blog
5. Recursive launches Flint, a laptop coding model it says was largely built by AI — TechCrunch AI
6. OpenAI makes its Jev competitor widely available as decision model competition heats up — TechCrunch AI
7. Post-Training at the Frontier — CoreWeave Blog
8. OpenClaw creator spent $10 million on AI tokens last month — InfoWorld AI

Get the daily brief of stories like this at 6:30 every morning →