TWIML AI Podcast
Autoformalization and Verifiable Superintelligence with Christian Szegedy - #745
Sep 02, 2025
· 1h 11m
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 distinction between the informal reasoning of current LLMs, which can be prone to …
Tập này chưa được chuyển thể.
Dùng STT.ai để phiên âm tập phim này với AI. Lấy văn bản chính xác với phát hiện người nói, dấu thời gian, và xuất vào nhiều định dạng.
Kiểm tra loa
Thời gian cấp từ
Xuất dạng SRT, TXT, JSON