DARPA欲用AI加速数学研究：十年磨一剑，能否突破瓶颈？

美国国防部高级研究计划局（DARPA）认为数学发展速度过慢，启动了名为expMath的项目，旨在利用人工智能加速数学创新。该项目计划开发一种能够提出并证明有用抽象概念的AI“合著者”，目标是将数学研究的进展速度提高到一个新的水平。然而，目前AI在高级数学方面能力有限，expMath项目面临着巨大的挑战，其成功与否取决于能否找到突破现有技术瓶颈的方法。