北京
本报讯（中青报·中青网记者 杨洁 实习生 吴淑敏）8月10日，在2026国际基础科学大会“数学之夜”活动中，菲尔兹奖得主邓煜在线上分享环节中提到，无论是日常闲聊或是工作参会，都会听到研究者在讨论AI话题，“数学领域的许多事物都将迎来变革，当下很难预想全貌”。
邓煜认为，当人和AI对同一道难题所感知的难度截然不同时，如何界定问题的难易程度、如何评判一项研究的学术价值，成为值得关注的核心问题之一。
最近，AI在数学研究领域不断取得突破：8月，美国人工智能企业Anthropic发文提及，让一个尚未发布的Claude研究版本尝试挑战黎曼猜想。虽然它并没有解决这个问题，但在一个相关问题上取得了重大进展——它将黎曼zeta函数中满足该假设的零点比例下限从41.6%提高到了67.2%。而黎曼猜想被美国克莱数学研究所在2000年时称之为世界七大数学难题。此前，7月，有媒体报道称Anthropic的大语言模型Claude Fable 5找到了著名难题——雅可比猜想的一个反例。
邓煜提到，未来AI能力持续增强，或许能够生成篇幅更长的数学证明；或许能够产出更长、严谨无误的证明。“这件事难度极高”，邓煜进一步解释，数学证明要求每一步推导都准确，否则证明就全部失效。
他进一步展望，未来若AI能够生成篇幅更长、结构更复杂的数学证明，学界或将由AI推导出的新结果纳入既有的知识体系中，并以此作为新起点，继续开展后续研究。
“无论技术如何发展，人类依旧会继续从事数学研究。”邓煜认为，AI不断变强，也会推动人类研究者突破自身边界。
来源：中国青年报
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
