50年未解的“天坑”难题，被清华姚班大神陈立杰联手00后破解了？！

天玑算

从 IOI 全球第一到伯克利助理教授，清华姚班出身的陈立杰再放大招！他带领团队跳出千年数学思维，用 “逆向操作” 撕开 50 年未破的计算复杂性困局。理论计算机科学领域，“旅行商问题” 困扰学界半个世纪 —— 找到经过所有城市仅一次的最短往返路线。
在地图上找一条经过每个城市恰好一次，最后还能回到起点的最短路线。城市数量增多后解法便异常缓慢，研究者直觉 “无更优解”，却始终无法用数学证明。
不止这一问题，50 年来，全球学者试图将 “问题很难” 的直觉转化为严谨定理，屡屡碰壁。
而打破僵局的，是清华姚班走出的陈立杰，他另辟蹊径投向 “元数学” 领域！

逆向思维：把数学 “倒过来” 解题

2024 年 4 月，陈立杰联合清华姚班 00 后本科生李嘉图、华威大学学者 Igor Carboni Oliveira，在论文中公开颠覆式方法 —— 逆向数学。

传统数学是 “公理→定理”，陈立杰团队反其道而行之：用待证明的定理替换某条公理，再用新公理集反推被替换的公理。

这一灵感源于 2022 年他 MIT 博士毕业前的钻研，他发现 “相等性问题下界” 的证明依赖 “鸽巢原理”，大胆猜想 “能否用下界证明鸽巢原理”。

以 PV₁公理为基础，陈立杰与李嘉图成功验证：两者在逻辑上完全等价。
Igor 加入后，团队进一步发现 “单带图灵机回文下界” 也与鸽巢原理等价 —— 一个简单计数规律与计算模型问题，竟在底层逻辑统一。
这个新结果意味着，这些看似路子很窄的定理，其实比它们看起来要通用得多，基础得多。

核心突破：重构学科基础

陈立杰团队的研究带来两大关键突破：一、是揭开复杂性底层逻辑，让零散的 “局部结论” 形成系统网络二、是明确公理体系边界，证明等价定理在 PV₁体系中均无法证明，为学界规避无效研究。牛津大学学者 Ján Pich 盛赞：“这一成果太美了，看清了公理与定理的真实关联。”陈立杰的开挂人生

陈立杰现任加州大学伯克利分校电气工程与计算机科学系（EECS）助理教授，同时隶属于伯克利理论组。

高中时期——他便在信息学竞赛圈封神，2012 年以 NOI 金牌锁定清华保送资格，紧接着在第 25 届 IOI 中以 569 分（满分 600 分）斩获全球第一。
他长期霸榜 Codeforces、TopCoder 等国际编程平台，解题速度快、思路实用，深受全球选手推崇。
进入清华后——他在交叉信息研究院「姚班」攻读本科，师从李建教授，2016 年斩获清华本科生最高荣誉特等奖学金，答辩视频全网走红。
随后赴 MIT 攻读博士，师从 Ryan Williams，主攻计算复杂性理论与细粒度复杂性，2019 年包揽理论计算机顶会 STOC 和 FOCS 最佳学生论文奖。
2022 年博士毕业后——他获加州大学伯克利分校米勒奖学金（Miller Fellowship），担任博士后研究员，合作导师为 Avishay Tal 与 Umesh V. Vazirani。他深耕复杂度理论基础问题，还致力于将理论计算机思想拓展至量子物理、AI 安全等跨领域，聚焦 P vs. NP、随机性与计算的关系等核心课题。每一项像陈立杰团队这样的科研突破，都是人类探索未知的一小步，算力正是推动这一步的关键动力，我们深知科研路上的每一份专注都来之不易。而这份对科研的专注与坚守，恰与天玑算的追求不谋而合。
天玑算·科研算力—— 我们投入上亿元，在成都、雅安、广西建立3大战略级算力中心，采用Intel至强铂金五代、AMD霄龙四代等业界领先架构，构筑极速高效的HPC算力基石，同时我们还具备自主研发、设计生产服务器的能力，可满足科研深度定制需求。
为更好的满足广大科研人对算力的需求，我们自主研发了国内首个 “算力 + 学习” 综合应用平台 ——天玑智算云，它能够实现异构资源智能调度，为用户提供从底层算力到上层应用的全流程技术支持，助力科技创新与成果转化。

天玑算 · 科研服务

天玑算·科研服务，拥有50余名全职硕博工程师及千余名认证技术人才，构建了覆盖20多个细分领域的专业计算体系，致力于为高校、科研院所及研发型企业提供模拟计算、超算租用、服务器定制、学术培训与实验检测等科研一体化解决方案。我们以技术为根基，创新为引擎，累计服务超2000家单位、覆盖超10万科研人员，业务遍及全国30余省市。

通过计算、算力、测试与培训的深度融合，天玑算构建了从基础研究到成果转化的完整服务闭环，以专业实力践行科研报国理念，持续助力中国科研事业创新发展。

愿以高性价比算力与全栈式技术支持，为科研人减负增效，让每一份创新都无后顾之忧！

关注分享 让科研更轻松

部分图片、内容来源于新智元以及网络，内容仅做学术分享之用，版权归原作者所有，不代表本公众号观点或证实其内容的真实性，如有侵权请联系删除，谢谢！