简介...
这回，我们约到了一位根正苗红的数学家——中科院数学院的苏阳老师，聊聊关于"碳基和硅基数学天才"的那些事。请注意，千万别把"数学家"叫成"科学家"，这得算骂街！
本期内容制于姜某事件尘埃落定之前，目前看来，我们对真相的判断没有错。而且，节目里还聊到了一些官方没有公布的可能背景。
姜的天才神话已经破灭，那么真正的数学天才啥样呢？苏老师给我们讲了高斯、拉马努金等一串数学天才的有趣故事。听完以后我才发觉，但凡你上中学不能帮数学老师答疑解惑，也就甭指望自己有什么数学天赋了！
然而，在硅基智能大行其道的今天，数学这项比拼智力的学问，也在向着新的研究范式缓缓演进：从四色定理的机器证明到今天的lean语言辅助证明体系，计算机技术的发展切实为数学家提供了全新的武器。当然，像OpenAI这类纯粹基于归纳而非演绎的推理思路，也算是另辟蹊径，只是现在对数学家还不太实用。
而展望未来，假设有一天，AI能够自主发现和证明某些定理，而其复杂的过程又难以为人类数学家所验证，那时，对于这些AI定理，我们该不该信，又该不该用呢？谈到这里，我们不由得陷入了沉思......
主播：@东东枪，@北冥乘海生，交流群请加bmchsl
本期内容制于姜某事件尘埃落定之前，目前看来，我们对真相的判断没有错。而且，节目里还聊到了一些官方没有公布的可能背景。
姜的天才神话已经破灭，那么真正的数学天才啥样呢？苏老师给我们讲了高斯、拉马努金等一串数学天才的有趣故事。听完以后我才发觉，但凡你上中学不能帮数学老师答疑解惑，也就甭指望自己有什么数学天赋了！
然而，在硅基智能大行其道的今天，数学这项比拼智力的学问，也在向着新的研究范式缓缓演进：从四色定理的机器证明到今天的lean语言辅助证明体系，计算机技术的发展切实为数学家提供了全新的武器。当然，像OpenAI这类纯粹基于归纳而非演绎的推理思路，也算是另辟蹊径，只是现在对数学家还不太实用。
而展望未来，假设有一天，AI能够自主发现和证明某些定理，而其复杂的过程又难以为人类数学家所验证，那时，对于这些AI定理，我们该不该信，又该不该用呢？谈到这里，我们不由得陷入了沉思......
主播：@东东枪，@北冥乘海生，交流群请加bmchsl
评价...
空空如也
小宇宙热门评论...
bolta
7个月前
河北
1
嚯枪总双更
MJ雄
7个月前
北京
1
来凿啦
__noble__
7个月前
北京
1
咦，竟然开了播客
千山月明
7个月前
广东
1
11:06姜萍不是被揭露和老师一起作弊了吗？你们啥时候录的？
纺车鸣露
7个月前
北京
1
这集有意思！70min不够听，很多数学话题还没聊到
学武_7T0o
7个月前
北京
1
人工智能发现公式，有一个叫拉马努金机
乐草_w9F9
7个月前
上海
1
可以问问量子计算的进展，也涉及加密
木独
6个月前
广东
1
还有这思路
生而为猫奴
6个月前
广东
1
19:39 这已经不是天才了，是天选之子the chosen one🤣
拿普通人生剧本
4个月前
湖南
1
45:33 相当于对照组呗
拿普通人生剧本
4个月前
湖南
1
49:00 现在各个领域都热衷于训练各种模型专家系统，可能是一种解决问题的通用路径。得出一个正确的结论相对于证明可能更简单。因为后者要充分了解全部，前者可能了解局部就足够得出正确结论了。这像是切割掉一部分责任、放下了一个担子，就像预测也比评估更简单一样。
Allen34
7个月前
广东
1
里面东东枪老师提到的关于"天空为什么是蓝色的"文章，是在哪本书里吗？听不大清楚，建议是不是可以在 show notes里面备注一下？
__noble__
3个月前
北京
0
貌似这位苏阳是本科师兄。。
