Formal verification as defense against AI exploitation

Illia Polosukhin breaks down why AI needs blockchain as its backend, how formal verification could rewrite every line of code online, and what a post-labor economy looks like.

We cover:

- The Near.com Unified Interface Launch

- Why Financial AI Needs Verifiable Privacy

- The AI Agent Marketplace Explained

- Chinese Open-Source Models vs. US Frontier Models

- Cloud Inference Without the CapEx or Data Exposure

- Will AI Break the Power Grid?

Timestamps:

00:00 Intro

00:12 NEAR's Unified Commerce Layer

02:39 Agentic Chain Abstraction

04:50 Convergence of AI & Crypto

07:49 Why Blockchain Is Built For Bots

08:36 Crypto's Reputation Problem in AI

10:04 Intent Infrastructure & Partnerships

13:30 Consumer Product Distribution Strategy

15:43 infiniFi, Relay Ads

16:30 Formal Verification & Code Rewriting

20:09 Self-Replicating Agents Debate

23:33 Post-AGI Economics & GDP

24:02 Hibachi Ad

27:17 Will Agents Create Their Own Currency?

28:42 Tech Workforce & Gig Economy Shift

31:18 DoorDash Is Cooked: Agent Marketplaces

Website: https://therollup.co/

Spotify: https://open.spotify.com/show/1P6ZeYd...

Podcast: https://therollup.co/category/podcast

Follow us on X: https://www.x.com/therollupco

Follow Rob on X: https://www.x.com/robbie_rollup

Follow Andy on X: https://www.x.com/ayyyeandy

Join our TG group: https://t.me/+TsM1CRpWFgk1NGZh

The Rollup Disclosures: https://goodidea.ventures

𝗗𝗜𝗦𝗖𝗟𝗔𝗜𝗠𝗘𝗥: 𝘐𝘯𝘷𝘦𝘴𝘵𝘪𝘯𝘨 𝘪𝘯 𝘤𝘳𝘺𝘱𝘵𝘰𝘤𝘶𝘳𝘳𝘦𝘯𝘤𝘺 𝘢𝘯𝘥 𝘋𝘦𝘍𝘪 𝘱𝘭𝘢𝘵𝘧𝘰𝘳𝘮𝘴 𝘤𝘰𝘮𝘦𝘴 𝘸𝘪𝘵𝘩 𝘪𝘯𝘩𝘦𝘳𝘦𝘯𝘵 𝘳𝘪𝘴𝘬𝘴 𝘪𝘯𝘤𝘭𝘶𝘥𝘪𝘯𝘨 𝘵𝘦𝘤𝘩𝘯𝘪𝘤𝘢𝘭 𝘳𝘪𝘴𝘬, 𝘩𝘶𝘮𝘢𝘯 𝘦𝘳𝘳𝘰𝘳, 𝘱𝘭𝘢𝘵𝘧𝘰𝘳𝘮 𝘧𝘢𝘪𝘭𝘶𝘳𝘦 𝘢𝘯𝘥 𝘮𝘰𝘳𝘦. 𝘈𝘵 𝘤𝘦𝘳𝘵𝘢𝘪𝘯 𝘱𝘰𝘪𝘯𝘵𝘴 𝘵𝘩𝘳𝘰𝘶𝘨𝘩𝘰𝘶𝘵 𝘵𝘩𝘪𝘴 𝘤𝘩𝘢𝘯𝘯𝘦𝘭, 𝘸𝘦 𝘮𝘢𝘺 𝘦𝘢𝘳𝘯 𝘢 𝘤𝘰𝘮𝘮𝘪𝘴𝘴𝘪𝘰𝘯 𝘰𝘳 𝘧𝘦𝘦 𝘢𝘴 𝘢 𝘴𝘱𝘰𝘯𝘴𝘰𝘳𝘴𝘩𝘪𝘱, 𝘪𝘧 𝘵𝘩𝘪𝘴 𝘪𝘴 𝘵𝘩𝘦 𝘤𝘢𝘴𝘦 𝘸𝘦 𝘸𝘪𝘭𝘭 𝘢𝘭𝘸𝘢𝘺𝘴 𝘮𝘢𝘬𝘦 𝘴𝘶𝘳𝘦 𝘪𝘵 𝘪𝘴 𝘤𝘭𝘦𝘢𝘳. 𝘞𝘦 𝘢𝘳𝘦 𝘴𝘵𝘳𝘪𝘤𝘵𝘭𝘺 𝘢𝘯 𝘦𝘥𝘶𝘤𝘢𝘵𝘪𝘰𝘯𝘢𝘭 𝘤𝘰𝘯𝘵𝘦𝘯𝘵 𝘱𝘭𝘢𝘵𝘧𝘰𝘳𝘮, 𝘯𝘰𝘵𝘩𝘪𝘯𝘨 𝘸𝘦 𝘰𝘧𝘧𝘦𝘳 𝘪𝘴 𝘧𝘪𝘯𝘢𝘯𝘤𝘪𝘢𝘭 𝘢𝘥𝘷𝘪𝘤𝘦. 𝘞𝘦 𝘢𝘳𝘦 𝘯𝘰𝘵 𝘱𝘳𝘰𝘧𝘦𝘴𝘴𝘪𝘰𝘯𝘢𝘭𝘴 𝘰𝘳 𝘭𝘪𝘤𝘦𝘯𝘴𝘦𝘥 𝘢𝘥𝘷𝘪𝘴𝘰𝘳𝘴.