Star mathematician Ma Xiao leaves the US for China – and a career pivot to AI | 明星数学家马啸离开美国回中国——职业转向人工智能
28岁的中国数学家马啸在协助攻克百年数学难题“希尔伯特第六问题”后,放弃美国密歇根大学的教职,回国加入中国科学技术大学,投身人工智能研究。据中科大周日发布的消息,马啸本月回到母校合肥,出任该校新成立的人工智能通用研究院与几何与物理研究院的联合教授。这项关于希尔伯特第六问题的突破性成果已发表于顶级期刊《数学年刊》,并助力其合作者邓煜获得2026年菲尔兹奖——数学界的最高荣誉。
马啸出生于河南新乡,自幼展现出数学天赋,六年级时便自学大学微积分课程。2014年,16岁的他考入中科大少年班,2018年本科毕业后赴普林斯顿大学攻读博士学位。2022年起,他与普林斯顿校友邓煜及博士后导师Zaher Hani合作研究希尔伯特第六问题——这一难题困扰了几代数学物理学家,核心在于建立微观原子混沌运动与宏观流体运动规律之间的桥梁。团队于2024年取得突破,邓煜曾表示:“如果没有马啸的参与,我们会走很多弯路。”
如今,马啸将研究重心转向人工智能,押注数学发现将走向自动化。他表示,未来两三年将主要聚焦于智能体(agent)研究,并已开发出用于数学证明的智能体系统qmd-prover,正尝试将想法输入、证明、验证乃至论文生成整合为自动化流程。他要求学生必须掌握Codex、Claude Code和Git等工具,称“不会使用这些工具,你很可能是新时代的‘文盲’”。中科大人工智能通用研究院于今年1月成立,旨在开展原创性研究并培养具有国际影响力的人才。
via South China Morning Post
28岁的中国数学家马啸在协助攻克百年数学难题“希尔伯特第六问题”后,放弃美国密歇根大学的教职,回国加入中国科学技术大学,投身人工智能研究。据中科大周日发布的消息,马啸本月回到母校合肥,出任该校新成立的人工智能通用研究院与几何与物理研究院的联合教授。这项关于希尔伯特第六问题的突破性成果已发表于顶级期刊《数学年刊》,并助力其合作者邓煜获得2026年菲尔兹奖——数学界的最高荣誉。
马啸出生于河南新乡,自幼展现出数学天赋,六年级时便自学大学微积分课程。2014年,16岁的他考入中科大少年班,2018年本科毕业后赴普林斯顿大学攻读博士学位。2022年起,他与普林斯顿校友邓煜及博士后导师Zaher Hani合作研究希尔伯特第六问题——这一难题困扰了几代数学物理学家,核心在于建立微观原子混沌运动与宏观流体运动规律之间的桥梁。团队于2024年取得突破,邓煜曾表示:“如果没有马啸的参与,我们会走很多弯路。”
如今,马啸将研究重心转向人工智能,押注数学发现将走向自动化。他表示,未来两三年将主要聚焦于智能体(agent)研究,并已开发出用于数学证明的智能体系统qmd-prover,正尝试将想法输入、证明、验证乃至论文生成整合为自动化流程。他要求学生必须掌握Codex、Claude Code和Git等工具,称“不会使用这些工具,你很可能是新时代的‘文盲’”。中科大人工智能通用研究院于今年1月成立,旨在开展原创性研究并培养具有国际影响力的人才。
via South China Morning Post