by Yijia Shao, Shannon Shen, Michael Ryan
With AI making major waves in society people often lose focus of the reason to build such technology: uplifting humanity. The Augmented Mind Podcast highlights technical human-centered AI research contributions by interviewing the leading minds driving the human side of the AI revolution. Hosted by Yijia Shao, Shannon Shen, and Michael Ryan
Language
🇺🇲
Publishing Since
1/21/2026
Pitch yourself as a guest, propose sponsorships, or reach out directly to the host.
June 9, 2026
<p>Jeremy Avigad is a professor in the Department of Philosophy and the Department of Mathematical Sciences at Carnegie Mellon University. Jeremy is a pioneer in using AI for Mathematics and the co-creator of the Lean Theorem Prover. Currently, he is the director of the Hoskinson Center for Formal Mathematics at CMU, Dean's Chair in Logic and Philosophy of Mathematics, and the director of the newly-established Institute for Computer-Aided Reasoning in Mathematics under NSF.</p><p><br /></p><p>Outline:</p><p>0:00 - Teaser</p><p>1:04 - Monologue</p><p>2:50 - The Historical Landscape of AI for Mathematics</p><p>7:28 - Formalization and Computer-Aided Proof</p><p>11:56 - The Birth of the Lean Project</p><p>21:21 - Lean Blueprint, Model Training with Lean, Using Lean in Agentic Systems</p><p>29:48 - Making AI Actually Useful for Mathematicians</p><p>32:46 - How AI is Changing Mathematics</p><p>36:29 - "It's Our Mathematics, and Us Doing Mathematics"</p><p>43:04 - The Verification Gap in Human-AI Collaboration</p><p>47:46 - The Future of Math Education</p><p>52:23 - Capital, Startups, and the Mathematicians' Ecosystem</p><p>1:01:08 - Predictions</p><p><br /></p><p>References:</p><ul><li><p>Jeremy’s Homepage: <a href="https://www.andrew.cmu.edu/user/avigad/" rel="ugc noopener noreferrer" target="_blank">https://www.andrew.cmu.edu/user/avigad/</a></p></li><li><p>The Lean Theorem Prover: <a href="https://lean-lang.org/papers/system.pdf" rel="ugc noopener noreferrer" target="_blank">https://lean-lang.org/papers/system.pdf</a></p></li><li><p>Lean projects: <a href="https://leanprover-community.github.io/lean_projects.html" rel="ugc noopener noreferrer" target="_blank">https://leanprover-community.github.io/lean_projects.html</a></p></li></ul><p>Podcast Links:</p><p>Podcast website: <a href="https://augmented-mind.github.io/" rel="ugc noopener noreferrer" target="_blank">https://augmented-mind.github.io/</a></p><p>Apple Podcasts: <a href="https://podcasts.apple.com/us/podcast/augmented-mind-podcast/id1868102170" rel="ugc noopener noreferrer" target="_blank">https://podcasts.apple.com/us/podcast/augmented-mind-podcast/id1868102170</a></p><p>Spotify: <a href="https://open.spotify.com/show/40KculkYTe2tOpqJm6TAYr?si=PU_UncsMT4mXjVNCRwoXog&nd=1&dlsi=6d9bed7a43d64085" rel="ugc noopener noreferrer" target="_blank">https://open.spotify.com/show/40KculkYTe2tOpqJm6TAYr?si=PU_UncsMT4mXjVNCRwoXog&nd=1&dlsi=6d9bed7a43d64085</a></p><p>RSS: <a href="https://anchor.fm/s/10dbf5b7c/podcast/rss" rel="ugc noopener noreferrer" target="_blank">https://anchor.fm/s/10dbf5b7c/podcast/rss</a></p><p><br /></p><p>Special Thanks to <a href="https://zixiaowang17.github.io/" rel="ugc noopener noreferrer" target="_blank">Zixiao Jolene Wang</a> and <a href="https://hsph.harvard.edu/profile/rajarshi-mukherjee/" rel="ugc noopener noreferrer" target="_blank">Rajarshi Mukherjee</a> for their help with this episode!</p><p><br /></p><p>About the Hosts:</p><p><br /></p><p>The AM Podcast is hosted by Yijia Shao, Shannon Shen, and Michael Ryan, CS PhD students at Stanford University and MIT.<br /></p>
May 4, 2026
<p>Ken Liu is a Stanford CS PhD student and founder of The Open Anonymity Project. Ken’s pioneering work explores the intersection between language models and data & user privacy.</p><p><br></p><p><strong>Outline</strong>:</p><p>0:00 - Teaser</p><p>1:08 - Prelude: Introducing Ken Liu</p><p>1:41 - Monologue: The Open Anonymity Project</p><p>3:41 - Ken’s Path to Privacy Research</p><p>6:31 - The Biggest Privacy Concern for LLM Users</p><p>9:39 - Three Perspectives on Tackling AI Privacy</p><p>10:57 - “AI presents a Uniquely Worse Privacy Problem”</p><p>13:44 - The Open Anonymity (OA) Project: Unlinkable Inference</p><p>17:50 - Blind Signatures as Unlinkable Authentication</p><p>20:52 - Secure Inference Proxies</p><p>28:31 - Threat Model in the OA Project</p><p>31:39 - What If People Give Away Information In Their Prompts</p><p>35:58 - OpenClaw, Privacy Nightmare In Agents</p><p>43:00 - The Stories Behind the OA Project</p><p>50:14 - Intelligence Neutrality</p><p>52:22 - Safety Concerns in a World with Private AI Inference</p><p><br></p><p><strong>References</strong>:</p><p>Ken Liu’s Home Page: <a href="https://ai.stanford.edu/~kzliu/"><u>https://ai.stanford.edu/~kzliu/</u></a></p><p>The Open Anonymity Project: <a href="https://openanonymity.ai/"><u>https://openanonymity.ai/</u></a></p><p>Unlinkable Inference as a User Privacy Architecture: <a href="https://openanonymity.ai/blog/unlinkable-inference/"><u>https://openanonymity.ai/blog/unlinkable-inference/</u></a></p><p><br></p><p><strong>Podcast Links</strong>:</p><p>Podcast website: <a href="https://augmented-mind.github.io/" target="_blank" rel="noopener noreferer">https://augmented-mind.github.io/</a></p><p>Apple Podcasts: <a href="https://podcasts.apple.com/us/podcast/augmented-mind-podcast/id1868102170" target="_blank" rel="noopener noreferer">https://podcasts.apple.com/us/podcast/augmented-mind-podcast/id186810217</a>Spotify: <a href="https://open.spotify.com/show/40KculkYTe2tOpqJm6TAYr?si=PU_UncsMT4mXjVNCRwoXog&nd=1&dlsi=6d9bed7a43d64085" target="_blank" rel="noopener noreferer">https://open.spotify.com/show/40KculkYTe2tOpqJm6TAYr?si=PU_UncsMT4mXjVNCRwoXog&nd=1&dlsi=6d9bed7a43d6408</a>RSS: <a href="https://anchor.fm/s/10dbf5b7c/podcast/rss" target="_blank" rel="noopener noreferer">https://anchor.fm/s/10dbf5b7c/podcast/rss</a></p><p><br></p><p><strong>About the Hosts</strong>:</p><p>The AM Podcast is hosted by Yijia Shao, Shannon Shen, and Michael Ryan, CS PhD students at Stanford University and MIT.</p>
March 31, 2026
<p>Woosuk Kwon is CTO of Inferact and creator of the vLLM inference library. Woosuk shares what it takes to build the most popular open-source LLM inference engine from a human-centered perspective.</p><p><br></p><p>Outline:</p><p>0:00 - Prelude: Introducing Woosuk and Inferact</p><p>3:00 - Woosuk’s First PhD Project</p><p>6:00 - How the vLLM Project Got Started</p><p>9:18 - AI Infra Needs More Than Just Efficiency</p><p>14:08 - How AI Infra and Human-centered AI Are Connected</p><p>15:01 - How to Prioritize Feature Requests for Popular AI Infra</p><p>18:18 - Streaming Requests and Realtime API</p><p>24:05 - Multi-turn, Agentic, Proactive LLMs</p><p>27:03 - How to Design AI Infra in a Principled Way</p><p>29:13 - How to Design an AI Inference Engine for Continue Learning with RL</p><p>35:05 - Would LoRA Training Affect RL Infra Design?</p><p>37:28 - Why Start an AI Inference Infra Startup?</p><p>40:46 - What Effortless Inference with Open-source Models Means for Developers</p><p>43:46 - A Vision for On-device AI Inference</p><p>46:19- Can Today’s Coding Agents Create vLLM?</p><p><br></p><p>References:</p><p>Inferact: https://inferact.ai/</p><p>Efficient Memory Management for Large Language Model Serving with PagedAttention: https://arxiv.org/abs/2309.06180</p><p>Streaming Requests & Realtime API in vLLM: https://vllm.ai/blog/streaming-realtime</p><p>RL’s Razor: Why Online Reinforcement Learning Forget Less: https://arxiv.org/abs/2509.04259</p><p><br></p><p>Podcast Links:</p><p>Podcast website: https://augmented-mind.github.io/</p><p>Apple Podcasts: https://podcasts.apple.com/us/podcast/augmented-mind-podcast/id1868102170</p><p>Spotify: https://open.spotify.com/show/40KculkYTe2tOpqJm6TAYr?si=PU_UncsMT4mXjVNCRwoXog&nd=1&dlsi=6d9bed7a43d64085</p><p>RSS: https://anchor.fm/s/10dbf5b7c/podcast/rss</p><p><br></p><p>About the Hosts:</p><p>The AM Podcast is hosted by Yijia Shao, Shannon Shen, and Michael Ryan, CS PhD students at Stanford University and MIT.</p><p><br></p><p><br></p>
Have a different question and can't find the answer you're looking for? Reach out to our support team by sending us an email and we'll get back to you as soon as we can.
With AI making major waves in society people often lose focus of the reason to build such technology: uplifting humanity. The Augmented Mind Podcast highlights technical human-centered AI research contributions by interviewing the leading minds driving the human side of the AI revolution.
Hosted by Yijia Shao, Shannon Shen, and Michael Ryan
This podcast updates daily.
This podcast is available on 4 platforms including Apple Podcasts, Spotify, and more. You can also use the RSS feed directly.
Yes, this podcast regularly features guests.
Pod Engine is not affiliated with, endorsed by, or officially connected with any of the podcasts displayed on this platform. We operate independently as a podcast discovery and analytics service.
All podcast artwork, thumbnails, and content displayed on this page are the property of their respective owners and are protected by applicable copyright laws. This includes, but is not limited to, podcast cover art, episode artwork, show descriptions, episode titles, transcripts, audio snippets, and any other content originating from the podcast creators or their licensors.
We display this content under fair use principles and/or implied license for the purpose of podcast discovery, information, and commentary. We make no claim of ownership over any podcast content, artwork, or related materials shown on this platform. All trademarks, service marks, and trade names are the property of their respective owners.
While we strive to ensure all content usage is properly authorized, if you are a rights holder and believe your content is being used inappropriately or without proper authorization, please contact us immediately at hey@podengine.ai for prompt review and appropriate action, which may include content removal or proper attribution.
By accessing and using this platform, you acknowledge and agree to respect all applicable copyright laws and intellectual property rights of content owners. Any unauthorized reproduction, distribution, or commercial use of the content displayed on this platform is strictly prohibited.