从清华园到算法之巅：只有金策还在搞算法水木singhuacent

喀山之夜：四块金牌，两个世界第一

2016年8月，喀山，第28届国际信息学奥林匹克竞赛结果揭晓。金策以597分的绝对优势，刷新那年世界第一的得分纪录。同一届中国队四位选手——金策、吴作凡、任之洲、董克凡，全部入选清华大学，成为IOI2016中国队的最终注脚。

十年之后，这条分岔路渐渐清晰。吴作凡扎进AI浪潮，成为DeepSeek-R1核心贡献者；任之洲也选择了DeepSeek；董克凡横跨斯坦福博士，最终落脚OpenAI。只有金策，仍在算法的基座上敲击。

学军中学的底色

金策是浙江杭州人，高中就读杭州学军中学，师从徐先友老师。学军在信奥圈分量极重：2014年学长徐寅展拿过世界第一，两年后金策又接过同一面金牌，同一所中学，两代冠军。

金策的高中竞赛履历几乎是步步为高：2013年，高一，全国决赛直接夺金并保送清华；2015年NOI再次夺金，位列全国第二；两年的积淀，终于让他在2016年夏天站上喀山，拿下世界第一，也是他继2013年世界数独锦标赛后摘下的又一枚世界级金牌。

姚班，以及那个“不赶潮水”的选择

2016年秋天，金策进入清华姚班。姚班一届又一届输送了不少AI浪潮中的弄潮儿——陈丹琦、姚顺雨、吴翼……金策却从姚班第一天起就在理论算法这条路上稳步前行。

数论与复杂度极少在技术风口上被提及。金策的方向正是链条最底层的“细粒度复杂度假设”：一个问题，现有解法已经很快了，到底还能不能更省、更快？能不能证明“这就是理论极限，再也不可能更快了”？

这类工作不像模型训练那样上热搜、出圈。但ChatGPT每生成一个回复、地图App每出一张路线图、数据库每进行一次高维索引，背后都站着这些最底层的算法。地基不稳，楼再高也撑不住。

MIT一年双奖，算法圈史无前例

金策在MIT读博的导师是一对学界知名夫妻档：Virginia Vassilevska Williams和Ryan Williams，两人都是理论计算机科学顶尖学者。

五年博士生涯，金策在STOC、FOCS、SODA、ICALP等地标性顶会发表40余篇论文。最惊艳的是2024年，他一人包揽两大洲的最佳学生论文奖：北美顶级会议STOC的Danny Lewin最佳学生论文奖（全球每年仅一篇），以及欧洲顶会ICALP最佳学生论文奖。同一年两洲双奖，在算法理论圈极为罕见。

2025年博士毕业后，金策前往加州大学伯克利分校，成为一名Miller博士后研究员。伯克利每年仅向基础科学领域授予十几份此类奖学金，荣誉性质极强，他在伯克利由Jelani Nelson教授指导，深耕流式算法与草图算法。

有意思的是，同一所学校的陈立杰——IOI冠军、姚班2013级世界第一——在那段时间刚刚从伯克利离职，加入OpenAI。两个世界第一，在伯克利计算机系时空交错。

让算法跑得更深一点

金策不做模型评测，不聚焦海量参数落地，他在角落默默推演：一个算法的复杂性能不能无限逼近它的极限？这些定理和证明，不会在微博刷屏，但当未来的AI系统、全球算力集群，哪怕只是再省下一个指令周期、一次冗余内存访问，都深埋着他埋下的根。

曾有人问金策，为什么不赶潮水？他的回答简单：算法竞争看似已经慢下来，只是觉得还没想到它的“下一个版本应该长什么样”。不赶潮水的人，往往是最先感知潮汐方向的人。