陶哲轩 x Lex Fridman = π！3小时14分播客：AI 能帮人类解决最难的问题吗？ 2025年6月15日16时 作者 AGI Hunt 这位被称为「 数学界莫扎特 」的菲尔兹奖得主，在播客里聊起了数学界最难的问题、AI如何帮助数学家，
