据Darpa官网5月5日消息，美国国防高级研究计划局（DARPA）“Exponentiating Mathematics”（expMath）项目征询公告，旨在开发可指数级提升数学研究效率的人工智能协作者系统。该项目聚焦突破传统数学研究依赖个体或小团队手工推导的局限，通过构建能自动分解复杂命题为可复用数学引理（lemmas）的人工智能工具，实现跨领域协作创新。该项目主管表示，该技术有望将计算机之于数值计算的作用延伸至数学领域，推动密码学、材料科学等关键领域突破，同时降低前沿数学研究门槛。目前项目已开放提案征集。