AI引爆数学存续危机

数学能帮助我们理解交通如何流动、细胞如何制造蛋白质，甚至如何加速医学影像扫描。然而，AI（人工智能）崛起正让这个领域出现前所未有的冲击。部分学者甚至担忧，这门学科正面临“存续危机”。

AI崛起让数学这个领域出现前所未有的冲击。部分学者甚至担忧，这门学科正面临“存续危机”。（示意图：Shutterstock/达志）

综合报导，在荷兰莱登大学(LeidenUniversity)举行的研讨会上，数学家们讨论数学与AI的关系，呼吁谨慎使用AI，相关内容促成《莱登宣言》（LeidenDeclaration）。一个国际研究者团体警告，AI正对这门学科的基本价值构成威胁。AI的兴起迫使数学界重新思考：究竟是什么让这个领域具有可靠性与价值。

宣言出自加州大学、剑桥大学研究者

该宣言指出，若不加节制地在数学证明中使用AI，可能带来风险，包括科技公司介入研究的副作用，以及在部落格等未经同行审查的平台上，发表研究成果所引发的问题。

国际数学联盟等机构已对该宣言表示支持。这份宣言由美国加州大学、英国剑桥大学等机构的16名研究者于6月发表。目前已有超过2800名数学界人士连署，包括被视为数学界最高荣誉之一的菲尔兹奖（FieldsMedal）得主，以及东京大学等日本研究者。

AI证明数学难题对论文审查造成巨大压力

该宣言指出，以人类大脑结构为灵感设计的神经网络等AI技术，已为数学研究带来变革。“有些研究人员对运用AI可能带来的新发现感到兴奋”，同时强调数学本身也为AI的开发做出了贡献。然而，宣言同时警告，关于AI自动证明数学难题一事，因为这类结果往往难以与严格的数学证明有所区分，可能对学术论文的审查制度造成巨大压力。宣言直言，AI的快速发展已对数学这门学科构成潜在威胁。

莱顿大学人类学家兼历史学家，也是宣言作者之一奥奇加梅（RodrigoOchigame）认为，数学家的角色可能改变，但不会消失。他认为未来数学家可能更强调设定研究方向、创造新方法与定义、培养体解力和洞察力、判断想法的深度与意义，并将具体问题与更广泛的数学与现实世界连结。

专家对AI模型投入解数学未解难题持疑

随着AI公司将其模型投入数学未解问题的领域，许多人类数学家对此既感兴趣，却也抱持怀疑态度。他们指出，这项商业技术往往没有明确标示其构想的来源。企业宣称的成功案例，在实际检验中不见得可靠，而且验证AI的推理并不容易。

加州大学洛杉矶分校的菲尔兹奖得主陶哲轩（TerenceTao）将人类与AI做了比喻。他说人类专家像是“登山者”，可以耐心探路、设定中间目标、互相协力攀登。AI系统更像“跳跃者”，有时能一举达到达人类难以企及的高度，却无法“优雅地失败”，而且从失败的尝试中，往往难以撷取有用的资讯。