紧急声明!25名菲尔兹奖得主联名警示:人工智能正在摧毁数学

据快科技9月12日报道,当地11日当天,共有25位菲尔兹奖获得者共同签署了一份题为《人工智能在数学领域的重大偏差》的公开信,陶哲轩、邓煜及彼得·舒尔茨等知名数学家位列首批联署者之中。

该公开信开篇即承认,当前大型语言模型在数学推理方面的表现实现了质的飞跃,已能解决诸多长期未获突破的经典数学问题,AI确实可以作为一种有效的科研辅助手段服务于数学探索。

然而,令这些数学家深感忧虑的是,各大AI厂商将"多快能算出一道数学题"视为评估模型性能的关键指标,这一导向与数学学科自身的根本旨趣产生了深刻冲突。

签署者们指出,数学的核心价值远不止于给出某个问题的最终答案,更在于孕育崭新的理论概念、构建深层的逻辑洞察、推动学术思想的传播与交流,使后来者能够继承、运用并在此基础上进一步发展相关方法体系。

倘若单纯追逐AI高速生成证明过程的结果,势必产生海量超出人类阅读和理解能力的证明文档,挤压同行评议与严格验证的操作空间;同时也会引发论文署名归属、原创性追溯等诸多学术规范层面的困境,从长远来看将瓦解整个数学学术界赖以运转的研究生态。

他们特别澄清,此声明绝非否定AI参与数学研究的合理性,而是抵制由资本力量和AI企业单方面框定数学价值的做法——绝不能让"解题效率"沦为衡量一切数学贡献的单一尺度。

据悉,这份文件是近一星期内多位菲尔兹奖得主经过密集磋商后迅速定稿的。由于学者们判断形势刻不容缓,无暇再向更广泛的学术群体征集反馈,故选择率先公开发布,并表示今后仍欢迎其他数学家加入联署行列。

另据了解,就在不久前,OpenAI名下的多个大语言模型相继突破了困扰数学界长达数十年之久的经典难题。

具体而言,该公司于本月8日披露,其一款尚未正式面世、数学实力远超GPT-6 Astra的内部模型,通过调度大约一万个人工智能体并行协作,在短短88小时内便完成了千禧年七大难题之一——"纳维-斯托克斯方程的存在性与光滑性问题"的完整证明。

此外,已发布的GPT-6 Astra同样展现出惊人实力,一次性解决了五道悬置已久的人类未决Erdős猜想,涵盖Erdős本人18岁时提出、他称之为"人生中第一道严肃问题"的1931年分离集猜想,以及极值组合领域中声名卓著的Erdős-Sós猜想。

热门推荐