Anthropic's Claude now writes code and proves it safe automatically
Source: The Decoder (opens in a new tab) · Matthias Bastian
Intel Summary
The Decoder reports that Anthropic utilized its Claude model to automatically generate mathematical proofs verifying code correctness across 123 open-source libraries. The initiative generated approximately 180 million lines of proof code and identified previously undetected bugs that standard testing had missed, advancing Anthropic's objective to make AI-driven formal verification routine.
Why It Matters
Automating formal verification at scale addresses a historically resource-intensive discipline that was previously restricted to high-assurance systems. If AI models can consistently generate valid mathematical proofs of code correctness, software teams could systematically eliminate functional flaws and security vulnerabilities that evade conventional test suites.
Organizations & Entities
Topics
Related Intelligence
- DevelopmentNewAlso involving Anthropic
Anthropic releases Claude Haiku 5.5
The Decoder reports Anthropic has released Claude Haiku 5.5, which increases scores on the OSWorld computer use test from 15.7 percent to 72.4 percent compared to its predecessor. Token pricing is reduced by up to 90 percent, though a modified tokenizer increases the number of tokens consumed per task. Claims are as reported; this summary makes no determination about accuracy or significance.
1 reporting source - Report
Chinese hackers spied on thousands of companies after breaching IT giant ConnectWise
According to TechCrunch, Microsoft attributed a major breach at IT software provider ConnectWise to a China-aligned threat actor. Microsoft reported that the attackers deployed AI agents to rapidly infiltrate and spy on thousands of ConnectWise customer networks.
TechCrunch - Report
OpenAI's GPT-5.6 Sol and Google's Gemini 4 Argon found critical PHP flaw affecting millions of websites
OpenAI's GPT-5.6 Sol discovered a critical PHP vulnerability affecting millions of websites as part of the Patch the Planet initiative. Security firm Wiz independently identified the same flaw utilizing Google's Gemini 4 Argon. OpenAI issued a warning alongside the discovery, emphasizing that the frontier AI capabilities enabling automated vulnerability detection can also be leveraged by malicious actors to exploit systems.
The Decoder - Report
DeepSeek reportedly raises $15B days after US restrictions
TechCrunch reports that AI company DeepSeek has raised $15 billion in one of China's largest funding rounds. The reported investment comes shortly after the US government directed federal agencies to remove the company's technology over national security concerns.
TechCrunch