筛选结果
17 篇排序
40:44EN → 简体中文
3Blue1Brown· 2026年10月16日Grant Sanderson：现在是投身数学的最好时机Grant Sanderson, Constantin Kogler · 3Blue1Brown学生担心 AI 已经解决了数学。Grant Sanderson 却认为恰恰相反：即使机器证明定理的能力超过人类，数学这套制度依然有价值，而新人正迎来一个难得的机会，可以参与重塑它。
51:55EN → 简体中文3Blue1Brown· 2026年9月18日AI 解不出的最后一道 IMO 题Grant Sanderson · 3Blue1BrownGrant Sanderson 带你走一遍 2025 年 IMO 第 6 题——前沿模型没做出来的铺砖谜题——以及要证明一种构造最优，需要怎样的视觉耐心。
3:52:17EN → 简体中文
Lex Fridman· 2025年12月31日播客有些无穷比另一些更大主持 Lex FridmanJoel David Hamkins 带 Lex Fridman 从希尔伯特旅馆一路走到哥德尔、连续统假设，以及一个真理不等同于证明的集合论多重宇宙。
13:30EN → 简体中文3Blue1Brown· 2025年8月17日AlphaGeometry 如何结合逻辑证明与创造性作图Aleph0Aleph0 讲解了符号几何求解器如何在不使用 AI 的情况下解决大量难题，以及语言模型如何提供辅助作图，让系统达到奥数竞赛水平。
3:14:34EN → 简体中文Lex Fridman· 2025年6月14日播客 · 2 人对谈陶哲轩：难题有十个难点，他先关掉九个嘉宾 Terence Tao · 主持 Lex Fridman菲尔兹奖得主陶哲轩与莱克斯·弗里德曼从挂谷针和纳维-斯托克斯方程聊到 Lean 和佩雷尔曼，也谈到为什么今天的 AI 还闻不出一条证明是不是走进了死胡同。
3:46:39EN → 简体中文Lex Fridman· 2023年4月9日播客 · 2 人对谈他曾讨厌学校里的数学，直到一位教授翻开了通往夸克的那本书嘉宾 Edward Frenkel · 主持 Lex FridmanEdward Frenkel 与 Lex Fridman 谈苏联童年、朗兰兹纲领、哥德尔、人工智能，以及为什么每一套号称客观的硬理论，最终都会回到一个观察者身上。
2:15:56EN → 简体中文Lex Fridman· 2021年12月3日播客 · 2 人对谈能套进任何结果的理论，连错都算不上嘉宾 Peter Woit · 主持 Lex Fridman哥伦比亚大学物理学家 Peter Woit 对 Lex Fridman 说，弦论（string theory）最初的构想为什么被掏空了，为什么四维就够用，以及扭量理论（twistor theory）依然能提供什么。
1:30:40EN → 简体中文Lex Fridman· 2021年9月27日播客 · 2 人对谈我给你这些反馈，是因为我相信你嘉宾 Jo Boaler · 主持 Lex Fridman斯坦福大学数学家 Jo Boaler 谈视觉化的数学，谈挣扎为何只在相信自己能到达终点时才有用，以及一节 90 分钟的课如何把课堂参与度提高了 68%。
2:41:47EN → 简体中文Lex Fridman· 2021年6月12日播客 · 2 人对谈几何是数学里的香菜嘉宾 Jordan Ellenberg · 主持 Lex FridmanJordan Ellenberg 对 Lex Fridman 说，过去 150 年的数学，几乎都围绕着同一个问题：什么时候，两样东西可以算作相同。
2:20:15EN → 简体中文Lex Fridman· 2021年5月14日播客 · 2 人对谈病毒离你有多远，要用“几跳”来算嘉宾 Po-Shen Loh · 主持 Lex FridmanPo-Shen Loh 与 Lex Fridman 聊了怎样教人发明创造、组合数学，以及一款能在你生病之前就提醒你的接触追踪应用。
2:08:26EN → 简体中文Lex Fridman· 2020年8月23日播客 · 2 人对谈精彩的讲座留不住：Grant Sanderson 谈费曼、恐惧与按下发布嘉宾 Grant Sanderson · 主持 Lex Fridman3Blue1Brown 的创作者与 Lex Fridman 聊了为什么最讨人喜欢的讲解也可能失败，为什么他羡慕贝尔实验室，以及为什么最有资格教学的专家，往往最不愿意发布内容。
1:02:45EN → 简体中文Lex Fridman· 2020年1月7日播客 · 2 人对谈外星人会数数，多半却不会写 e^x嘉宾 Grant Sanderson · 主持 Lex Fridman3Blue1Brown 的 Grant Sanderson 与 Lex Fridman 聊记号、无穷，以及为什么一张可视化图必须只选一个箭头。
54:58ENLex Fridman播客Eric Weinstein on Geometric Unity: One Canvas, Fourteen Dimensions and a Theory of Everything主持 Lex FridmanEric Weinstein talks with Lex Fridman about releasing his Oxford lecture, why academia resists his ideas, and how Geometric Unity tries to derive matter from the geometry of spacetime.
21:52ENLex Fridman播客The Secret Seminar: Eric Weinstein on What Happens When Academia Meets Someone It Can't Categorize主持 Lex FridmanIn a clip from the Lex Fridman Podcast, mathematician Eric Weinstein recounts discovering a hidden seminar at Harvard and explains why he thinks institutions fail on novel cases.
11:19ENLex Fridman播客 · 2 人对谈Why Donald Knuth Thinks P = NP and Why It Might Not Matter嘉宾 Donald Knuth · 主持 Lex FridmanKnuth explains how an algorithm can provably exist without anyone being able to write it down, and why that shapes his view of P versus NP.
11:11ENLex Fridman播客 · 2 人对谈Filling the Empty Quadrants: Jim Gates on Supersymmetry and the Beauty of Broken Symmetry嘉宾 Jim Gates · 主持 Lex FridmanTheoretical physicist Jim Gates explains supersymmetry with a four-slice pie, recalls how he chose it for his thesis in the 1970s, and connects it to the way physics moves from mathematics to experiment.
11:34ENLex Fridman播客Neither Discovered Nor Invented: Grant Sanderson on the Cycle Between Math and the World主持 Lex Fridman3Blue1Brown's Grant Sanderson tells Lex Fridman that mathematics feeds on a loop of discovery and invention, and wonders why the universe's laws are so compressible.