Videos of Christian Szegedy
YouTube videos in which Christian Szegedy speaks or appears, newest first. A model chose them from YouTube search results (provisional, model-judged). List updated 17 October 2026.
Verify the output, not the model.DaaX · 6 October 2026 · 1 min
Verify the Output, Not the Model: Formal Methods and the Future of AI SafetyDaaX · 3 October 2026 · 31 min
Inside xAI, and the Bet on AI Math - with Christian Szegedy (Math Inc)The Information Bottleneck · 4 May 2026 · 1 h 13 min
Why AI Needs Formal Verification - Alex Skidanov + Christian SzegedyNEAR Protocol · 27 February 2026 · 21 min
Chris Szegedy on Co-Founding xAI with Elon Musk & the Future of Truth-Seeking AI – #TFS246THE FLIP SIDE w/Andy Mai · 19 December 2025 · 1 h 27 min
Autoformalization and Verifiable Superintelligence [Christian Szegedy] - 745The TWIML AI Podcast with Sam Charrington · 2 September 2025 · 1 h 11 min
Christian Szegedy - Deep Learning for Formal ReasoningInstitut des Hautes Etudes Scientifiques (IHES) · 14 May 2022 · 1 h 1 min
Christian Szegedy | The Inverse Mindset of Machine LearningLondon Machine Learning Meetup · 3 October 2021 · 1 h
Christian Szegedy | Applied Mathematics (APPM) Department ColloquiumMaziar Raissi · 3 May 2021 · 54 min
#50 Dr. CHRISTIAN SZEGEDY - Formal Reasoning, Program SynthesisMachine Learning Street Talk · 4 April 2021 · 1 h 33 min
Christian Szegedy | Language modeling for Mathematical ReasoningHarvard CMSA · 26 January 2021 · 51 min
Interview with Christian SzegedyScale · 5 June 2019 · 32 min
TSC 2016 Plenary 6 Artificial Intelligence and Machine ConsciousnessThe Science of Consciousness - Conference - TSC · 26 May 2016 · 1 h 35 min
Video data from YouTube API Services. By watching you agree to the YouTube Terms of Service. How we use YouTube data.