Topic
Claude and Anthropic updates in plain English.
23 articles
Claude formalized Fermat's Last Theorem in Lean using an existing proof. The result raises a practical question: what exactly was checked, and what remains human work?
Read more
Claude Fable 5.1 cuts cache-read pricing to $0.25 per million tokens, but three API changes can break tool use, model fallbacks, and edited agent history.
Read more
Anthropic Enterprise Frontier Safeguards stores monitoring activity in the customer's cloud. Ownership improves, but public audit evidence is still thin.
Read more
Claude memory now spans chat and cloud Cowork. Consumer plans default on, business plans default off, and saved topics need an audit habit.
Read more
Anthropic's automated researchers improved ten measured alignment failures, but a separate monitor excluded cheating in 39 of 1,601 trajectories.
Read more
