日前,菲尔茨奖获得者、华裔数学家、加州大学洛杉矶分校教授陶哲轩在牛津数学公开讲座中,探讨了人工智能(AI)在数学和科学领域中的潜力,以及它将如何与人类的智力协同作用,推动一个全新的数学时代。他详述了 AI 在数学证明和计算中的应用,并展望了未来 AI 可能带来的革命性变化。从自动化证明到改变传统的数学研究方式,陶哲轩的见解为我们揭示了一个充满无限可能的未来。
他表示,他对 AI 如何潜在地改变数学感到非常兴奋。虽然变革还没有发生,但它即将到来。人工智能是一项了不起的技术,会加速科学和数学,但它不是一种“魔法”,有时有点被夸大了。人工智能基本上是一台猜测机器,是一个可以让你输入信息的软件,实现方式在数学上是相当普通的。当人工智能发挥作用时,真是太神奇了,但当它不起作用时,情况可能会非常糟糕。尽管人工智能具有巨大潜力,但安全性尚未达标。
在下行风险很小的场景,人工智能有很好的应用前景。与许多其他学科相比,将人工智能应用于数学的负面影响要小得多。人工智能使得真正的大型数学项目成为可能。人工智能和数学将会产生巨大的协同作用,催生出一个大数学时代。