这回，我们约到了一位根正苗红的数学家——中科院数学院的苏阳老师，聊聊关于"碳基和硅基数学天才"的那些事。请注意，千万别把"数学家"叫成"科学家"，这得算骂街！

本期内容制于姜某事件尘埃落定之前，目前看来，我们对真相的判断没有错。而且，节目里还聊到了一些官方没有公布的可能背景。

姜的天才神话已经破灭，那么真正的数学天才啥样呢？苏老师给我们讲了高斯、拉马努金等一串数学天才的有趣故事。听完以后我才发觉，但凡你上中学不能帮数学老师答疑解惑，也就甭指望自己有什么数学天赋了！

然而，在硅基智能大行其道的今天，数学这项比拼智力的学问，也在向着新的研究范式缓缓演进：从四色定理的机器证明到今天的lean语言辅助证明体系，计算机技术的发展切实为数学家提供了全新的武器。当然，像OpenAI这类纯粹基于归纳而非演绎的推理思路，也算是另辟蹊径，只是现在对数学家还不太实用。

而展望未来，假设有一天，AI能够自主发现和证明某些定理，而其复杂的过程又难以为人类数学家所验证，那时，对于这些AI定理，我们该不该信，又该不该用呢？谈到这里，我们不由得陷入了沉思......

主播：@东东枪，@北冥乘海生，交流群请加bmchsl

💯脱碳入硅，看看你的数学潜质！ - 苏阳/东东枪/北冥乘海生 01:10:08 Share

科技修道院