10月31日，中国科学技术大学通用人工智能研究所发布马骁教授课题组招生信息。公开信息显示，1998年出生的马骁，现任中国科大几何与物理研究中心、通用人工智能研究所双聘教授、博士生导师。这位16岁考入中国科大少年班、曾在普林斯顿大学和密歇根大学从事研究的青年学者，如今回到母校任教。

马骁的名字，今年曾随着菲尔兹奖的揭晓受到广泛关注。

今年7月，中国数学家邓煜获得有“数学界诺贝尔奖”之称的菲尔兹奖。此前，马骁与邓煜、数学家Zaher Hani合作，在希尔伯特第六问题相关研究中取得重大突破，相关成果被国际顶尖数学期刊《数学年刊》接收。

1900年，德国数学家希尔伯特提出了著名的23个数学问题，其中第六问题涉及如何从微观世界的基本物理规律出发，严格推导出描述宏观世界的物理方程。

这个看似简单的问题，困扰了数学家一个多世纪。马骁与合作者从微观硬球粒子的运动和碰撞出发，首次在长时间尺度下严格推导出玻尔兹曼方程，并进一步建立与宏观流体方程之间的数学联系，在希尔伯特第六问题的相关研究方向上取得重要进展。

邓煜曾评价，马骁的加盟让研究少走了很多弯路。

不过，相比这项已经受到广泛关注的数学成果，马骁近年来的另一个研究方向同样值得关注——让人工智能参与数学研究。

今年8月，马骁在接受DeepTech深科技专访时透露，未来两三年，他可能将主要精力转向AI智能体研究。

彼时，他已经开始开发一套名为“qmd-prover”的数学证明智能体系统，尝试将数学研究中的问题输入、证明推导、结果验证乃至论文生成连接起来。在他的设想中，研究者可以把数学问题交给智能体，再观察人工智能在哪些环节出现错误、陷入困境，进而调整系统的工作方式，让它逐步具备完成更复杂数学研究任务的能力。

这与传统数学家的工作方式有着明显不同。过去，数学家往往需要花费大量时间查阅文献、反复推演，寻找证明一个问题的正确路径。如今，人工智能已经能够辅助完成部分研究工作，但距离稳定、可靠地解决复杂数学问题，还有不少困难。

在此前接受墨子沙龙专访时，马骁坦言，AI已经能够辅助数学家开展前沿研究，但其实际能力并不像一些网络宣传所描述的那样强大。

他还提出了一个颇具前瞻性的判断：未来，按照今天标准定义的“纯粹数学家”可能不再存在，但这并不意味着数学研究失去价值。相反，随着人工智能降低数学证明的门槛，数学有望在更多领域发挥作用。在他看来，未来的数学人才不仅需要掌握数学知识，也需要具备编程、智能体开发以及人机协作等能力。

事实上，人工智能与基础科学的交叉融合，也正是中国科大近年来重点布局的研究方向之一。

今年1月，中国科大通用人工智能研究所正式揭牌成立。此次马骁同时受聘于几何与物理研究中心、通用人工智能研究所，也让这位青年数学家的研究经历与学校的学科交叉布局形成了新的联系。

来源:江淮晨报

记者:卞怡菲

原文链接：https://newspaper.hf365.com/jhcb/pc/content/202611/02/content_577373.html