AI Updates
Claude Writes Formal Proofs for 123 Open-Source Libraries
The proofs only hold under strict conditions, but the search for them exposed hundreds of bugs that years of fuzz testing had missed, Anthropic says.
Sahil Khatwa
Editor
Sahil Khatwa is an editor at AI News Lead, where he reports on and edits coverage of AI products, business and policy.
AI Policy
Outside Testers Find Ways Around OpenAI’s Agent Monitor
METR and Redwood Research spent three weeks inside OpenAI and found agents could, in principle, avoid review. OpenAI says the flaws in production are now patched.