capGoblin

Anthropic is getting so ready for IPO - first released Fable 5.2 & Mythos 5.2 - next the Claude Whiteboards, Sheets and Data - and Self-hosted Claude Managed Agents all in a span of few days, we abt to witness more updates ig

Self-hosted Claude Managed Agents is now in private beta. You can host the agent harness, sandboxes, and session history, in your own cloud or on-premises, and choose where requests to Claude are sent.

Thrilled to announce that our @GoogleDeepMind team has cracked a major challenge in software engineering and cybersecurity: formally verifying a real-world implementation of the #Signal cryptographic protocol at the machine-code level. This proof was done using AlphaProof Code, our new AI framework for formal specification and verification. * Paper: deepmind.google/documents/36… * Lean code: github.com/google-deepmind/c… * DeepMind blog post: deepmind.google/blog/introdu… A huge shoutout to my amazing teammates: @tchajed, @FerrousAndrew, Jonathan Katz, @pushmeet, @antonkovsharov, Karn Seth, Sam Schlesinger, @RandomlyWalking. I started working on formal software verification 20+ years ago as a grad student. I was persuaded by Dijkstra and other computer science pioneers’ vision of programming backed up by mathematical theorems. At that time, we had to choose between automated code analysis algorithms that scaled but could only prove shallow properties, and deep manual verification that took decades of expert human work. Thanks to progress in AI for mathematical reasoning, we don’t have to make that choice any more. Over four weeks in October 2026, AlphaProof Code agents generated more than 6 million lines of machine-checked Lean proof. We proved deep computational and symbolic security properties of the entire protocol core of Signal, all the way down to the ARM machine-code level. This is just the first step, of course, because our goal is nothing short of verifying the world’s software infrastructure. Most cyberattacks, including the AI-powered ones recently in the news, happen because of preventable code bugs. I expect that agents for formal code analysis will eliminate these bugs one category at a time. As our paper explains in more detail, this doesn’t at all mean humans are out of the picture! Proofs are now largely automated, but human experts will need to decide what is proved with AI assistance. AlphaProof Code offers an early glimpse of what such human-AI collaboration could look like, but many other proposals of this nature will emerge. We have released all our Lean specs and proofs and plan to work with the open-source community on improving them. If you are building critical software and would like to apply these ideas, come talk to us!

NVIDIA announces CEO transition. Read the release: nvidianews.nvidia.com/news/n…

We switched 10 people from iPhone to Blue. Weeks later, none of them want their iPhone back. Introducing Blue: a phone you just talk to. Tell it what you need, and it gets done. It has all the context, can use every single app, and even triages your notifications. We built it for people who always have a little too much to do. The ones buried in messages, notifications, and to-dos. If that's you, get yours today. Backed by Y Combinator + 70 other VCs & angels. heyblue.com

Introducing Gemini Decision 1, our new frontier decision model in the Gemini API. It is $0.10 per 1M input tokens with no additional cost. With support for image, audio, video, and PDF natively, 256K context window, & 1K questions. You can try it for free in the API!

Anthropic has launched the roadshow for its proposed initial public offering: anthropic.com/news/roadshow-… Legal disclaimer: A registration statement relating to these securities has been filed with the SEC but has not yet become effective. These securities may not be sold, nor may offers to buy be accepted, prior to the time the registration statement becomes effective. This post does not constitute an offer to sell or the solicitation of an offer to buy these securities, nor shall there be any sale of these securities in any state or jurisdiction in which such offer, solicitation or sale would be unlawful prior to registration or qualification under the securities laws of any such state or jurisdiction.

Anthropic has launched the roadshow for its proposed initial public offering: anthropic.com/news/roadshow-… Legal disclaimer: A registration statement relating to these securities has been filed with the SEC but has not yet become effective. These securities may not be sold, nor may offers to buy be accepted, prior to the time the registration statement becomes effective. This post does not constitute an offer to sell or the solicitation of an offer to buy these securities, nor shall there be any sale of these securities in any state or jurisdiction in which such offer, solicitation or sale would be unlawful prior to registration or qualification under the securities laws of any such state or jurisdiction.

Starting to roll out today: Claude Whiteboards, Claude Sheets and Claude Data. Think a plan through on a board, build a tracker in a sheet, and tell a story with your data.

After years working on robot memory at @NASAJPL, @GoogleDeepMind , @Meta and @nvidia, @clarkzhango and I kept asking: why does AI still forget? Today, with @deepakmishraVC, we’re announcing @GraphonAI and our $35M Series A just 6 months after our seed. • #1 on ATM-Bench, ATM-Bench Hard • 94% on LoCoMo • 84% on DolphinBench, 10x cheaper • A new cost-accuracy frontier across 7 benchmarks businessinsider.com/graphon-…

Anthropic has launched the roadshow for its proposed initial public offering: anthropic.com/news/roadshow-… Legal disclaimer: A registration statement relating to these securities has been filed with the SEC but has not yet become effective. These securities may not be sold, nor may offers to buy be accepted, prior to the time the registration statement becomes effective. This post does not constitute an offer to sell or the solicitation of an offer to buy these securities, nor shall there be any sale of these securities in any state or jurisdiction in which such offer, solicitation or sale would be unlawful prior to registration or qualification under the securities laws of any such state or jurisdiction.