Augmented Mind Podcast

76 posts

Augmented Mind Podcast banner
Augmented Mind Podcast

Augmented Mind Podcast

@augmind_fm

The AM Podcast highlights technical human-centered AI research by interviewing the leading minds. Hosted by @EchoShao8899 @shannonzshen @michaelryan207

Katılım Ocak 2026
3 Takip Edilen581 Takipçiler
Sabitlenmiş Tweet
Augmented Mind Podcast
Augmented Mind Podcast@augmind_fm·
AI used to be a distant promise; now it permeates our lives. AI is getting better, but is it making us better? We are promised that AI will augment our minds, but how? We--@EchoShao8899, @shannonzshen, and @michaelryan207--are excited to launch the Augmented Mind Podcast (The AM Podcast), a podcast about technical human-centered AI work. We'll share compelling research, infrastructure, and systems through monthly episodes, featuring interviews with the pioneering minds behind them. We release EP0 today to share who we are, why we started this podcast, and what we're looking forward to. 0:00 - Prelude: the problems we care about 1:48 - Host introduction 2:03 - Why we started the AM Podcast 2:31 - Hot takes on human-centered AI 10:45 - Format of our podcast 11:28 - Unique technical challenges in human-centered AI 16:45 - Let the journey begin!
English
10
35
83
69.6K
Augmented Mind Podcast
Augmented Mind Podcast@augmind_fm·
🤩
Yijia Shao@EchoShao8899

Since we launched @augmind_fm, many people have asked us how we manage it. On this Wednesday (6/17 6:00 PM - 7:00 PM PDT), our own @shannonzshen will join @FounderCoHo to share how we take on the nearly impossible job for a small three-person team with the help of AI. 🔗 in 🧵 In a way, this whole experience has become an interesting "self case study" in the very vision we promote on the podcast: AI that genuinely augments people, rather than replacing them. We’re excited to exchange thoughts with you in the livestream!

ART
0
0
3
225
Augmented Mind Podcast retweetledi
Shannon Shen
Shannon Shen@shannonzshen·
In an era of mixed excitement and confusion about AI's dizzying progress, it was truly inspiring to talk with Jeremy — someone who thinks deeply and caringly about how AI can contribute to mathematics and help us. I love his insights on how symbolic and neural methods can converge to solve hard problems; his practical advice on working with domain experts; his wisdom on how we / mathematicians should approach a new and unfamiliar technology; and his optimism that we can wield it and advance us. Give it a listen! (& I also enjoy watching the clouds pass by behind us in the video ☁️
Augmented Mind Podcast@augmind_fm

"AI may have the answers, but mathematics has the questions." With all the recent excitement around AI for math, many start to wonder: can mathematics be automated? And what does it mean to learn and understand math? For EP5, we're thrilled to talk with Prof. Jeremy Avigad, philosopher & mathematician @CarnegieMellon and one of the early forces behind 3w. This episode features rich technical discussions on AI & mathematics, as well as many touching moments where Jeremy shares his vision for the future of mathematicians, math education, and mathematics itself. Outline: 0:00 - Teaser 1:04 - Monologue 2:50 - The Historical Landscape of AI for Mathematics 7:28 - Formalization and Computer-Aided Proof 11:56 - The Birth of the Lean Project 21:21 - Lean Blueprint, Model Training with Lean, Using Lean in Agentic Systems 29:48 - Making AI Actually Useful for Mathematicians 32:46 - How AI is Changing Mathematics 36:29 - "It's Our Mathematics, and Us Doing Mathematics" 43:04 - The Verification Gap in Human-AI Collaboration 47:46 - The Future of Math Education 52:23 - Capital, Startups, and the Mathematicians' Ecosystem 1:01:08 - Predictions

English
0
2
10
1.3K
Augmented Mind Podcast
Augmented Mind Podcast@augmind_fm·
"AI may have the answers, but mathematics has the questions." With all the recent excitement around AI for math, many start to wonder: can mathematics be automated? And what does it mean to learn and understand math? For EP5, we're thrilled to talk with Prof. Jeremy Avigad, philosopher & mathematician @CarnegieMellon and one of the early forces behind 3w. This episode features rich technical discussions on AI & mathematics, as well as many touching moments where Jeremy shares his vision for the future of mathematicians, math education, and mathematics itself. Outline: 0:00 - Teaser 1:04 - Monologue 2:50 - The Historical Landscape of AI for Mathematics 7:28 - Formalization and Computer-Aided Proof 11:56 - The Birth of the Lean Project 21:21 - Lean Blueprint, Model Training with Lean, Using Lean in Agentic Systems 29:48 - Making AI Actually Useful for Mathematicians 32:46 - How AI is Changing Mathematics 36:29 - "It's Our Mathematics, and Us Doing Mathematics" 43:04 - The Verification Gap in Human-AI Collaboration 47:46 - The Future of Math Education 52:23 - Capital, Startups, and the Mathematicians' Ecosystem 1:01:08 - Predictions
English
1
13
39
8.9K
Augmented Mind Podcast retweetledi
Yijia Shao
Yijia Shao@EchoShao8899·
As a person who has spent a lot of time studying math, preparing for Math Olympiads, and researching human-agent collaboration, I felt deeply touched with this episode with Jeremy especially among recent excitement/hype/confusion. Follow @augmind_fm to receive latest update!
Yijia Shao tweet media
Augmented Mind Podcast@augmind_fm

In EP5, we're thrilled to talk with Prof. Jeremy Avigad. Jeremy is a math philosopher at @CarnegieMellon and early contributor to LEAN. With all the recent math AI advances, it's inspiring to hear why he has tremendous faith in mathematics and how AI can augment us. Preview:

English
0
5
41
9.3K
Augmented Mind Podcast
Augmented Mind Podcast@augmind_fm·
In EP5, we're thrilled to talk with Prof. Jeremy Avigad. Jeremy is a math philosopher at @CarnegieMellon and early contributor to LEAN. With all the recent math AI advances, it's inspiring to hear why he has tremendous faith in mathematics and how AI can augment us. Preview:
English
0
4
13
10.4K
Augmented Mind Podcast retweetledi
Caleb Ziems
Caleb Ziems@cjziems·
We're going live in 30 minutes, and we'd love to have you join 🎬 Joined by @dorazhao9 and @Diyi_Yang, I'll be talking about our new paper and discussing promising future directions for more human-centered LLM design! Stream it here: youtube.com/live/2d49pMXiJ…
YouTube video
YouTube
Augmented Mind Podcast@augmind_fm

Join us this Thursday May 28th 6-7pm PST for our first ever AM Podcast Live Stream! 🎉 We are hosting @cjziems, @dorazhao9, and @Diyi_Yang for a discussion on their new paper "Reflections and New Directions for Human-Centered Large Language Models"! RSVP 🔗⬇️

English
0
4
8
6.1K

Keşfet

@sepoagent @shannonzshen @jolene_zixiao @RajarshiMu55020 @CarnegieMellon @cjziems @dorazhao9 @Diyi_Yang