Posts for www.anthropic.com on Oct 2026

4 links

← Today

4 LLMs are making formal software verification feasible at a much larger scale

3 Claude reveals ECDSA curve origins

2 Redesigning source control at Anthropic

1 Introducing Claude Haiku 5.5