详细内容或原文请订阅后点击阅览
人工智能真的能解决真正的数学证明吗？研究人员对其进行了测试
一项新的挑战揭示了人工智能如何能够很好地解决真正的数学问题
来源:科学美国人Kendra Pierre-Louis：《科学美国人》的 Science Quickly，我是 Kendra Pierre-Louis，代表 Rachel Feltman。
1997 年，IBM 打造的超级计算机“深蓝”做出了令人意想不到的事情：它在国际象棋巨头加里·卡斯帕罗夫自己的棋局中击败了国际象棋巨头加里·卡斯帕罗夫，引发了一系列有关“深蓝”是否真正智能以及计算机现在是否能够超越人类的头条新闻。至少在当时，答案大多是否定的。
但现在已经是 2026 年了，我们拥有越来越多的生成式 AI 模型，这再次让我们想知道：“机器能超越我们吗？”为了深入研究这个问题，一组研究人员这次没有转向国际象棋，而是转向数学。
关于支持科学新闻
如果您喜欢这篇文章，请考虑通过订阅来支持我们屡获殊荣的新闻事业。通过购买订阅，您将有助于确保有关塑造当今世界的发现和想法的影响力故事的未来。
为了了解更多信息，我采访了 SciAm 的数学记者 Joe Howlett。感谢您今天加入我们，乔。
Joe Howlett：谢谢你邀请我。
Pierre-Louis：所以你写了一篇谈论人工智能和数学挑战的文章。在我们深入探讨这篇文章的要点之前，我有一个——也许是一个更基本的问题要问你。
豪利特：是的。
Pierre-Louis：对于我们这些可能在高中代数达到顶峰的人来说，当你谈论人工智能和数学问题时，我们真正谈论的数学问题是什么？
Howlett：实际上，这个故事的主要内容是，数学家提出并花时间思考的那种问题听起来与我们在数学课上做作业的问题没有任何共同点。
Pierre-Louis：嗯嗯。
Howlett：如果您最近上过数学课，您就会习惯有答案的问题，对吗？
Howlett：答案就像是一个数字......
皮埃尔-路易斯：是的。
Pierre-Louis：是的，我确实从幼儿园毕业了。 [笑]
豪利特：[笑。]