TLDRocket
Sign in

Claude

207 summarised stories about Claude, each linking back to the original source. Browse all topics →

+ Follow this topic

Saturday, 5 September 2026

Claude Mythos 5.1 and Fable 5.1: Capabilities

Zvi (Don't Worry About the Vase) 1 month ago 23 ● 5 sources

Claude Fable 5.1 was released alongside discussion of its relative capabilities versus other leading models like GPT-6 Astra. Cache reads on Fable 5.1 are priced at $0.25 per million tokens, down from $1. As a result, users get lower per-token costs, fewer safeguard interventions, optional zero data retention for eligible customers, and improved performance across multiple coding and agentic benchmarks.

Anthropic uses Claude to formalize proof of Fermat’s Last Theorem

SiliconANGLE 1 month ago 40

Anthropic used Claude to turn Andrew Wiles’ Fermat’s Last Theorem proof into computer-verifiable Lean code. The formalization consists of 13 million lines of Lean code and was completed in 11 days. The result is a large Lean proof file that can be checked automatically by computers, reducing human-error risk and easing sharing.

The daily briefing

Every AI story that matters, in your inbox by 8am.

TLDRocket reads all relevant sources, removes duplicate coverage, and summarises the day in two minutes. Follow companies and topics for alerts, or get the briefing in Slack. Free, no spam, unsubscribe anytime.