#Anthropic

We’re expanding our Cyber Verification Program to give security professionals broader access to our most capable models. Through this program, verified security professionals can access Claude Mythos 5.1, Opus 5.5, and Sonnet 5.5 with safeguards designed for defensive work. We’re also opening up new tiers to allow for authorized offensive work, like penetration testing and red-teaming. https://www.anthropic.com/news/cyber-verification-program

Prompt

I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached. TLA+ also works well. I sometimes combine Lean and TLA+ to look for issues around data flow, concurrency, and state mgmt. I don't know either language well, but Claude is excellent at both. This approach is super useful for formally modeling your code and finding bugs that a human probably wouldn't have spotted. Is formal verification the future of coding (or at least, bug finding)?

Cloud sessions run Claude Code on a fresh VM for each task, so you can start several at once and they keep going when you close your laptop. We wrote a field guide with seven workflows that suit them, plus how to connect GitHub on the first try. https://claude.dev/blog/claude-code-in-the-cloud

Anthropic 计划在未来几年内在云和算力上花费 5180 亿美元，约是其 2025 年底持有的 203 亿美元现金和短期投资的 25 倍。 其招股书草案指出，多家供应商同时也是 AI 竞争对手，这可能“不利影响”其获取算力。 在 Anthropic IPO 之后，@TradrETFs 预计将推出杠杆做多和做空 ETF，$ANTT 和 $ANTZ。 与这些证券相关的注册声明已提交给美国证券交易委员会，但尚未生效。请参阅生效前招股说明书。https://www.sec.gov/Archives/edgar/data/1587982/000121390026021796/ea0278457-01_485apos.htm

Meta and Microsoft are cutting employee use of Claude Earlier, Microsoft had projected at least $1B in internal Claude spending this year, then cut that figure by more than 33%. OpenAI's own data show the climb steepening late, with the median researcher consuming more than $600 worth of tokens per day i.e. around $1.8 mn per emplyee/per year. Those agents now log 3.1 agent-workdays for every human workday, using an eight-hour workday as the comparison. Microsoft is moving the other way, cutting most per-employee AI budgets in its 60K-person cloud and AI group from $100K to about $10K a month, roughly $333 a day. Meta's Claude Code users have likewise fallen from about 60K to about 30K, as staff shift to its in-house MetaCode and Muse Code tools.

The top 1% of AI spenders now outspend the bottom 50% combined They spend an average of $903/month, while the median customer spends just $25 More charts in our Top 100 Consumer AI Apps breakdown: https://www.a16z.news/p/top-100-consumer-ai-apps-seventh

OpenAI's median researcher used $601 of coding-agent inference a day at API prices, up from under $1, in January 2026. Eoch AI's new report. > OpenAI researchers' coding-agent usage, valued at API list prices, is doubling roughly every month > By mid-August 2026, the median researcher used $601 a day and about $2M a year, roughly matching or exceeding what employing a researcher costs. > This pace probably can't last, since one more year would reach about $185M per median researcher, and list-price figures reveal nothing about what OpenAI actually spends.

Your Slack group DMs can now include Claude. Add it the same way you'd add anyone else. Claude answers in a thread and keeps following it, so anyone in the DM can reply there and reach it. It can also use the personal connectors of whoever asks.

Hi! I work on Cowork. Probably no surprise, but we want to make our users as powerful as possible with Claude - and you're right that explaining and keeping up with the capabilities is hard. Affected users got both an email and an in-app notice, but I'm grateful for the feedback - I think this change was more surprising to people than I'd like it to be. This one will be a longer explainer, bear with me! The "old" version of Cowork runs model inference in the cloud, executing tool calls in an Anthropic-provided VM we shipped to your computer. We added the VM for capability, safety, and security reasons - mapping in just the data you explicitly added to your session. People loved what they were able to do with Claude but didn't love the disk, battery, and performance cost of running the VM locally. Also, people didn't love that closing your laptop means the work stops. The "new" version of Cowork runs model inference and the VM in the cloud. Each session gets its own sandbox, not sharing state with other sessions. When the VM needs something on the users' device (like a file), the desktop app is responsible for that file access tool call. To be clear, Claude will only access files in folders that the user explicitly added to the session, the same way Claude only saw files explicitly added to the VM in the "old" version. Sandboxes are destroyed when the session ends! We think this solves a lot of problems we've heard about (like using Cowork from a phone, keeping work running, or getting all the same power without losing battery to the VM) - but we'll keep iterating on new feedback we hear!