Chapter
The Limits of Formal Modeling and Scaling AI
2:18:08 - 2:25:59 (07:50)
This episode discusses the limits of formal modeling in extracting information from elliptic curves and scaling models like GPT-3, and debates about whether AI can improve its reasoning abilities even with more hardware. Ultimately, the discussion delves into the mathematical reduction of big things to building blocks.
Clips
The debate on whether scaling up models or focusing on real-world experience is more effective continues to be a topic in artificial intelligence and modeling discussions.
2:18:08 - 2:21:37 (03:28)
Summary
The debate on whether scaling up models or focusing on real-world experience is more effective continues to be a topic in artificial intelligence and modeling discussions. While there are limitations to scaling similar approaches, traditional cryptography offers a successful balance of formality and informality by providing secure protocols under given assumptions.
ChapterThe Limits of Formal Modeling and Scaling AI
Episode#188 – Vitalik Buterin: Ethereum 2.0
PodcastLex Fridman Podcast
The podcast discusses the intersection of cryptography and cryptocurrency and how consensus mechanisms are an art in crypto economic systems.
2:21:37 - 2:25:59 (04:21)
Summary
The podcast discusses the intersection of cryptography and cryptocurrency and how consensus mechanisms are an art in crypto economic systems.