Google merges Android, Chrome, and hardware divisions to deliver higher quality products and experiences for users and partners, with a focus on AI innovation.
Boston Dynamics introduces the electric Atlas robot, designed for real-world applications and stronger, more dexterous, and more agile than its predecessors.
"Towards Large Language Models as Copilots for Theorem Proving in Lean" explores using large language models to assist humans in theorem proving.
"AutoCrawler: A Progressive Understanding Web Agent for Web Crawler Generation" introduces AutoCrawler, a framework for generating web crawlers that leverages the power of large language models to handle diverse and changing web environments more efficiently.
Contact:  [email protected]
Timestamps:
00:34 Introduction
01:32 Google merges the Android, Chrome, and hardware divisions
03:02 New Atlas Robot from Boston Dynamics
05:01 Karpathi On Llama3
06:19 Fake sponsor
08:14 Towards Large Language Models as Copilots for Theorem Proving in Lean
09:47 AutoCrawler: A Progressive Understanding Web Agent for Web Crawler Generation
11:21 Groma: Localized Visual Tokenization for Grounding Multimodal Large Language Models
12:58 Outro

Ver todos los episodios