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