Claude Writes Crash Proofs for 123 Libraries
Claude's machine-checked proofs found hundreds of bugs fuzzers missed, but they only cover RISC-V binaries and can take hundreds of millions of tokens.
Read the storyClaude
Product · General assistants
An AI assistant for analysis, writing, coding and working with documents.
Follow Claude
Explore the coverage Get AI Secret’s free daily briefing, including Claude and the wider AI industry.
Product overview
An AI assistant for analysis, writing, coding and working with documents.
Official product information checked .
- Type
- AI product
- Category
- General assistants
- Developer
- Anthropic ↗
- Coverage
- Product releases, capabilities and real-world use.
The latest on Claude
Newest firstRelated reporting
Briefs, articles and relevant sections, newest first. Explore older coverage below.
More coverage
8 min read · Members
OpenClaw's Creator Burns $10M a Month
Plus: Humans Were the Bug, Giants Wants Free Chatters to Pay
1 min read · Members
Claude API's First New Version Drops Temperature
Anthropic's new API version turns temperature, top_p and top_k into 400 errors on every model, while the 2023 version stays alive for holdouts.
1 min read · Members
Claude Duet Takes On Muse and Dots
Claude Duet briefs users daily, works in its own cloud browser and asks before paying, but checks connected accounts only every few hours.
7 min read · Members
DeepSeek Sells Wishes for 20 Cents
Plus: Anthropic Pulled Up the Ladder, OpenAI Copied Meta's Ad Machine
2 min read · Members
Opus 5.5's Fallback Is Its Weak Spot
Opus 5.5 hands flagged security requests to Opus 4.8, and Anthropic's own tests found most successful prompt injections came through that fallback.
2 min read · Members
DeepSeek's New Flash Leads Open Coding Models
DeepSeek's V4.1 Flash tops open models on Code Arena WebDev at a tenth of Kimi K3's cost, though Claude Opus 5 still leads most benchmarks.
1 min read · Members
Replit Demotes Claude Instead of Dumping It
Replit's CEO said it dropped Anthropic. Two days later, Claude was still available, and OpenAI had simply become the default most users keep.
2 min read · Members
Replit Leaves Anthropic, Its Docs Did Not
Replit's CEO says it dropped Anthropic for OpenAI, but people close to the deal deny it, and Replit's own blog and docs still run Claude.
7 min read · Members
Publishers Ban AI for Everyone Else
Plus: Epic Delayed Star Wars for Claude, China's Humanoids Are Just Toys
