创新无限｜袁源教授出任词元无限首席科学家

袁源现任北京航空航天大学计算机学院教授、博士生导师、国家级青年人才，拥有横跨中国、美国、英国、新加坡多国顶尖科研体系的完整学术经历。他博士毕业于清华大学计算机系，师从张钹院士，曾赴英国伯明翰大学访学，后在新加坡南洋理工大学、美国密歇根州立大学从事博士后研究工作。

袁源教授长期从事人工智能、智能软件工程、智能优化、代码大模型与程序自动生成方向研究，不仅有权威学术贡献，还长期与产业保持紧密连接。

在学术研究层面，袁源教授长期活跃在软件工程与演化计算领域的国际前沿：

• 曾以第一作者或通讯作者在 IEEE Transcations on Software Engineering, Artificial Intelligence, ACM TOSEM, IEEE TEC 等国际顶级期刊发表多篇代表性成果；

• 担任 IEEE Transactions on Evolutionary Computation, IEEE Transactions on Emerging Topics in Computational Intelligence 副主编；

• 多次担任 ACM GECCO，IEEE CEC, ICSE, IJCAI 等会议专题主席或程序委员。

  
  

其研究聚焦于群体智能、程序自动生成与修复、多目标优化、遗传编程与代码模型融合等方向，直指“复杂软件系统如何被机器协同构建”这一全球性难题。

例如，在 25 年与 Kefan Li 等人合作发表的论文《CoCoEvo: 程序与测试用例协同进化以增强代码生成》中，创新开发了名为 CoCoEvo 的新框架，旨在通过大语言模型（LLM），实现直接从自然语言的问题描述和函数头来生成程序和测试用例，消除了对预定义测试用例的依赖，从而增强代码生成的能力。

论文地址：https://arxiv.org/pdf/2502.10802

袁源教授不仅在学术界建树颇丰，更长期活跃在“高约束、高复杂度”的产业研发一线，主持或参与多项国家级与头部企业合作项目，包括：

• 国家级专项：作为核心成员参与国家高质量专项“基于大模型技术的工业领域智能化开发工具项目”。

• 核心技术主持：主持“程序智能合成关键技术”相关的国家自然科学基金项目。

• 头部企业赋能：先后主持华为代码模型、中国船舶集团信息推荐系统及集成电路制造关键软件等多个实战项目。

长期在真实工业场景中打磨算法与系统的经历，确保 AI 生成内容在工业环境下的高可靠性与可解释性；这也是企业AI迈向实用的关键技术。

词元无限是一家面向未来智能组织的 AI Agent 技术公司，主打 AI 原生的研发智能体解决方案。我们以 Token（词元）为核心，探索多智能体组织的构建与规模化管理。通过大模型驱动，实现智能体动态自协作与持续进化，让智能体真正成为组织生产力。

公司由前字节 AI 部门技术负责人杨萍创立，创始团队来自字节、百度、微软等顶尖科技公司，并汇聚清华大学、北航等世界名校背景的工程与科研人才，团队曾成功打造多款明星级 Coding Agent 产品，兼具底层创新能力与企业级交付经验。

袁源教授的加盟，将为这支实战派团队提供更坚实的理论底座与科研支撑。 目前，词元无限旗下首款企业级 Coding Agent 产品 InfCode 已展现出卓越能力：

• 在全球权威软件工程评测 SWE-bench Verified 中刷新世界纪录；

• 在企业级大型语言评测集 Multi-SWE-bench（Java/C++）榜单中双登顶；

• 多家行业龙头企业规模化落地中，研发效率提升近 40%，代码可用率突破 88%。

从“单点工具”到“体系领先”： 袁源教授将带领团队在Harness Engineering、Agent 自进化、群体智能与复杂系统工程等底层领域持续突破。这不仅强化了词元无限在企业级 AI Agent 赛道的技术纵深，更标志着公司进入了以原创科研驱动规模化增长的新阶段。

词元无限也诚邀海内外人才加盟，共同开启企业AI Agent工程化新时代！