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