菲尔茨奖得主、华裔数学家陶哲轩在牛津数学公开讲座中,深入探讨了人工智能(AI)在数学和科学领域的潜力及其与人类智力的协同作用。他展望了一个由AI驱动的数学新时代,其中充满了无限可能。
陶哲轩表示,尽管AI有时被夸大其词,但它确实是一项了不起的技术,有望加速科学和数学的发展。他强调,AI本质上是一台“猜测机器”,通过输入信息并产生输出,其实现方式在数学上相对普通。然而,当AI发挥作用时,其结果可能令人惊叹,尽管有时也可能出现糟糕的情况。
他提到,尽管AI具有巨大潜力,但在许多领域,其安全性尚未达到标准。因此,在下行风险较小的场景,如生成报告背景幻灯片等,AI有很好的应用前景。而在科学领域,通过独立验证结合AI的强大输出,可以过滤掉错误和偏见,从而涌现出大量潜在的应用程序。
陶哲轩特别指出,AI在加速科学方面具有两大作用:减少昂贵试验的候选者数量和加速建模过程。他举例说明了AI如何在药物设计、材料科学以及气候建模等领域发挥重要作用,通过减少试验次数和加速模拟过程,从而显著提高科学研究的效率。
作为一名数学家,陶哲轩对AI如何潜在地改变数学感到非常兴奋。他认为,将AI应用于数学的负面影响相对较小,因为错误的答案不会造成严重后果。更重要的是,数学证明可以通过其他电脑软件进行独立验证,从而确保正确性。
他提到,AI已经开始被用于加速形式化数学项目,通过自动化证明过程和提高协作效率,使得大型数学项目成为可能。他预计,未来数学家们将与AI密切合作,通过口授证明并与AI进行交互,从而以更快的速度进行数学研究。
最后,陶哲轩总结说,人工智能和数学将会产生巨大的协同作用,催生出一个大数学时代。他相信,在AI的助力下,数学和科学领域将迎来一个充满无限可能的新篇章。