时长：
94分钟
播放：
1.68万
发布：
10个月前
简介...
hello,很高兴第一期【连锁反应】和大家见面了，这是一档严肃的闲聊，欢迎大家基于节目内容和我们评论互动。
【本期主题】
人类为什么还要学数学？
谷歌Deep Mind的AI模型解决了今年国际数学奥林匹克竞赛（IMO）六个问题中的四个问题，人工智能已进入解决数学中高级推理问题的阶段。如果AI在数学领域突破了人类的智力极限，人类还需要学习数学吗？
【主播】
连长、养鸡捉马
【嘉宾】
陈利人，Google前100号员工，近期专研AI。
云保奇，陈省身数学试点班，爱好研究数学与AI。
03:55数学和AI领域最近有哪些新进展？
05:04什么是辅助线？人工智能可以绘制辅助线吗？
11:33 AI最近在数学领域的应用
14:05 数学的意义及数学和人类的关系
18:55 人工智能是否能够突破人类智力极限？
20:38 大模型的推理能力弱在哪里？
24:18 语言大模型是数学大模型的翻译器
34:55 当人工智能具有了创造力，我们还需要学习吗？
45:12 什么是逻辑？为什么人类还需要数学教育？
49:38 AI时代的数学教育是什么形态？
51:03 数学教育的基本任务是为了训练逻辑能力吗？
58:38 人类具备逻辑思维能力到底有多重要？数学是唯一训练逻辑的方法吗？
63:11 AI的解题方式跟教育方法的冲突
79:57 当下数学教育的痛点，AI是否可以实现教育公平？
90:07 人类为什么还要学习数学？
显然，我们是一个新手播客团队，在节目的结构和制作中还有很多需要持续优化的部分，所以也希望大家订阅我们，并且给出建议，我们都会认真阅读并听取，谢谢！
【本期主题】
人类为什么还要学数学？
谷歌Deep Mind的AI模型解决了今年国际数学奥林匹克竞赛（IMO）六个问题中的四个问题，人工智能已进入解决数学中高级推理问题的阶段。如果AI在数学领域突破了人类的智力极限，人类还需要学习数学吗？
【主播】
连长、养鸡捉马
【嘉宾】
陈利人，Google前100号员工，近期专研AI。
云保奇，陈省身数学试点班，爱好研究数学与AI。
03:55数学和AI领域最近有哪些新进展？
05:04什么是辅助线？人工智能可以绘制辅助线吗？
11:33 AI最近在数学领域的应用
14:05 数学的意义及数学和人类的关系
18:55 人工智能是否能够突破人类智力极限？
20:38 大模型的推理能力弱在哪里？
24:18 语言大模型是数学大模型的翻译器
34:55 当人工智能具有了创造力，我们还需要学习吗？
45:12 什么是逻辑？为什么人类还需要数学教育？
49:38 AI时代的数学教育是什么形态？
51:03 数学教育的基本任务是为了训练逻辑能力吗？
58:38 人类具备逻辑思维能力到底有多重要？数学是唯一训练逻辑的方法吗？
63:11 AI的解题方式跟教育方法的冲突
79:57 当下数学教育的痛点，AI是否可以实现教育公平？
90:07 人类为什么还要学习数学？
显然，我们是一个新手播客团队，在节目的结构和制作中还有很多需要持续优化的部分，所以也希望大家订阅我们，并且给出建议，我们都会认真阅读并听取，谢谢！
评价...
空空如也
小宇宙热门评论...
温格_2ViH
10个月前
浙江
23
为了杠而杠就没意思了，这个节目差评
TartarusRid
10个月前
上海
18
感觉有一位就是抱着固有偏见在抬杠啊………
yang_yichun
10个月前
广东
11
有点像圆桌派 感觉提到的好多专业术语 工具 模型 都能在show note里面加一个解释说明（像圆桌派结尾那样）
芥隐隐
9个月前
北京
11
1:22:48 有个抬杠的实在影响观感，坚持不下去了，来了一波又来一波，问题像鲁豫一样失智又显然没有鲁豫的水平，不是想起到抛砖引玉的作用，只是想证明，世界就是一块砖。
天天向上_tESk
10个月前
湖北
7
陈老师的观点感觉和爱因斯坦晚期的“决定论”有点类似。决定论认为宇宙的每一个角落，每一个粒子的运动，都应该遵循着某种确定的规律，就像一个精巧设计的钟表，每个齿轮的转动都是必然的。
所以在有限的公理之下所推导出来的结果是确定的，ai只需要在这些大量的结果内进行搜索即可。
这也涉及到了人类是否是具有自由意志，细微出来说人的想法是否具有自主权，细节说的话涉及到人类诞生某个想法的神经突触是否具有随机性，这也是人类和ai的本质区别。
人类可以区别于ai的一点是人类可以具有颠覆性或者说随机性的灵感/灵性。
3位男主播我都很喜欢，连长能很精准的找出问题的关键，提出的问题也很好。陈老师的对于问题的态度我太喜欢了，就是要问出最核心的东西。
yang_yichun
10个月前
广东
6
竟然给文科生推数学 果然很好睡
Steve_8Z78
10个月前
瑞士
5
推送到我啦！高质量内容
HD870979r
10个月前
四川
5
这期东北口音的那个人这么喜欢抬杠呢
HD1005351n
9个月前
浙江
4
纯杠，什么小学数学就不是数学，说不过开始自己重新结构词汇意义了，自己偏执的把也不知道是不是临时编出来的说服自己都不太连贯的东西强加给别人，笑死。什么逻辑训练只能靠几何，这都是什么暴论，典型的为了瞎掰颠覆全世界了。
云岭奇光
10个月前
陕西
3
AlphaGeometry解题流程可以概括如下：
1、给定一个几何问题，及其相关前提和图形。
2、AlphaGeometry 的符号推理引擎对给定图形进行逻辑推理，试图找到解决问题的方法。
3、如果符号引擎无法通过推理得到解决方案，AlphaGeometry 的语言模型会提出添加一些新的几何结构(如点、线、圆等)到图形中。
4、符号引擎然后基于这些新的结构继续逻辑推理，看是否可以推导出解决问题的方法。
5、如果还不行，语言模型会再提出添加一些新的几何结构，循环往复。
6、直到符号引擎通过语言模型提供的新结构，最终可以推导出解决问题的方法和证明。
在这个过程中，语言模型发挥快速提出新点子的作用，符号引擎发挥严谨推理的作用，二者相互协同，以解决复杂问题。
TartarusRid
10个月前
上海
2
1:13:08 这就是纯抬杠了啊
云岭奇光
10个月前
陕西
2
观点的分歧争议很正常，理越辩越明，AI for Math在快速发展中，很多结论还有待观察
楷泽斯劳童
10个月前
广西
2
AI当前处于并将长期处于搜索阶段。抱怨人家抬杠，其实是听不懂，或者不愿听懂自己理解不了的事情
Ma_l5tb
9个月前
广东
1
最后咋感觉吵起来了
云岭奇光
9个月前
陕西
1
形式不重要，重要的是问题，AI时代的数学教育……
西泛
8个月前
法国
1
抬杠的那个纯脑瘫😑
HD258120m
7个月前
陕西
1
关于人工智能的思考方式，多年前下国际象棋的深蓝，就是完全靠深度搜索和递归，实际上，并不能称为人工智能。现在的阿尔法狗下围棋，靠的是神经网络训练，不是单纯的搜索和递归，因为围棋的变化太多了。就算计算机算力再够庞大，也做不到只靠深度搜索和递归完成棋局的计算。
psychosiss
10个月前
安徽
0
现在是否有可供个人使用的数学专用大模型，可以用于引导学习思考？
ll_3ZN1
10个月前
北京
0
1:09:59 各位可能完全不了解最新的进展。。。。 提示一个相关的工作，自己先读读吧 i.e funsearch
西北大龙虾
9个月前
新加坡
0
录本期播客的时候，数学家坐在我对面，陈老师坐在我右面，我看着数学家诚恳的表情，深受感染，当然他的陕北口音也让人觉得可信，然后陈老师时不时从我身侧发起一些疑问，还真有点打冷枪的感觉呢，哈哈哈
