陶哲轩儿子对话陶哲轩：AI本质是随机生成文本的“猜谜机” 所以它不可能不犯错误
菲尔兹得主陶哲轩:这样拖延长期对你有益且不会产生愧疚感
AI for Math系列课程 Lean简介 2025.1.14
解锁成就：听一节学术讲座哈哈哈见到katezhu了，也算是学术追星成功了，虽然一点都听不懂捏[流泪][流泪]本人比照片还要好看耶💖
【陶哲轩 Math 246C】高级复分析 (Complex analysis)
陶哲轩：98%的题，AI都败了
OpenAI核心工程师翁家翌：我相信宿命论，人类没有自由意志一切都是大爆炸开始就预设好的
【大师课】[中英字幕]数学天才 陶哲轩Terence Tao 不再恐惧数学 学会新思维
韦东奕到底是不是被硬造出来的神？
陶哲轩:黎曼猜想是一个无法攀爬的垂直悬崖,张益唐出现之前【2017年访谈】
【Lex Fridman播客】陶哲轩：数学与物理的终极难题及AI未来
【陶哲轩】使用 Claude Code 在 Lean 中形式化证明
“人类最后考试”也挡不住AI了
数学男神陶哲轩谈数学学习
陶哲轩，菲尔兹奖桂冠下的数学赝品
Lean 4 中文入门 —— 第一讲：Type Theory
陶哲轩：为什么我认为大多数人不了解 Ai，其中的数学原理是怎样的
60年数学猜想被GPT-5.4一次证明，陶哲轩：人类第一步就错了
陶哲轩7岁时的满分试卷
怀尔斯是如何证明费马大定理的
