Cardano创始人查尔斯·霍斯金森表示，人工智能在高级数学领域的快速进展远超他的预期，尤其是在生成和正式验证复杂数学证明方面。他在最近的一次YouTube广播中讨论了与Navier-Stokes千年奖问题相关的AI生成方法的说法，称现代AI系统展现出的数学能力令人惊叹。霍斯金森指出，AI的出现使得数学证明的生成能力超出了他的想象，并强调了解决Navier-Stokes问题对数学和物理的重要性。他警告称，研究人员在使用强大的AI模型时应注意保护自己的知识产权。