AI system proves an 18-year-old quantum computing conjecture, lab says
Physical Superintelligence says a system running an unreleased Anthropic model proved the 2008 Aaronson–Ambainis conjecture, and Lean checked it. Outside experts have yet…
Topic
Anthropic
Claude Code ‘don’t ask again’ can leave secrets on public GitHub
Apiiro counted 2,539 secrets in 1,994 public GitHub repos after Claude Code saved approved shell commands, credentials included, in .claude/settings.local.json.
Progress on provable inference for large language models
Sharing progress on a powerful type of cryptographic proof known as a zkSNARK, which is uniquely fit for provable inference.
Claude Haiku 5.5
Claude Haiku 5.5 is Anthropic’s fastest, most capable small model. Built for high-volume work like summarisation, subagents, and browser use.
Sonnet 5.5
Claude Sonnet 5.5 is a clear upgrade over Claude Sonnet 5, runs 30%+ faster, and costs up to 30% less for most work.
Claude discovers a novel enzyme system with CRISPR-like repeats
In early results from Anthropic’s new life sciences research lab, Claude agents found an enzyme system whose function is still unknown.
Claude Opus 5.5
Claude Opus 5.5 leads in agentic coding and knowledge work, and costs 40% less to run than Opus 5 on typical workloads.
Formalising Fermat’s Last Theorem
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.
Claude Fable 5.1 and Claude Mythos 5.1
Anthropic’s most advanced models for coding and knowledge work. Their research capabilities also offer an early glimpse of how AI models will contribute…