卡尔达诺创始人霍斯金森对人工智能的数学进步感到震惊

Cardano创始人查尔斯·霍斯金森表示，人工智能在高等数学领域的快速进步远远超出了他曾经的预期。

当人工智能系统生成和正式验证复杂的数学证明时，这一点尤其明显。

在最近的 YouTube 广播中，霍斯金森讨论了有关用人工智能生成的方法来解决纳维-斯托克斯千年奖问题的主张，这是数学界最著名的未解决挑战之一。

霍斯金森表示，现代人工智能系统所表现出的数学能力是非凡的。

霍斯金森说：“我们从未预料到人工智能的应用程度会达到何种程度。”

他解释说，他之前的期望是，正式的数学系统主要允许更大的数学家群体更有效地合作。

“人工智能本身就能完整地写出证明的想法，这还很遥远，”他说。 “法学硕士真的让我们感到惊讶。”

“看到他们已经取得了多大的进步以及他们能够取得的成就和所做的事情，真是太了不起了。”

纳维-斯托克斯争议

霍斯金森长期以来对形式数学感兴趣。他指出，他之前在卡内基梅隆大学建立了一个形式数学中心。

他承认，能够自行生成证明的法学硕士的出现并不是他完全预料到的。

“看到这些事情已经取得了如此大的进展，真是太了不起了，”他说。

霍斯金森发表评论时，正在讨论有关人工智能生成的与纳维-斯托克斯方程相关的解决方案的主张。

纳维-斯托克斯存在性和光滑性问题是克莱数学研究所的千年奖问题之一。它涉及描述三维流体运动的方程是否始终存在足够良好的解。

霍斯金森强调了这个问题对于数学和物理学的重要性。

“对于 OpenAI 来说，他们已经解决了这个问题，这将从根本上改变数学范式，”他说。

他称求解纳维-斯托克斯问题是“数学中的一件大事”，并指出它与流体动力学、航空航天工程、机械工程和物理学的相关性。

霍斯金森将这种情况与一位数学家找到另一位研究人员的笔记进行了比较。

“对于学者来说，如果你是一名企业家，要知道你的想法，如果你在人工智能中与云中的这些前沿模型分享它们，它们就不再是你的想法了，”他警告说。

霍斯金森利用这场争议来宣传私人人工智能环境的重要性，认为研究人员应该能够使用强大的模型，而无需将机密研究日志或知识产权暴露给中心化提供商。

尽管质疑数学工作的出处，霍斯金森表示人工智能系统的工作本身就令人震惊。

他说：“这确实意味着，一个模型足够先进，它知道如何窃取聪明人的工作，如何改进它，迭代它，并将其形式化，直到它真正解决了一个难题。”

“这是非常人性化的行为，”他指出。

“一切都被偷了。没有什么是真正原创的。这就是它的美妙之处。你可以借鉴以前的东西，然后让它变得更好，”卡尔达诺创始人补充道。