格兰特·桑德森
立场时间线 20 条 · 20 个议题
同一议题按时间排列,说法变化一目了然。
stance: 数学可能是宇宙通用语言,因其基于无可辩驳的逻辑证明,与符号和进制无关。
“quote: "The thing that really separates math out from the other things is that there is no more doubt, it's a truly rigorous proof."”
来源访谈 →stance: 数学是“发现”与“定义”的动态循环过程,既非纯粹发明也非纯粹发现。
“quote: "You go out and you discover stuff based on your existing, either your world or your existing math. You use those discoveries to inform the definitions of the next step."”
来源访谈 →stance: 学校数学的核心价值在于锻炼严谨思维(如健身房锻炼),并应更多展现其内在美感与神秘联系,而非仅强调实用。
“quote: "A lot of the math that we do in school... It's the muscles built doing it really do make you more powerful later."”
来源访谈 →stance: 曼德博集合证明,极其复杂的结构和现象可以源自非常简单的底层规则。
“quote: "Complexity doesn't have to emerge from complex rules, it's possible for complex phenomena to emerge from very very simple rules."”
来源访谈 →stance: AI正通过发现猜想和利用形式化验证软件进行强化学习,成为数学研究的新工具。
“quote: "If you want to teach an AI to do math... You can do this with math in a way you can't do with other fields."”
来源访谈 →AI在IMO几何题上的优异表现源于暴力求解特性、组合题仍是难点,攻克IMO金奖只是又一个基准测试被攻破,并非AGI到来的信号。
“这不过是又一个被攻克的基准测试,而非AGI到来的信号。”
来源访谈 →数学内部进步的'尖峰'具有分形本质:几何易解、组合难啃,放大看子领域难度差异依旧巨大,说明进步的不均衡性是结构性的。
“这种(进步)尖峰具有分形本质,因为当你放大数学内部的特定进展时,你会发现有些事比其他事容易得多。(英文原话:There's a fractal nature to that spikiness because when you zoom into the specific progress within math you have some things are a lot easier than others.)”
来源访谈 →只有当AI能'建造山脉'——自主构建全新理论体系并重塑学科思考方式时,这种智能水平才可能渗透到经济各领域,其影响远超IMO金牌。
“如果它能建造出(理论的)山脉……清晰地重塑我们思考一个学科的方式,那代表了如此高的智能水平,以至于它若不能渗透到经济其他领域反而会令人惊讶。(英文原话:If it's capable of building mountains... that just crystallizes how we should be thinking about a subject, that's just such a level of intelligence that then it starts to feel like it would be surprising if that didn't perme”
来源访谈 →AI的下一个目标应是提出猜想、创造新定义并统一领域,这种能力难以被标准化为基准测试。
“好数学家证明定理,伟大的数学家提出猜想,而最伟大的则创造定义。创造新定义、统一领域的能力,是AI的下一个目标,且难以标准化为基准测试。”
来源访谈 →形式化的重要性被高估:AI解决单位距离猜想用的是自然语言思维链而非Lean证明,但Lean的长期价值在于构建无需人工监督、可无限延伸的数学树。
“AI解决单位距离猜想时用的是自然语言思维链,而非Lean证明。但Lean的长期价值在于可构建无需人工监督的"无限延伸"的数学树,如同AlphaZero在高维空间自主进步。”
来源访谈 →数学进步的两大引擎是可验证性与'可磨砺性':答案可自动验证,计算环境可无限容器化复制以支持大规模并行试错并解决信用分配,这是计算机使用等领域难以企及的。
“除数学问题的答案可自动验证外,其计算环境可无限容器化复制,支持大规模并行试错并解决信用分配。这是计算机使用等领域难以企及的。”
来源访谈 →当AI能证明定理并给出清晰解释时,人类数学家的核心价值转向'策展人':判断哪些想法值得关注,并提供社会关系中的信任与激励,这是AI无法替代的。
“人类数学家的核心价值将在于判断"哪些想法值得关注",以及提供社会关系中的信任与激励。这是AI无法替代的。”
来源访谈 →AI的超级智能将首先在数学领域显现,而不是其他应用领域
“数学将是我们首先见证超级智能的地方。("Math is where we'll see superintelligence first.")”
来源访谈 →AI在数学内部的进步极不均衡,能力前沿呈分形式崎岖,有些问题远比其他问题容易
“这种前沿的'崎岖'具有分形特征,因为当你聚焦于数学内部的具体进展时,会发现有些部分要容易得多。("There's a fractal nature to that spikiness, because when you zoom into the specific progress within math, you have some things that are a lot easier than others.")”
来源访谈 →数学成就的最高层次是创造新定义,提出猜想次之,证明定理只是基础层级
“优秀的数学家证明定理,伟大的数学家提出猜想,而最伟大的数学家则创造定义。("Good mathematicians prove theorems, great mathematicians come up with conjectures, and the greatest mathematicians come up with definitions.")”
来源访谈 →解释者或教师的价值不止于为好奇的事物增添清晰度,更在于提供关系性的动机与策展感
“解释者或教师的功能之一是为人们好奇的事物增添清晰度。但另一部分则更具关联性,提供动机和策展感。("The function of an explainer or a teacher is to add clarity to a thing that someone's curious about. That's one thing. But some of it is more relational, providing motivation and a sense of curation.")”
来源访谈 →桑德森认为疫情推动教育线上化是契机,最好的结果之一是把大批教师转变为内容创作者,进而实现解释的标准化,让课堂时间用于互动答疑。
“从教育角度看,疫情带来的最好结果之一,就是让我们把一大批教师变成内容创作者。”
来源访谈 →桑德森认为从一个无比巨大的集合中随机选取元素,与找到有效方法去主动描述该元素,是两项截然不同的任务。
“有时从一个无比巨大的集合中随机选择一个元素,与找到一种有效的方法去主动描述它,是两项截然不同的任务。”
来源访谈 →金句墙 17 条
“There's a fractal nature to that spikiness because when you zoom into the specific progress within math you have some things are a lot easier than others.”
这种(进步)尖峰具有分形本质,因为当你放大数学内部的特定进展时,你会发现有些事比其他事容易得多。
数学是AI的尖峰,也是社会的镜子 · 2026/8/5“If it's capable of building mountains... that just crystallizes how we should be thinking about a subject, that's just such a level of intelligence that then it starts to feel like it would be surprising if that didn't permeate into other aspects of the economy.”
如果它能建造出(理论的)山脉……清晰地重塑我们思考一个学科的方式,那代表了如此高的智能水平,以至于它若不能渗透到经济其他领域反而会令人惊讶。
数学是AI的尖峰,也是社会的镜子 · 2026/8/5“build a man a fire and he's warm for one night, but set a man on fire and he's warm for the rest of his life.”
给一个人一堆火,他暖和一晚;但如果点燃一个人,他余生都温暖。
数学是AI的尖峰,也是社会的镜子 · 2026/8/5“Math is where we’ll see superintelligence first.”
数学将是我们首先见证超级智能的地方。
Grant Sanderson:AI时代,数学家的新角色是策展人 · 2026/6/30“Good mathematicians prove theorems, great mathematicians come up with conjectures, and the greatest mathematicians come up with definitions.”
优秀的数学家证明定理,伟大的数学家提出猜想,而最伟大的数学家则创造定义。
Grant Sanderson:AI时代,数学家的新角色是策展人 · 2026/6/30“There's a fractal nature to that spikiness, because when you zoom into the specific progress within math, you have some things that are a lot easier than others.”
这种前沿的‘崎岖’具有分形特征,因为当你聚焦于数学内部的具体进展时,会发现有些部分要容易得多。
Grant Sanderson:AI时代,数学家的新角色是策展人 · 2026/6/30“The function of an explainer or a teacher is to add clarity to a thing that someone's curious about. That's one thing. But some of it is more relational, providing motivation and a sense of curation.”
解释者或教师的功能之一是为人们好奇的事物增添清晰度。但另一部分则更具关联性,提供动机和策展感。
Grant Sanderson:AI时代,数学家的新角色是策展人 · 2026/6/30“The thing that really separates math out from the other things is that there is no more doubt, it's a truly rigorous proof.”
真正将数学与其他学科区分开来的是,在其他所有领域都存在一点怀疑,而数学中没有,它是真正严谨的证明。
数学是宇宙通用语言吗?3Blue1Brown创始人谈数学之美 · 2025/1/21“Math is discovered the way Columbus discovered America.”
数学被发现的方式,就像哥伦布发现美洲一样。
数学是宇宙通用语言吗?3Blue1Brown创始人谈数学之美 · 2025/1/21“You go out and you discover stuff based on your existing, either your world or your existing math. You use those discoveries to inform the definitions of the next step.”
你基于现有的世界或现有数学去发现东西,然后用这些发现来定义下一步,再进行新的发现。
数学是宇宙通用语言吗?3Blue1Brown创始人谈数学之美 · 2025/1/21“A lot of the math that we do in school... It's the muscles built doing it really do make you more powerful later.”
我们在学校做的很多数学题……就像是在锻炼肌肉,这些锻炼确实会让你日后更强大。
数学是宇宙通用语言吗?3Blue1Brown创始人谈数学之美 · 2025/1/21“Complexity doesn't have to emerge from complex rules, it's possible for complex phenomena to emerge from very very simple rules.”
复杂性不一定来自复杂的规则,完全可能从非常非常简单的规则中涌现出复杂的现象。
数学是宇宙通用语言吗?3Blue1Brown创始人谈数学之美 · 2025/1/21“The Feynman that we've all seen in like surely you're joking is different from the Feynman in reality.”
我们在《别闹了,费曼先生》里看到的那个费曼,和现实中的费曼是不同的。
Grant Sanderson:数学之美在于自动化抽象 · 2020/8/23“One of the best things that can come out of this pandemic education wise is if we turn a bunch of teachers into content creators.”
从教育角度看,疫情带来的最好结果之一,就是让我们把一大批教师变成内容创作者。
Grant Sanderson:数学之美在于自动化抽象 · 2020/8/23“I think one of the best things that can come out of this pandemic education wise is if we turn a bunch of teachers into content creators.”
我认为,疫情在教育方面能带来的最好结果之一,就是让我们把一大批教师变成内容创作者。
Grant Sanderson:数学之美在于自动化抽象 · 2020/8/23“Sometimes when you choose a random element from this ungodly huge set. That's a very different task from finding an efficient way to actively describe it.”
有时从一个无比巨大的集合中随机选择一个元素,与找到一种有效的方法去主动描述它,是两项截然不同的任务。
Grant Sanderson:数学之美在于自动化抽象 · 2020/8/23“The things that make Fermat's last theorem hard are actually quite deep.”
费马大定理之所以困难,其原因其实相当深刻。
Grant Sanderson:数学之美在于自动化抽象 · 2020/8/23访谈收录

数学是AI的尖峰,也是社会的镜子
Grant Sanderson,知名数学视频博主(3Blue1Brown主理人),在本次访谈中探讨了AI在数学领域的飞速进展及其对更广泛世界的预示意义。核心议题包括:AI解数学题的
Grant Sanderson:AI时代,数学家的新角色是策展人
在AI数学能力飞速发展的背景下,3Blue1Brown创始人Grant Sanderson探讨了AI解决千禧年难题的可能路径、概念突破的百年验证周期,以及数学家未来可能转向“思想策展人”角色的演变。他认为,AI真正的价值可能在于其系统性地连接不同领域知识的能力,而非单纯解题。

数学是宇宙通用语言吗?3Blue1Brown创始人谈数学之美
在本期Star Talk节目中,数学教育家格兰特·桑德森(3Blue1Brown)与尼尔·德格拉斯·泰森等人探讨了数学的本质。他阐述了数学为何可能是宇宙的通用语言(基于其逻辑严谨性,例如素数序列),讨论了数学是“发明”还是“发现”的经典问题,并深入讲解了信息论(以Wordle游戏为例)、中心极限定理和曼德博集合等概念如何从简单规则中涌现复杂之美。最后,他分享了AI在数学中的新应用以及对数学教育的见解。
Grant Sanderson:数学之美在于自动化抽象
在此次访谈中,数学视频博主 Grant Sanderson(3Blue1Brown)探讨了理查德·费曼对他思维方式的影响,分享了其利用交互式探索进行数学视频创作的流程。他以SIR模型为例,阐释了如何通过直观模拟帮助观众理解指数增长与流行病学概念。此外,他深入讨论了在线教育、拓扑学的普及、以及GPT-3等人工智能工具在数学理解与创作中的潜力与局限。