Published Apr 4, 2021
#50 Christian Szegedy - Formal Reasoning, Program Synthesis
Christian Szegedy delves into the future of AI through the lens of formal reasoning automation, critiquing current models and envisioning transforming human thought processes into formal logic, while highlighting the shift in AI research towards pragmatic approaches and the promising prospects of transformers.
Topics covered
Popular Clips
Episode Highlights
Related Episodes
Francois Chollet - ARC reflections - NeurIPS 2024
Answers 383 questions
Dr. Paul Lessard - Categorical/Structured Deep Learning
Answers 383 questions
#91 - HATTIE ZHOU - Teaching Algorithmic Reasoning via In-context Learning #NeurIPS
Answers 383 questions
Eliezer Yudkowsky and Stephen Wolfram on AI X-risk
Answers 383 questions
How AI Could Be A Mathematician's Co-Pilot by 2026 (Prof. Swarat Chaudhuri)
Answers 383 questions
#58 Dr. Ben Goertzel - Artificial General Intelligence
Answers 383 questions
#106 - Prof. KARL FRISTON 3.0 - Collective Intelligence [Special Edition]
Answers 383 questions
Jürgen Schmidhuber - Neural and Non-Neural AI, Reasoning, Transformers, and LSTMs
Answers 383 questions
#57 - Prof. Melanie Mitchell - Why AI is harder than we think
Answers 383 questions
#51 Francois Chollet - Intelligence and Generalisation
Answers 383 questionsPattern Recognition vs True Intelligence - Francois Chollet
Answers 383 questions
#104 - Prof. CHRIS SUMMERFIELD - Natural General Intelligence [SPECIAL EDITION]
Answers 383 questions
Prof. Subbarao Kambhampati - LLMs don't reason, they memorize (ICML2024 2/13)
Answers 383 questions
