Cardano创始人查尔斯·霍斯金森（Charles Hoskinson）近日对人工智能在高等数学领域的快速进展表示震惊，尤其是在生成和形式化验证复杂证明方面。他在一次YouTube直播中，针对AI生成Navier-Stokes千禧年大奖难题解决方案的说法发表了评论。Navier-Stokes方程是数学界最著名的未解难题之一。
霍斯金森表示，现代AI系统展现出的数学能力令人惊叹。他说：我们从未预料到AI会深入到如此程度。他解释，早前他预期形式化数学系统主要会让更多数学家群体更高效地协作。至于AI本身能够完整写出证明，那是相当遥远的事情。大语言模型确实让我们感到惊讶。看到它们已经走得多远、取得了哪些成就，确实非常了不起。
霍斯金森长期关注形式化数学，曾在卡内基梅隆大学创立形式化数学中心。他承认，自己没有完全预见到具备潜在证明生成能力的大语言模型的出现。此番言论源于他对一项AI生成Navier-Stokes相关解决方案说法的讨论。Navier-Stokes存在性与光滑性问题属于克莱数学研究所的千禧年大奖难题，涉及三维流体运动方程是否存在足够良好的解。
霍斯金森强调该问题对数学和物理学的重要性。他表示：如果OpenAI声称解决了这个问题，那将从根本上改变数学范式。他指出，解决Navier-Stokes问题是数学界的一件大事，与流体动力学、航空航天工程、机械工程和物理学密切相关。
霍斯金森将当前状况比作数学家发现了另一位研究者的笔记。他警告说：对于学者或企业家，要知道如果你的想法与云端前沿AI模型分享，这些想法就不再属于你了。他借此争议推广私有AI环境的重要性，认为研究人员应能在不向中心化服务商泄露机密研究日志或知识产权的情况下，使用强大模型。
尽管对数学成果的来源提出质疑，霍斯金森仍表示AI系统的工作本身引人注目。他说：这意味着模型已经足够先进，它知道如何窃取聪明人的工作，并在此基础上改进、迭代、形式化，最终解决一个难题。那是非常类似人类的行为。他补充道：一切都是被借鉴的，没有什么是完全原创的。这正是其美妙之处——你能利用前人的成果并使其更好。