AI智能体会取代人类数学家吗？

　　近日，据科技日报报道，一个AI智能体在88小时内解出了千禧年难题之一。这本应是人工智能助力基础研究的又一里程碑，却因“是否抢发数学家成果”的争议而蒙上阴影。当AI的解题速度以小时计，而人类数学家的研究以年计，科研的游戏规则是否正在被改写？

　　千禧年难题是2000年美国克雷数学研究所提出的七大数学难题，每一题悬赏百万美元，被视为人类智力的巅峰挑战。数百年来，数学证明一直是人类独有的思维领地——从猜想的提出到证明的完成，依赖的是数学家的直觉、洞察力和长期积累。然而，AI智能体用88小时完成了过去可能需要数学家穷其一生的工作，这本身就足以引发震动。

　　但争议的核心不在于AI能不能解题，而在于AI解的题“算不算数”。有数学家质疑，AI智能体可能是在已有研究成果的基础上进行整合和推导，而非独立提出全新的证明思路。如果AI只是将散落在文献中的线索串联起来，那么功劳应该归属于那些默默耕耘的数学家，还是归属于将线索串联起来的AI？这涉及学术优先权的根本问题——在AI时代，“第一个证明者”和“第一个发表者”之间的界限变得模糊。

　　更深层的问题是科研评价体系的滞后。当前的学术评价仍然以“人类作者发表论文”为核心，AI生成的证明如何署名、如何评审、如何归属，都没有成熟的规则。如果AI可以在88小时内完成一篇顶刊论文级别的证明，那么传统的同行评审机制是否还能跟上节奏？当证明的长度达到数百万行代码，人类评审者是否还有能力逐行验证？

　　种种现象表明，数学证明正在进入“机器验证时代”。与其纠结于AI是否“抢发”，不如建立一套适应人机协作的科研新范式。人类数学家负责提出猜想、开辟方向，AI负责繁琐的推导和验证，两者各司其职、相互补充。学术评价体系也应相应调整，承认AI在研究过程中的工具属性，同时保障人类研究者的首创权和署名权。

　　从计算器到计算机辅助证明，再到今天的AI智能体独立解题，数学研究的工具一直在进化。每一次工具的进步，都没有取代数学家，而是将他们从繁琐的计算中解放出来，去思考更深刻的问题。88小时解出千禧年难题，不是数学家的“末日”，而是提醒我们：AI时代的科研，需要新的规则、新的评价、新的协作方式。

　　（鸣耒）