DARPA新项目expMath：三年内能否实现人工智能与数学的共创？（音频）

美国国防高级研究计划局（DARPA）推出的新项目expMath旨在利用人工智能助力数学创新。 该项目的目标是加速纯数学的进展，开发出能够提出和证明有用抽象概念的人工智能合著者。 尽管目前AI在高层次数学方面存在局限性，但DARPA希望通过与数学和AI社区的紧密合作，推动数学实践的根本变革。 项目负责人表示，虽然当前AI系统能否成功尚不明确，但数学界对可能的变革充满热情，期待AI在数学研究中带来新的可能性。

打开APP收听