5月5日，美国国防高级研究计划局（DARPA）发布“指数级数学”（expMath）项目征询公告^[1]，旨在开发可使数学研究效率实现指数级提升的人工智能“合著者”系统。

为确保美国在技术领域的持续领先，必须推动数学实践的创新，并充分发挥其在人工智能领域的优势。当前，许多关键数学难题亟待解决，包括：提升半素数分解效率、优化气候模型、发展更强大的人工智能算法、实现量子计算突破、研究生态系统稳定性与粮食安全，以及构建可扩展的网络安全理论。同时，还需开发能严格符合制造、法律、伦理及软件要求的人工智能系统。

expMath项目聚焦开发能够作为“合著者”的人工智能系统，以突破传统数学研究依赖个体或小团队手工推导的局限，从而提升数学研究的进步速度、扩大数学研究的规模。这些人工智能系统将协助数学家将复杂问题分解为更小、更易于管理的组成部分，即引理，让研究人员通过引理相互借鉴彼此的经验，从而实现跨领域的协作创新。该项目聚焦两个技术领域：

1、推进数学领域人工智能的前沿技术研究。通过开发人工智能协作工具辅助数学研究，包括将复杂定理拆解为一系列引理，若这些引理成立，则原定理得证，再将自然语言数学表述转换为定理证明语言，并将机器生成的证明反向翻译为人类可读形式。

    2、评估这些人工智能系统在解决专业数学问题方面的有效性。通过开发评估方法，测试人工智能工具的有效性，并结合专业数学知识及人工智能评估技术，依赖高质量研究数据集进行验证。

（唐蘅  黄茹）