科技修道院

9年前的一天，身在法国的欧洲围棋冠军樊麾，收到了一封莫名其妙的合作email，对方约他到伦敦面议，至于要干什么，则讳莫如深。哪知，此一去，樊麾却成了第一个亲身体验某领域AI“奇点”的碳基生物——从对AI的不屑，到一胜难求，他经历了太多了惊讶与困惑。而在输给AI的棋谱公之于众，樊麾被骂为“人奸”之后，他只好将还自己清白的机会，寄托在了要跟AlphaGo进行五番棋大战的李世石身上。在李世石输掉第三局的那一刹那，作为裁判长的樊麾突然觉得自己瞬间漂浮起来，似乎时空在那一刻凝固......这是一段对樊麾来说刻骨铭心，对人类来说也值得记忆的历史。虽然从CNN到CCTV都对他有过采访，但是用一个半小时的时间完整、细致地回顾那段惊动全世界的AI往事，这期播客，还真是史上第一次。对普通人来说，自然很难有机会体验一个AI产品从蠢萌陡然变成碾压人类能力的奇点。但是从樊麾的讲述中，我们似乎又能感同身受。相比于钻研冷冰冰的代码与算法，以这样的方式理解AI、接近AI，对我们人类来说，更多了几分温情。一个半小时的深谈，其实才刚开了个头。人机大战以后，引发了无限波澜——围棋的发展今后何去何从？学围棋是接近AI的捷径么？樊麾的老板和同时哈萨比斯为何转向生物领域，又如何拿下诺贝尔奖？这后面的精彩故事，实在太多了，我们将分几期陆续呈现给大家，请大家保持关注。主播：@东东枪，@北冥乘海生，交流群请加bmchsl

这回，我们约到了一位根正苗红的数学家——中科院数学院的苏阳老师，聊聊关于"碳基和硅基数学天才"的那些事。请注意，千万别把"数学家"叫成"科学家"，这得算骂街！本期内容制于姜某事件尘埃落定之前，目前看来，我们对真相的判断没有错。而且，节目里还聊到了一些官方没有公布的可能背景。姜的天才神话已经破灭，那么真正的数学天才啥样呢？苏老师给我们讲了高斯、拉马努金等一串数学天才的有趣故事。听完以后我才发觉，但凡你上中学不能帮数学老师答疑解惑，也就甭指望自己有什么数学天赋了！然而，在硅基智能大行其道的今天，数学这项比拼智力的学问，也在向着新的研究范式缓缓演进：从四色定理的机器证明到今天的lean语言辅助证明体系，计算机技术的发展切实为数学家提供了全新的武器。当然，像OpenAI这类纯粹基于归纳而非演绎的推理思路，也算是另辟蹊径，只是现在对数学家还不太实用。而展望未来，假设有一天，AI能够自主发现和证明某些定理，而其复杂的过程又难以为人类数学家所验证，那时，对于这些AI定理，我们该不该信，又该不该用呢？谈到这里，我们不由得陷入了沉思......主播：@东东枪，@北冥乘海生，交流群请加bmchsl

从去年开始，各大手机厂商就开始争先恐后推出“AI手机”，并在苹果的呐喊声中达到了高潮。然而，除了发布会上的PPT，大家感受到的AI手机，似乎还在云里雾里。那么，AI手机到底是划时代的变革产品，还是蹭热点的营销噱头？本期，我们请到了北京交通广播《联e会》的主播徐冉老师，结合他对数码产品丰富的体验和洞察，一起来聊聊AI手机的话题。简单说，手机终端确实是最适合AI发挥其独特优势的场景，因为与通用的AI引擎相比，个性化的信息加工和服务能力，只有手机才能做到；另外，手机还具备调动大量的功能应用，用AI能力将其深度整合的机会。当然，这也不可避免的带来一个老生常谈的话题——个性化的便捷与隐私保护的风险该如何平衡。关于这一点，我们会有不一样的思考呈现给大家。主播：@东东枪，@北冥乘海生，交流群请加bmchsl

近来，A股从ICU直接蹦入KTV，又从KTV掉入铜网阵，交易量暴涨，某天甚至用户的下单都堵住了。为此，我们请来了前上交所核心交易系统的架构师——龙白滔博士，给我们聊聊这里的门道。龙博士告诉我们，A股虽然不是交易量最大的市场，但是由于交易制度的不同，实际的线上系统并发量，那是相当恐怖！从这个话题说起，我们了解到，由于各国交易制度的区别，不同的市场有着不同的“对韭当割”套路——比如某些券商看似慷慨的“免佣交易”，就是个陷阱。那么，二十年前，龙博士他们在构建面向中国市场的交易系统时，有哪些关键的技术挑战需要解决，为什么作为样板的德交所系统方案不能直接拿来，而近来A股交易量暴增后的爆单，是触达了系统的设计天花板，还是另有原因，这些有趣的问题，您都可以在龙博士的讲述中找到答案。对了，还有个事，您知道上交所的系统验收，是宝钢给做的么？当然，您要是关心在A股到底能不能挣着钱，我们宾主双方也就此问题进行了亲切友好的交流，达成了一些无可无不可的共识，仅供诸位听众参考！主播：@东东枪，@北冥乘海生，交流群请加bmchsl

这一期的嘉宾，是高性能计算领域的顶级专家何万青老师。何老师除了历任阿里云和英特尔中国高性能计算的研发瓢把子，还是一位资深的《三体》迷和科幻布道者。何老师与《三体》的因缘很深，也是大刘早期的核心粉丝之一。这次我们聊的，是从二十年后回头看大刘的科幻世界，哪些是天启般的神预言，哪些又不同于实际的科技进展。虽然科幻小说并没有预测科技路线的义务，但对科幻品头论足，却能满足我们的恶趣味。《三体》构建的科幻空间，精妙神奇而逻辑自洽，比《沙丘》之流拿着武侠冒充科幻的作品，不知道高到哪里去了。然而，在AI和生物技术取得重大进展的今天，我们还是隐约发现了一个问题——大刘对生物智慧在科技进展中的超然作用，可能还是有些高估了......科技会不会进入一条高速前进，但方向盘和目的地并不在碳基生物手中的快车道呢？我们瞎说说，您就瞎听听。欢迎大家关注评论，等发下期视频的时候，从评论的关注者里抽出一名幸运听众，送一本何老师跟他的女儿合作翻译的神作《未来五百年》。主播：@东东枪，@北冥乘海生，交流群请加bmchsl

科技修道院的头一期，我们请来了计算机科学领域的大前辈，《人工智能简史》与《理解图灵》的作者尼克老师。本期讨论的话题也特别有趣：谷歌作为大模型多项关键技术的引领者，却被OpenAI弯道超车，这究竟是因为道德的沦丧，还是人性的泯灭？其实都不是！尼克老师告诉我们，OpenAI的弯道超车，泛着第一性原理的伟大光辉！“学习”的科学定义是什么？什么是所罗门诺夫归纳法？OpenAI对人工智能的理解有什么优势？详细听完本期播客，您会感到醍醐灌顶，浑身舒畅......尼克老师提出了一个令人深省的观点：人工智能的可解释性是不可能的！人类要追求比自己强大的认知能力，就一定是自己无法直观理解的。听到这里，我们对人类的命运、技术的前途，陷入了深深的沉思......欢迎大家关注评论，等发下期视频的时候，从评论的关注者里抽出一名幸运听众，送一本尼克老师的新作《理解图灵》。主播：@东东枪，@北冥乘海生，交流群请加bmchsl