【大师课】[中英字幕]数学天才 陶哲轩Terence Tao 不再恐惧数学 学会新思维
【Lex Fridman播客】陶哲轩:数学与物理的终极难题及AI未来
翁家翌:OpenAI,GPT,强化学习,Infra,后训练,天授,tuixue,开源,CMU,清华|WhynotTV Podcast #4
陶哲轩在2024年国际数学奥林匹克(IMO)的演讲:AI 与数学
【官方双语】Terence Tao: 世界顶尖数学家怎样用 AI
【陶哲轩】《开普勒、牛顿与数学发现的真正本质》 - Dwarkesh Patel _ 26-03-20
陶哲轩最新演讲:人工智能时代的数学
胡渊鸣:Meshy AI,太极,MIT,清华姚班,图形学,物理仿真模拟,开源,商业化,勇气 ,智慧 | WhynotTV Podcast #2
陶哲轩儿子对话陶哲轩:AI本质是随机生成文本的“猜谜机” 所以它不可能不犯错误
陶哲轩:AI 让「想出新点子」几乎免费 | Dwarkesh #112
AI时代,最值得学习的三个学科?
数学最难问题,难在哪里? | 陶哲轩 | Lex #472
OpenAI核心工程师翁家翌:我相信宿命论,人类没有自由意志一切都是大爆炸开始就预设好的
SAIR联合创始人陶哲轩:机器辅助与研究数学的未来
【陶哲轩】使用 Claude Code 在 Lean 中形式化证明
AI 如何与科研工作者协同工作?
北京航空航天大学何静副教授Vlog:从四川农业大学本科,到清华大学博士后,再到北航副教授,有人说这一路逆袭超越常人,我觉得自己是怎么实现的?
Axiom创始人Carina Hong主题演讲:AI数学家正在攻克数论猜想,形式化验证是关键
AI助力陶哲轩三个月完成2200万个数学证明
菲尔兹得主陶哲轩:这样拖延长期对你有益且不会产生愧疚感