【碎碎念】Yau班巨震与高歌猛进的AI4S

R.I.P

其实我一直觉得年轻学生群体喜欢Yau笑话的其中一个原因是，Yau和他的求真书院某种程度上是承担或者代言了“考败来浙”这个生态位的。这里的“考败”指的是以Yau的学术地位，他的本科生项目招生仍然必须高度遵循当前的市场化机制——通过CMO这套体系选拔的选手会先被北大数院这样的传统重镇以及清华姚班、北大图班这样年轻但是声誉不差、且有不少产业联系的机构先挑走。或者换一种说法，对于通过了选拔有选择权的学生来说，在他们自己做一些功课或者从师长了解到这个“现状”之后，选择求真书院的概率是比较小的。在Yau无力明显扭转这个市场化机制的现实下，招到的学生会更偏向于在高联CMO体系中发挥稍次一档，或者对求真书院的市场地位认知不足（这大概率蕴含家里人和学术界距离不近），或者想搏一搏的。
但是说白了，从日后做出一流工作的角度上说，微弱的正相关可能有，但竞赛阶段进入胜者组从来不是必要条件。如果是拿几个超级大奖的要求来看也许相关会陡增，但华人和大陆机构本来也没几个dp嘛，很不好说。而且搞学术的，除非你是那种超级rising star，绝大多数人总会有那么一个认清自己上限的时候，然后继续手头的工作，然后到了某个节点离开学术或者作为一辈子的事业继续。中学竞赛胜者组的同学绝大部分只是稍晚才经历这个而已（而且很多也不用延迟，集训队内人和猪的差距你懂的）。这个意义上说大家都是精神求真人。


对于这个生态位Yau不可能满意，但这已经是在大陆展业的最好办法了。前段时间的预科验收拒绝通过风波一出，高联CMO体系之外的升学路径几年内可能很难指望了。要我看要培养数学工作者，开出这样的小道相比纯高考选拔绝对是精准有效得多的，而且也能和IMO系统搞些口味不一样的东西。可惜在Yau团队多年来不尽人意的发挥下，走到了这个台面上重大挫折的局面。数院两位校友登顶，最广大的高考生群体对Yau项目也有经年累月的怨气，可不按得死死的。


然后今天又看到openai的重大发表

这几年陆续见证了Sebastien Bubeck这样的大佬和陈立杰、武弘勋这样的大陆rising star加入OpenAI。（对，其实我算是搞宽口径的TCS的，上面悲Yau可能有点越俎代庖了）这几位或者是我小领域中的学术偶像，或者是我现实中有交道的最有天分的那一拨人，他们都选择了这条工业化搞纯数与TCS的路径，而且成果喜人。如果重资产工业化的研究方式是“怎样做研究”的新版本答案的话，“什么样的人能做研究”这个问题我实在想不到乐观的答案。重资产的次时代学术机构除了招聘已经羽翼丰满的学者，要怎么完成其成员的再生产呢？搞不好接下来的图景就是一些人还在死怼大问题，也许还能有李九段从AlphaGo手下拿到一局的短暂窗口，剩下的人靠肉体或者极虎一点的自动化工具捡点低垂果实，在濒临崩溃的peer review系统里开展大吃鸡，试图为自己赚得一张通往新世界的船票。草，搞不好给大厂标数据先混个挂票会是个更好的主意。在混沌的磨合期过后，获得学术资格会成为一个主要靠connection和故事包装的过程吗，还是说在凡间厮杀到最后的气运之子还能定期被点化飞升呢，又或者还是把Yau的路子重新请回来呢

嘛，除开这些同行再生产问题的多愁善感，AI真的很美好。两年前我完全无法想象有辅助轮能让我学会在精力最好的时候都没能学会的一些东西，也能搞一些创作。哎。

omnitoken

对未来总该乐观些啦

我感觉PL界的狂欢要开始了

现在AI都能帮我们写TLA+ 写lean做形式证明了，对于普通开发者来说大幅度提示理论taste的时代很快要来了

—— 来自 鹅球 v3.3.96

R.I.P

https://www.zhihu.com/question/2066915812980560727/answer/2067587789651179214

—— 来自 S1Fun