Skip to content
HomeVideosBooksBlogsPodcasts
EpisodesShowsTopics
HistoryListsWatch laterLiked videosFollowing

The videos, books, blogs and podcasts Hacker News keeps recommending, all in one place.

VideosBooksBlogsPodcastsAboutPrivacySettings

Data from Hacker News, HackerTube, HackerBooks, HackerBlogs and Open Library. Credits · Not affiliated with Y Combinator.

HomeVideosBooksBlogsPodcasts
Ctrl K
    Artwork for The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence)
    Episode

    Autoformalization and Verifiable Superintelligence with Christian Szegedy - #745

    The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence) · Sep 2, 2025 · 1 h 12 min
    Episode page

    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…

    Related

    • Nick Bostrom: How Should We Navigate Superintelligence?

      The a16z Show • Oct 11, 2026 • 54 min

    • AI researchers debate how close we are to recursive self-improvement

      Dwarkesh Podcast • Sep 11, 2026 • 1 h 37 min

    • Noam Brown – Agent swarms, alignment, & recursive self-improvement

      Dwarkesh Podcast • Sep 17, 2026 • 1 h 20 min

    • Grant Sanderson – AI and the future of math

      Dwarkesh Podcast • Jun 30, 2026 • 1 h 34 min

    • Dylan Patel — Deep dive on the 3 big bottlenecks to scaling AI compute

      Dwarkesh Podcast • Mar 13, 2026 • 2 h 31 min

    • Welcome to the AI crisis in math

      Decoder with Nilay Patel • Aug 20, 2026 • 41 min

    • The logos, ethos, and pathos of your LLMs

      The Stack Overflow Podcast • Feb 10, 2026 • 34 min

    • SE Radio 707: Subhajit Paul on ERP Automation and AI

      Software Engineering Radio - the podcast for professional software developers • Feb 12, 2026 • 1 h 00 min