@astridwilde I think I would bet against this. I think people overrate formal verification, assuming that's what he means. I would be very happy to be wrong though!
@katekathrynpear Just that the target has some kind of large nondescript rodent I can't identify 😅 When I go target shooting I use targets that have the gains goblin on them, so if he appears to try to steal my gains, I'm ready.
AI IS BREAKING BITCOIN
Rob Hamilton spent the last six weeks on the front line of the AI War, this is his story.
Casey @Rodarmor and Erin Redwing @realizingerin sit down with @Rob1Ham (CEO of @AnchorWatch and Bitcoin) to talk about AI tearing through the Bitcoin ecosystem - from the COLDCARD bug and Red Team to Chinese vs. American models and what comes next for software security.
Rob’s conclusion: Bitcoin is getting hit first, but AI is coming for everyone.
TIMESTAMPS
0:00 Intro & Bitcoin DEFCON Level
3:24 How Rob was recruited to the AI War
5:53 Kimi K3 changed everything
7:50 @COLDCARDwallet Hack
12:00 Red Teaming the Bitcoin Ecosystem with AI
21:13 AI Security as Spiritual War: Demons in Bitcoin's Code
24:07 The AI Great Oxygenation Event
26:30 The Gell-Mann Amnesia Effect
33:06 Collapse of the Internet Ad Revenue Model
35:06 Transhumanism
37:30 Red Teaming
42:00 Rob's Conscription to the AI War
46:52 AI Attack vs Defense
51:22 Rob is now a Bitcoin Core Contributor
54:56 Don't Trust, Verify
57:36 Pleb vs Dev: Who dominates Bitcoin culture now?
1:01:11 Covenants & Reactive Security
1:19:47 US vs China AI Models
1:27:35 Open Weight Models vs Frontier Labs
1:30:29 Math is Illegal
1:32:25 Raising Kids in the AI Era & Outro