Show notes
OpenAI's new prototype, SearchGPT, promises to combine AI smarts with real-time web information to make search easier.AI has achieved silver-medal standards at the International Mathematical Olympiad, raising questions about the future of mathematics and the role of AI in solving complex problems.The reliability of AI existential risk probabilities is called into question in a thought-provoking article, challenging the authority we often assign to these forecasts and calling for more scrutiny.Three fascinating papers from UNC Chapel Hill, Google DeepMind, and a collaboration between Caltech and NVIDIA explore advancements in theorem proving, balancing fast and slow planning, and aligning large language models with Best-of-N distillation. These papers could transform the way we approach complex problems with language models and streamline the development of LLMs.Contact: [email protected]Timestamps:01:54 OpenAI Announces SearchGPT03:15 AI achieves silver-medal standard solving International Mathematical Olympiad problems04:55 AI existential risk probabilities are too unreliable to inform policy08:21 LeanDojo: Theorem Proving with Retrieval-Augmented Language Models10:10 System-1.x: Learning to Balance Fast and Slow Planning with Language Models12:01 BOND: Aligning LLMs with Best-of-N Distillation