袁洋

我主要研究AI+中医。具体来说，我希望从三个层面推进这件事：

1. 刻画医疗过程。 记录并描绘医生在日常诊疗中与患者的交互、判断、推理和思考过程。

2. 辅助临床诊疗。 结合人工智能算法与医疗设备，分析患者信息，辅助医生辨证、开方。

3. 形式化中医理论。 在实践过程中，我逐渐意识到，仅靠数据驱动是不够的。医疗知识需要自洽，辅助诊疗需要可解释性。为此，我们需要将医疗过程形式化为一种代数系统，也就是把中医变成一种数学。

我希望推动的方向，是建立一种以中医为基础、由范畴论支撑的新医疗。其中，医理、病症、病机、治法、方药与人体状态可以被统一刻画，并通过其中的结构关系相互对应、组合和推演。

我因此对范畴论产生了浓厚的兴趣。范畴论不仅可以帮助我们分析和理解复杂系统，也可以为人工智能提供一种新的组织方式：刻画大模型的能力边界，设计新的算法，并将许多局部能力组合成可验证、可扩展的大规模系统。 具体来说，我们正在尝试使用拓扑斯理论来构建软件生成系统和数学自动证明系统。我认为，随着模型能力不断提升，未来真正重要的问题将不只是“单个模型能做什么”，而是如何把复杂任务拆解成许多简单任务，分别解决之后，再将它们组织成完整的复杂系统。

由于在学校培养AI中医方向的人才极为困难，我目前主要招收对AI数学、软件生成、大规模复杂系统构建感兴趣的学生。此外，我也在组建一支全职工程团队，方向聚焦于AI数学。

我博士毕业于美国康奈尔大学，师从Robert Kleinberg教授。博士毕业之后，我在MIT大数据基础研究院（MIFODS）做了一年博士后研究员。 我本科毕业于北京大学，出生于常州。 我的简历和Google Scholar主页。