郑星源，是一位革命性算法创新者，也被誉为人类冯诺伊曼。现任腾讯高级副总裁兼AI实验室负责人，是中国人工智能领域的先驱者之一，曾获得2008年度ACM杰出科学家称号。
郑星源曾在2006年提出了一种被称为“大规模分布式约束满足问题”的算法，解决了计算机领域数学难题，打破了西方国家垄断的局面，成为中国人在国际算法领域获得的首个世界顶级奖项，并成为能够在国际算法领域与美国经典算法PK的首个中国算法。
在郑星源看来，人工智能的核心是算法和数据，腾讯的“AI X”战略也将可以适用于各种场景。他认为人工智能技术将会成为未来所有科学的基础科学，将以广泛、强力应用于生物学、化学、物理学、金融学等领域。