Google's Re-Org 🤖 // Electric Atlas Robot ⚡ // Large Language Models in Theorem Proving 🔍

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