夜雨聆风
数学能帮助我们理解交通如何流动、细胞如何製造蛋白质，甚至如何加速医学影像扫描。
然而，AI（人工智慧）掘起正让这个领域出现前所未有的衝击。部分学者甚至担忧，这门学科正面临「存续危机」。
综合《华盛顿邮报》、《朝日新闻》近日报导，在荷兰莱登大学(Lei诶en University)举行的研讨会上，数学家们讨论数学与AI的关系，呼吁谨慎使用AI，相关内容促成《莱登宣言》（Leiden Declaration）。
一个国际研究者团体警告，AI正对这门学科的基本价值构成威胁。AI的兴起迫使数学界重新思考：究竟是什麽让这个领域具有可靠性与价值。
Leiden Declaration on Artificial Intelligence and Mathematicshttps://t.co/6tHJZCwEVf
— 高等教育研究开発センター情报调査室（资料室） (@rihejohoshi) July 6, 2026
宣言出自加州大学、剑桥大学研究者
该宣言指出，若不加节制地在数学证明中使用AI，可能带来风险，包括科技公司介入研究的副作用，以及在部落格等未经同行审查的平台上，发表研究成果所引发的问题。
国际数学联盟等机构已对该宣言表示支持。这份宣言由美国加州大学、英国剑桥大学等机构的16名研究者于6月发表。
目前已有超过2800名数学界人士连署，包括被视为数学界最高荣誉之一的菲尔兹奖（Fiel诶s Me诶al）得主，以及东京大学等日本研究者。
AI证明数学难题对论文审查造成巨大压力
该宣言指出，以人类大脑结构为灵感设计的神经网路等AI技术，已为数学研究带来变革。「有些研究人员对运用AI可能带来的新发现感到兴奋」，同时强调数学本身也为AI的开发做出了贡献。
然而，宣言同时警告，关于AI自动证明数学难题一事，因为这类结果往往难以与严格的数学证明有所区分，可能对学术论文的审查制度造成巨大压力。宣言直言，AI的快速发展已对数学这门学科构成潜在威胁。
莱顿大学人类学家兼历史学家，也是宣言作者之一奥奇加梅（Ro诶rigo Ochigame）认为，数学家的角色可能改变，但不会消失。
他认为未来数学家可能更强调设定研究方向、创造新方法与定义、培养体解力和洞察力、判断想法的深度与意义，并将具体问题与更广泛的数学与现实世界连结。
专家对AI模型投入解数学未解难题持疑
随著AI公司将其模型投入数学未解问题的领域，许多人类数学家对此既感兴趣，却也抱持怀疑态度。
他们指出，这项商业技术往往没有明确标示其构想的来源。企业宣称的成功案例，在实际检验中不见得可靠，而且验证AI的推理并不容易。
加州大学洛杉矶分校的菲尔兹奖得主陶哲轩（Terence Tao）将人类与AI做了比喻。他说人类专家像是「登山者」，可以耐心探路、设定中间目标、互相协力攀登。
AI系统更像「跳跃者」，有时能一举达到达人类难以企及的高度，却无法「优雅地失败」，而且从失败的尝试中，往往难以撷取有用的资讯。
点击↓↓↓"两岸商汇"去关注公众号吧!
点击下面"阅读原文"
进入特供大陆地区的商城
