Anthropic had Claude generate mathematical proofs that existing code is correct, producing roughly 180 million lines of proof code for 123 open-source libraries. Along the way, the model caught bugs that years of testing had missed. Anthropic's goal: making formal verification with AI as routine as standard testing.
The article Anthropic's Claude now writes code and proves it safe automatically appeared first on The Decoder.
source & further reading
the-decoder.com — original article
Major US banks are locking out AI agents that log in with customer credentials
Google's Agent Compute Engine gives every Gemini agent its own hardware-isolated micro virtual machine
An AI agent in "Skynet mode" hijacks unprotected language models to launch self-sustaining cyberattacks