幣界網消息，Cardano創始人查爾斯·霍斯金森表示，人工智能在高等數學領域的快速進展遠超他的預期，尤其是在生成和正式驗證複雜數學證明方面。他在最近的一次YouTube廣播中討論了與Navier-Stokes千年獎問題相關的AI生成方法的说法，稱現代AI系統展現出的數學能力令人驚嘆。霍斯金森指出，AI的出現使得數學證明的生成能力超出了他的想象，并強調解決Navier-Stokes問題對數學和物理的重要性。他警告稱，研究人員在使用強大的AI模型時應注意保護自己的知識產權。