本报讯（中青报·中青网记者 杨洁 实习生 吴淑敏）8月10日，在2026国际基础科学大会“数学之夜”活动中，菲尔兹奖得主邓煜在线上分享环节中提到，无论是日常闲聊或是工作参会，都会听到研究者在讨论AI话题，“数学领域的许多事物都将迎来变革，当下很难预想全貌”。

　　邓煜认为，当人和AI对同一道难题所感知的难度截然不同时，如何界定问题的难易程度、如何评判一项研究的学术价值，成为值得关注的核心问题之一。

　　最近，AI在数学研究领域不断取得突破：8月，美国人工智能企业Anthropic发文提及，让一个尚未发布的Claude研究版本尝试挑战黎曼猜想。虽然它并没有解决这个问题，但在一个相关问题上取得了重大进展——它将黎曼zeta函数中满足该假设的零点比例下限从41.6%提高到了67.2%。而黎曼猜想被美国克莱数学研究所在2000年时称之为世界七大数学难题。此前，7月，有媒体报道称Anthropic的大语言模型Claude Fable 5找到了著名难题——雅可比猜想的一个反例。

　　邓煜提到，未来AI能力持续增强，或许能够生成篇幅更长的数学证明；或许能够产出更长、严谨无误的证明。“这件事难度极高”，邓煜进一步解释，数学证明要求每一步推导都准确，否则证明就全部失效。

　　他进一步展望，未来若AI能够生成篇幅更长、结构更复杂的数学证明，学界或将由AI推导出的新结果纳入既有的知识体系中，并以此作为新起点，继续开展后续研究。

　　“无论技术如何发展，人类依旧会继续从事数学研究。”邓煜认为，AI不断变强，也会推动人类研究者突破自身边界。

　　中青报·中青网记者 杨洁 实习生 吴淑敏 来源：中国青年报

　　2026年08月14日 08版