Claude formal proofs, the ConnectWise breach, Symantec LLMjacking report - October 23, 2026

Chapters

1. 0:00

   Intro

2. 0:26

   LLMs are making formal software verification feasible at a much larger scale

   https://www.anthropic.com/research/formal-verification
3. 1:26

   Chinese hackers spied on thousands of companies after breaching IT giant ConnectWise

   https://techcrunch.com/2026/10/22/chinese-hackers-spied-on-thousands-of-companies-after-breaching-it-giant-connectwise/
4. 2:15

   Hackers hijack exposed AI models to launch cyberattacks at victims' expense

   https://www.helpnetsecurity.com/2026/10/23/llmjacking-agent-hijacks-exposed-ai-models/
5. 3:03

   1Password launches a way for AI agents to log in on your behalf without seeing your password

   https://techcrunch.com/2026/10/22/1password-launches-a-way-for-ai-agents-to-log-in-on-your-behalf-without-seeing-your-password/
6. 3:50

   Donating Agent Skills to the Agentic AI Foundation

   https://simonwillison.net/2026/Oct/22/donating-agent-skills/
7. 4:23

   OpenAI working on new $30B raise at $1.25T valuation ahead of IPO

   https://techcrunch.com/2026/10/22/openai-working-on-new-30b-raise-at-1-25t-valuation-ahead-of-ipo/
8. 5:12

   Rivian buys world model startup to accelerate self-driving ambitions

   https://techcrunch.com/2026/10/22/rivian-buys-world-model-startup-to-accelerate-self-driving-ambitions/
9. 5:54

   Merck and Moderna present Phase 3 INTerpath-001 results for intismeran plus KEYTRUDA

   https://www.merck.com/news/merck-and-moderna-will-present-results-from-landmark-phase-3-interpath-001-trial-for-intismeran-autogene-plus-keytruda-pembrolizumab-at-esmo-2026-presidential-symposium/
10. 6:43

    Arc browser sunsets December 22 as The Browser Company doubles down on Dia

    https://techcrunch.com/2026/10/22/arc-browser-sunsets-december-22-as-the-browser-company-doubles-down-on-dia/
11. 7:20

    Sign-off