20 Apr 2026
4h 23m
A 4-hour Interview with Carina Hong: AI for Math, Lean, Proofs from The Book, and Intuition
Zhang Xiaojun Podcast
Open in Podwise to generate AI notes
Sign in to process this episode and unlock summaries, transcripts, highlights and translations.
Shownotes are not generated by Podwise.