张小珺 Xiaojun Zhang
@zhang_benita
Award-winning tech journalist · Host of Zhang Xiaojun Podcast
Joined February 2020
118 Following 37.9K Followers
Continuing to model the world through long-form podcasts!
@CarinaLHong This episode is full of the "beauty of mathematics".
She is also our youngest guest to date — Hong Letong, born in 2001, known online as the "Math Girl". This is her first-ever interview in Chinese.
We talked about mathematics as invented versus discovered, proofs from the Book of Proofs, the entrepreneurial journey of the most unlikely founder, and of course, AI for Math. ✍🏻✍🏻
A 4-hour Interview with Carina Hong: AI for Math, Lean, Proofs from The ... 来自 @YouTube
Show more
