张小珺 Xiaojun Zhang
@zhang_benita
Award-winning tech journalist · Host of Zhang Xiaojun Podcast
参加 February 2020
118 フォロー中 37.9K ファン
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
もっと見る
