人工智能时代的数学研究

Speaker's Brief Introduction：马骁，现任密歇根大学数学系 Donald J. Lewis Research Assistant Professor，研究方向为色散偏微分方程与动理学理论。于2018年中国科学技术大学本科毕业，2023年普林斯顿大学博士毕业，之后到密歇根大学从事博士后研究。其与邓煜、Zaher Hani 关于希尔伯特第六问题的合作研究，严格建立了从微观粒子运动到宏观流体方程的数学联系，被认为是希尔伯特第六问题狭义版本上的重要突破。

Abstract: 随着人工智能能力的快速提升，大语言模型在数学领域不断取得突破。尤其进入 GPT-5.6 时代以来，人工智能在若干前沿数学问题上展现出显著增强的研究能力，并出现了一大批由人工智能独立完成的重大数学突破。

本次报告将介绍人工智能数学研究的最新进展，并结合具体案例讨论人工智能给数学研究带来的机遇与挑战，包括研究评价、人机协作模式、数学家的角色变化。

最后，我们将介绍最新的 AI harness 技术：如何通过系统化的框架设计，使人工智能能够产出正确且可读的数学证明，同时让其推理过程具备良好的可观测性、稳定性与可控性，从而支持更长程、更可靠的数学研究。