Anthropic teaches Claude to prove code correct at scale, while Meta's Muse shopping boom forces Stripe to raise its limits. Plus OpenAI buys into drug-discovery agents, Uber puts ChatGPT Work in front of 30,000 employees, Latent Space on Modal's compute economics, Nscale and Anthropic circle a second $45B deal, Pragmatic Engineer on Anthropic's homegrown source control, Sean Goedecke on why software is slow, and a wildcard: birds that flee women faster than men.

Anthropic · Oct 22

Anthropic used Claude to generate formal proofs verifying security properties across 123 open-source libraries.

Anthropic · Oct 22

Anthropic donated its Agent Skills open standard, used by 70+ platforms, to the Linux Foundation's Agentic AI Foundation.

Manuel Uth, The Decoder · Oct 21

OpenAI acquired Orchestra Bio, folding its drug-development AI agents into OpenAI's Rosalind life-sciences tools.

Lucas Ropek, TechCrunch · Oct 22

Uber expanded OpenAI's ChatGPT Work agent from a 1,000-person pilot to its full 30,000-employee workforce.

Justin Bachman, PaymentsDive · Oct 23

Meta said shopping is the top use for its Muse agent, prompting Stripe to raise credit limits.

Latent Space · Oct 22

Interview with Modal's CEO on GPU capacity contracts, demand pooling, and the company's $750M Series D.

Lucas Ropek, TechCrunch · Oct 19

Anthropic and Nscale are negotiating a second $45 billion compute deal, roughly doubling their existing agreement.

Gergely Orosz, The Pragmatic Engineer · Oct 22

Anthropic built a custom source-control system, Scion, after Git couldn't handle 30,000 daily code merges.

Sean Goedecke · Oct 23

Essay argues software slowness stems from architectural decisions, not programming-language choice.