清华袁洋，姚班“班主任”，今年北戴河暑休最年轻专家

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

2026年8月1日到7日，60位专家在北戴河休假。这是一年一度的安排，人是党中央、国务院请的，来自基础研究、战略前沿科技、关键核心技术和哲学社会科学四个领域。8月3日，中共中央政治局常委、中央书记处书记蔡奇受习近平总书记委托，去看望了他们。

新华社的休假侧记里，有一个人被单独点了出来：

清华大学交叉信息研究院院长助理、副教授袁洋，是今年受邀专家中最年轻的面孔。

袁洋，37岁，常州人，2012年从北京大学计算机系本科毕业。

北大、康奈尔、MIT，然后回清华

本科毕业后袁洋去了美国。2018年在康奈尔大学拿到计算机博士学位，导师是Robert Kleinberg。之后在MIT大数据基础研究院做了一年博士后，带他的两位教授是Piotr Indyk和Aleksander Madry。

回国进的是清华大学交叉信息研究院，院长是姚期智。袁洋现在的职务是院长助理、长聘副教授，同时在上海期智研究院带课题组。2019年他上了福布斯中国"30 Under 30"科学榜。

姚班：近1200个学生，600多篇本科生论文

交叉信息研究院里办着姚班，全称计算机科学实验班，姚期智创办的。2024年，袁洋以姚班项目主任的身份讲过这个班的学生是从哪来的：

"姚班"的学生，都是经过严格筛选的。他们可能是信息学、数学、物理、化学、生物等竞赛的金牌得主，也可能是各省的高考状元，抑或是通过二次选拔脱颖而出的佼佼者。

姚班的专业核心课全部用英文讲。到2025年12月，这个班累计培养近1200名学生，已经毕业的近750名。在校期间他们发了600多篇论文，近330人次在计算机、人工智能、量子信息的国际顶级会议上做过报告。毕业生里出了9位清华大学本科生特等奖学金得主，还有6位斯隆研究奖得主（美国斯隆基金会每年颁给北美最有潜力的青年科研人员）。

让大模型玩24点，成功率98%

袁洋自己带的方向叫AI for Math，让AI去做数学。

2023年，他和姚期智领衔的团队提出一个叫累积推理的框架。做法不复杂：三个大模型分工，一个提出下一步该怎么走，一个验证这一步对不对，一个负责汇总。旁边有人挑错，错的那一步当场被拦下来，不会带着错继续往下算。

结果是，玩24点（给四个数，用加减乘除凑出24，很多小学生做过），准确率做到98%。在MATH数据集最难的第5级题目上，正确率相对提升42%。

2025年，他和姚期智等人又发了一篇论文，处理的是另一个毛病：大模型写数学证明是一个词一个词往外蹦的，可证明本身有层次，先有定义，再有引理，最后才是结论。他们把这个层次拆成五级，让模型的注意力对着这套结构走。在miniF2F和ProofNet两套数学证明测试集上，证明成功率分别提高2.05%和1.69%，证出来的过程复杂度降低23.81%和16.50%。

还有一个方向，是中医

袁洋在清华官网上挂的研究方向有三个：智能医疗、AI基础理论、应用范畴论。第一个看上去和前面那些不挨着。

他讲过自己为什么要做中医：

因为中医历史上没有显微镜这样的工具，所以在诊断过程中，医生们不得不以黑盒的方式做诊断。

今天的神经网络也是黑盒。喂进去一张片子，它给你一个结论，中间到底发生了什么，谁也说不清。袁洋的想法是，中医用阴阳五行这类抽象概念把经验一代代传下来，这些概念摆的位置很像神经网络里的中间层，有了这层东西，模型要学的数据能少很多。

他的团队在做的，是把《伤寒杂病论》这类典籍里定义得很严谨的概念整理出来，搭一个中医知识引擎；再往上，用范畴论（数学里专门研究"结构和结构之间关系"的一支）把中医理论形式化成一套数学系统。他也说清楚过，智能医疗不是让AI替代医生。

这几个方向都慢。北戴河那七天，新华社记下了袁洋的一段话：

基础研究周期一般较长，有的短时间内难出明显成果，但党中央的重视给了我们坐"冷板凳"的定力，也给了我们向"无人区"进发的勇气。