段然,清华大学顶尖学霸,美国密歇根大学计算机博士,德国博士后研究员,攻克困扰学术界四十多年的 “排序障碍”,回国任职清华大学教授,姚班班主任。
段然不是那种一上台就喊“为国争光”的人。他本科在清华计算机系读书时,同学记得他总占机房角落那台旧机器,冬天手冻得敲键盘发僵,也不去抢暖气片旁边的座位。老师留的算法作业,别人交代码,他交一页纸推导,边角还写满疑问。有个同宿舍的人说他“轴”,他回一句:排序这东西看着简单,真往深里做,像在黑屋子里找门把手。
后来去密歇根读博,他导师是做计算复杂性的老教授,第一次见他就问:你中国人,为啥不选机器学习赶热度?段然说,机器学习火,是因为数据多、算力贵,可底层还卡在“怎么把东西排明白”这种老问题上。老教授没再劝,把实验室钥匙给他配了一把。
“排序障碍”这事,外行一听像Excel卡了。内行知道,它卡住的是大规模分布式系统里的任务调度、数据库索引重建、异构硬件上的负载分配。四十多年里,有人证明下界,有人做近似算法,没人把关键瓶颈打通。段然在德国做博士后时,拿欧洲超算中心的日志做样本,发现前人不愿碰的一件事:现实负载不是随机的,它带时间局部性和硬件偏置。他把统计侧的信息塞进组合优化框架,不靠堆神经网络,靠重构比较树的剪枝规则,把一类难例的复杂度从“几乎不可接受”压到工程可用。
这成果发出来,业内不吵吵,但几家云厂商的架构组连夜看预印本。因为省一点调度开销,数据中心一年就是几百万度电、几万台机器的寿命差。
他回国,不是因为哪场宣讲会感动了。清华老系主任给他发过一封邮件,没写待遇,只写:姚班的孩子现在不缺会写论文的,缺有人告诉他们,哪些问题值得耗十年。段然回北京那天,行李箱里一半是书,一半是超算日志备份。出租车走机场高速,他看窗外高架上的车流,跟学生后来开玩笑:你们看这堵车,也是个排序问题,谁先上匝道,谁被信号卡住,和任务进CPU一个道理。
当姚班班主任,他不开“成功学班会”。新生进来先干一件事:手写归并排序,不准调库,不准抄课本,写不完别想选题。有家长私信问,是不是太狠。他回:这些人以后要去掰算法天花板,连最土的底子都懒得磨,后面全是空中楼阁。
课堂之外,他实验室的门常半开着。学生凌晨两点推门进去,他可能正啃凉包子改审稿意见。有女生做异构调度被拒稿三次,哭完回来,他没安慰,把拒信逐条拆开:这条说实验规模小,不是骂你,是提醒你没踩到工业场景;这条说证明跳步,是你自己也没信那一步。后来那篇中了顶会,女生说,段老师不是温柔型,但他让你知道自己差在哪,不糊弄。
也有人质疑:搞基础算法,不如搞大模型来钱快、出名快。段然在组会直接说,大模型是楼,排序、索引、缓存这些是地基里的钢筋。钢筋不换,楼越高越晃。国家要算力自主,不是买几万张卡就完事,是得有人把最底层的比较、交换、路由、调度全想透。他带博士生,不许一上来就追SOTA,先读1980年代的老论文,把当年卡住人的假设一条条列出来:哪些假设今天硬件变了,哪些假设根本站不住。
这两年,清华姚班出来的孩子,有去国产数据库厂的,有进超算中心的,也有留校啃理论。段然不催他们发顶会,倒常问:你这个问题,十年后还有没有人用?没用,就别耗大家算力。
说到底,段然这种人值钱,不在于“海归光环”,而在于他肯把最冷、最硬、最不出彩的那块骨头啃下来,再回头教年轻人别总追热闹。中国搞计算机,不缺会追风口的人,缺的是风口过了还在原地把地基补好的人。
各位读者你们怎么看?欢迎在评论区讨论。
