数学家没用了！AI一口气解开100多道百年难题，数学迎来黄金时代

OpenAI首席执行官萨姆·奥尔特曼去年11月在韩国首尔发表演讲。

OpenAI周一宣布，其在8月28日开始训练的新型人工智能模型，已经解决了“100多道多年来悬而未决的数学难题”

。就在几天前，这一模型刚刚攻克了纳维-斯托克斯方程问题，这一难题被列为“千禧年难题”之一。

OpenAI的声明证实了一种此前流传的说法：该模型能够在短时间内解决此前无人能解的数学难题。公司在公告中表示：“它在数学领域的进展速度，连OpenAI自己的数学家都感到惊讶。”

尽管外界尚不清楚这些难题的具体内容，也没有看到相应解答，OpenAI的声明仍然引起了广泛关注。西班牙数学科学研究所的研究员阿尔韦托·恩西索指出：“这些结果大概率是正确的，其可信度甚至高于署上某位人类作者名字的成果。”“而且，这些问题肯定很有意义。他们或许已经解决了200道或300道。”他补充道。

OpenAI已成立一个由知名学者组成的顾问委员会，负责协调成果发布，以避免在数学界引发冲突。公司称，进展如此迅速，“已经引发内部讨论：应如何公布这些快速进展，才能让该领域做好准备并适应变化”。OpenAI还引用了一封由25位菲尔兹奖得主签署的公开信。菲尔兹奖通常被视为数学界的诺贝尔奖。信中写道：“

人工智能公司的目标与数学界的目标严重脱节。

”

本周二，数学界再次反思：这台极其聪明的机器，究竟会在多大程度上取代这一学科的工作？康奈尔大学的数学家亚历克斯·汤森表示：“我正在哀悼，因为我喜欢解决问题。”“我工作中的这一部分正在迅速过时。我投身数学，是因为喜欢解谜；遗憾的是，我已经无法与人工智能竞争。它比我强，我承认这一点。”

汤森是最早预见到人工智能将大量解出数学问题的人之一。几天前，他写道：“再过几周，人工智能公司、本科生或业余爱好者就可能系统性地翻阅我们的文献，在并不完全理解其含义的情况下，解决许多定义明确的猜想。”他还写道：“我希望我们的共同体能先解决它们，并消化其影响。”但如今，他们似乎已经来不及了。

解决猜想，是许多人选择成为数学家的基本原因。这是否意味着数学作为一门学科将走向终结？汤森表示，数学不会终结，但将发生改变。他说：“我希望把这些新答案转化为应用，并以前所未有的程度理解这些问题。这或许会成为数学的黄金时代。我们只需要重新定义，成为数学家意味着什么。”

目前，有观点认为，应当利用人工智能能够带来的成果。卡内基梅隆大学教授杰里米·阿维加德表示，数学总会有新的工作可做。他说：“这就像问：‘既然汽车跑得比人快，我们还剩下什么？’认为人类在与人工智能竞争，是一种错误。人工智能是我们用来实现目标的技术。如今，它能够完成某些推理任务，我们就可以借此探索和发现新的数学。”

从外界看来，如果人工智能解决了人类多年未解的问题，似乎意味着这台机器让数千名研究人员相形见绌。但数学非常适合训练语言模型：它高度复杂，同时结果又可以验证。因此，数学成为人工智能公司的一个易受冲击的领域，但这并不意味着它的发展已经终结。伦敦大学学院的数学家萨姆·利文斯通表示：“确实，人工智能公司有明确动机夸大其模型有多聪明。”

“但也确实，许多数学家现在有些害怕，因此未必足够客观。没有人能预测未来，还有许多事情我们并不知道。比如，如果把这些公司投入相关问题的资金交给一些最优秀的数学家，让他们建立一个有明确目标的研究计划，他们是否同样能够解决这些问题？其中有多少应归功于工具本身的卓越，又有多少是因为如今投入的资金比以往任何时候都多？”

人工智能公司与数学界之间的这种目标错位，或许是当前讨论中最大的摩擦点。每位学者都有不同看法。汤森说：“人工智能公司的目标确实不同于数学界的目标。”“但它们正在制造历史上最好的数学工具之一。它们让数学以前所未有的速度向前发展。人工智能公司正在成为数学成果生产的重要力量。”他补充说。

这场难以想象的突破，会否改变数学家思考和工作的方式？这一疑问同样困扰着许多其他领域和场所，学校和大学首当其冲。恩西索说：“一切不可能再维持原样。这与工业革命并没有那么不同：我们正从一个稀缺时代进入一个充裕时代。”

他表示，这一变化势必带来难以预见的后果。“你拥有一台思考能力惊人的机器，但作为社会，我们不希望自己停止思考。必须确保以可持续的方式使用它，并让它帮助社会生活得更好。有些影响现在还无法完全看清，只能谨慎地一步步观察。”恩西索说。

作者

：霍尔迪·佩雷斯·科洛梅