Replay 2026 / talk 13
Vitalik and Balaji · 35:49
Vitalik Buterin is cofounder of Ethereum and creator of Zuzalu, the pop-up city experiment. He joins Balaji Srinivasan for a fireside chat.
Website: https://vitalik.eth.limo
OUTLINE
0:15 - Do you think public key cryptography continues?
4:57 - Open-weight models bundled with the rest of a blockchain node
7:12 - The whole Lean roadmap would basically not be possible without AI
9:01 - The future of formal verification is end-to-end
9:52 - Pure mathematicians are going to see their salaries go up 10x
14:55 - Proof of human social networks where no AI writing is allowed
18:21 - Switching topics: Z