New on our Frontier Red Team blog: using Claude to formally verify software at large scale. Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time). With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks. Read our research in full here: anthropic.com/research/forma…

SCOOP: Major U.S. banks are detecting unauthorized third-party AI agents inside customer accounts, including some attempting to take actions that appear to be independent of user instructions, sources told Axios. The findings have alarmed banking executives, who are racing to restrict access to their systems as AI moves at a velocity faster than financial institutions can respond, multiple industry and bank executives told Axios. Several banks are now preparing for worst-case and even “day after” scenarios, including how to rapidly secure or restore customer accounts if things go wrong, the people said. Several bank executives told Axios they're struggling to distinguish between human users and AI agents. One executive said banks also struggle to determine whether agents are authorized by customers or potentially operating without their permission, more akin to rogue agent behavior. Read my latest for Axios here: axios.com/2026/10/22/ai-agen…

There is nothing to worry about. Nothing important is run on PHP or old software—except the water & electrical grid, a few government services like our missile defense systems and a handful of electrified fences at the zoo (for the lions, tigers and cobras).

💥 Introducing Warp Sciences, a new company applying AI and robotics to help the world develop new medicines faster. We’ve raised a $215M Series A led by @lightspeedvp to bring frontier AI out of the browser and into the lab, and build scientific capacity here in America. I co-founded Warp with my long-time friend @dpatil, FAIR co-founder @manohar_paluri, and drug hunter Sol Reisberg. The early team is full of incredible people like @bkspears9, who helped achieve Q>1 fusion at LLNL.

We’re bringing the magic of Waymo to Toronto! 🇨🇦 In the coming days, you’ll begin seeing Waymo’s all-electric vehicles driving through Toronto’s streets as we lay the groundwork for our ride-hailing service. Our goal is to begin serving riders in 2028. Sign up for future updates: waymo.com/waymo-in-canada

What began as an effort to build better infrastructure for online surveys and data collection has grown into something larger. Today, we're officially launching Proof of Human on @ycombinator. Our new name reflects our mission: to preserve human trust on the internet in the age of AI. As AI becomes increasingly capable, knowing whether there's a real human on the other side is becoming fundamental infrastructure. If you're working on a difficult human verification problem, we'd love to hear from you. Welcome to the Proof of Human era.

BREAKING NEWS The Royal Swedish Academy of Sciences has decided to award the 2026 Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel to Robert E. Hall and Michael Woodford “for microeconomic foundations of macroeconomic stabilisation.” #NobelPrize

“Do you think that getting married young has made you less ambitious?” Welcome to the first episode of SOTA Wives with Sarah Chieng (Head of DevX at Cerebras, ⁠@MilksandMatcha⁠) x Vivian Midha Shen (General Partner at Y Combinator, ⁠@vivianmshen⁠). In episode 1: finding your person before getting rich, turning down startup funding to finish MIT, what a YC partner sees in founders, and how a birthday post became “psychological violence.” 4:08 Finding your husband before the exit 8:48 Did we marry away our ambition? 18:04 The internet called Sarah's birthday “psychological violence” 20:47 Does your YC partner secretly think you’re doomed? 23:47 Building a startup with your ex-boyfriend 28:54 SF cat parties