新的AI人工智能将如何影响数学研究？

AIGC动态欢迎阅读

原标题：新的AI人工智能将如何影响数学研究？
关键字：数学,人工智能,语言,模型,报告
文章来源：大数据文摘
内容字数：16307字

内容摘要：

大数据文摘授权转载自zzllrr小乐
作者：Keith Devlin
译者：zzllrr小乐
像ChatGPT这样的大语言模型（Large Language Models，LLM）会改变新数学的发现方式吗？是的。它已经发生了，就像早期的计算技术：机械和电子计算器，通用数字计算机，图形计算器等，以及最近的工具，如Mathematica，Maple和（我最喜欢的）Wolfram Alpha。（后三种可以声称是一种特殊的“人工智能”，尽管与国际象棋系统一样，该领域的高度限制性意味着我们通常不会将它们归类为人工智能。
在数学中，是否存在人类可以解决而AI不能解决的问题？我会争辩说，有。长期悬而未决的问题，如黎曼假设（RH）可能是这样的例子。当然，证明这一点并不简单，因为它是一个普遍的否定性命题。事实上，你无法证明这种说法。我们所能做的反映了数学的本质，并提供了初步认定的证据，证明数学发现的某些方面是大语言模型无法实现的。
然而，实际情况是，使用大语言模型很可能（我猜是“将”，很快）为人类数学家解决重大开放问题（如RH）提供有价值的帮助。做到这一点的关键是确定大语言模型给数学带来了什么新的东西（

原文链接：新的AI人工智能将如何影响数学研究？