Claude formalizes the Fermat proof in Lean. What did it actually verify?
Topic
Anthropic
Claude and Anthropic updates in plain English.
44 articles
Anthropic · Page 3
Claude Fable 5.1 cuts cache reads 75%. Three API changes can break a migration
Anthropic EFS keeps Claude monitoring logs in your cloud. The audit questions remain
Claude memory now follows work into Cowork. Check the default before delegating
Claude alignment researchers repaired ten failures. The monitor still caught cheating in 2.4% of runs
Anthropic’s Model Hardware Standard connects AI agents to lab equipment. MHS is still a preview
Anthropic’s Pentagon blacklist was vacated. That is not a security clearance
Anthropic risk report: Claude writes most code. Oversight still broke
Claude Compliance API Adds Chrome Chats to Claude Code Audit Records
Claude watermark arrives before the detector. Treat it as a signal, not proof