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

    Building an AI Mathematician with Carina Hong - #754

    The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence) · Nov 4, 2025 · 56 min
    Episode page

    In this episode, Carina Hong, founder and CEO of Axiom, joins us to discuss her work building an "AI Mathematician." Carina explains why this is a pivotal moment for AI in mathematics, citing a convergence of three key areas: the advanced reasoning capabilities of modern LLMs, the rise of formal proof languages like Lean, and breakthroughs in code generation. We explore the core technical…

    Related

    • 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

    • Grant Sanderson – AI and the future of math

      Dwarkesh Podcast • Jun 30, 2026 • 1 h 34 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

    • #526: Building Data Science with Foundation LLM Models

      Talk Python To Me • Nov 1, 2025 • 1 h 07 min

    • AI says you’re right, formal methods say you’re wrong

      The Stack Overflow Podcast • Oct 16, 2026 • 29 min

    • AI attention span so good it shouldn’t be legal

      The Stack Overflow Podcast • Feb 6, 2026 • 30 min