Christian Szegedy
The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence)
Autoformalization and Verifiable Superintelligence with Christian Szegedy
- Published
- September 2, 2025
- Duration
- 1h 11m
- Summary source
- description
- Last updated
- Jul 5, 2026
Discusses ai.
Summary
In this episode, Christian Szegedy, Chief Scientist at Morph Labs, joins us to discuss how the application of formal mathematics and reasoning enables the creation of more robust and safer AI systems. A pioneer behind concepts like the Inception architecture and adversarial examples, Christian now focuses on autoformalization—the AI-driven process of tran…
Intelligent Report
Sign in to read teasers, or upgrade to Research Pro to commission intelligent report for this episode. Learn more →
Show notes
In this episode, Christian Szegedy, Chief Scientist at Morph Labs, joins us to discuss how the application of formal mathematics and reasoning enables the creation of more robust and safer AI systems. A pioneer behind concepts like the Inception architecture and adversarial examples, Christian now focuses on autoformalization—the AI-driven process of translating mathematical concepts from their human-readable form into rigorously formal, machine-verifiable logic. We explore the critical distinct
Themes
- ai