金策：17岁IOI世界第一，MIT博士毕业，拿下算法领域最高的学生论文奖

AI人物 | 感受他们为世界做出的贡献

2016年8月，俄罗斯喀山，第28届IOI（国际信息学奥林匹克竞赛）。中国队四个人——金策、吴作凡、任之洲、董克凡——四块金牌，团体冠军。

十年过去，这四个人去了不同的地方。吴作凡和任之洲加入了DeepSeek，董克凡进了OpenAI。只有一个人还在做"计算机科学最底层的那件事"——证明算法到底能跑多快。

他叫金策，是那一届中国队的世界第一。

杭州学军，徐先友的学生

金策是浙江杭州人，高中在杭州学军中学读。教练是徐先友老师——学军信奥的核心人物。

学军中学的信奥，一直是浙江乃至全国的头部。2014年IOI，学军的徐寅展拿到世界第一；两年后，金策接着拿了一次世界第一。同一所中学、同一个教练、三年里两位IOI冠军。

金策的竞赛成绩是一层一层堆上去的：

2014年NOI，高一，金牌，高一高二组第一名，674分。

2015年NOI，高二，金牌，687分，全国第二名。那一届金牌第一名是安徽师大附中的吴作凡，700分。

两个人后来一起代表中国队出征IOI。

IOI 2016 世界第一

2016年8月，金策高三毕业那年的暑假，代表中国队飞到俄罗斯喀山。

那一届IOI的结果：金策世界第一，吴作凡世界第二。一年前NOI，吴作凡是第一、金策是第二。

2013年陈立杰、2014年徐寅展之后，金策成了中国队四年里的第三位IOI世界第一。

清华姚班

2016年9月，金策进入清华大学姚班。

姚班四年，他的方向定下来了：算法理论。

姚班出过很多AI方向的选手——吴翼、陈丹琦、姚顺雨，后来都成了AI圈的重要名字。但金策选了另一条路：研究"算法本身"。

MIT：两位Williams一起带

2020年秋天，金策去了MIT（麻省理工学院）读计算机博士。

他的博士导师是两位学者，Virginia Vassilevska Williams和Ryan Williams。这两个人都是算法复杂度领域的顶尖学者，恰好是一对夫妻，都在MIT计算机系做教授。

他在研究一件什么事

金策做的事，一句话说清楚：

"一个算法已经很快了，能不能再快一点点？"

这个领域叫细粒度复杂度。比如给一串数字排序、在地图上找最短路径、判断两段文字有多相似——这些问题都有已经被人类找到的"最快算法"。但"最快"到底有多快？能不能证明"这就是理论极限，再也不可能更快了"？

这类工作不像深度学习那么性感，不会上热搜。但今天每一次AI模型推理、每一次打开地图查路线、每一次云端处理海量数据——背后都站在这些"最底层算法"上。地基不动，上面的楼再高也起不来。

一年两个最佳学生论文奖

五年博士下来，金策发表了40多篇论文，大多出现在STOC、FOCS、SODA、ICALP这些算法理论顶会。

2024年那一年，他一个人拿下了两个最高的学生荣誉：

STOC 2024Danny Lewin最佳学生论文奖——STOC是算法理论公认的最顶级会议，这个奖每年全球只颁一篇。

ICALP 2024最佳学生论文奖——欧洲的对应顶会的对应奖项。

同一年拿下两个不同大洲的最佳学生论文奖，极少见。

伯克利Miller博士后

2025年5月，金策在MIT博士毕业。两个月后，他去了加州大学伯克利分校。

他拿到的是Miller博士后奖学金——伯克利每年在基础科学领域只给十几位的荣誉型博士后。带他的导师是Jelani Nelson教授，研究流式算法和草图算法。

有一个细节：2026年春天，同一个学校的陈立杰——IOI 2013世界第一、前伯克利计算机系助理教授——刚刚离开伯克利，去了OpenAI。

两个IOI世界第一，在伯克利同一个系里前后脚。

金策所在的伯克利AI圈，我们后续会单独写一篇。