美国防高级研究计划局启动数学加速AI研发计划—-中国科学院网信工作网
发布时间：2025年11月3日
来源：szf
2025年5月5日，美国国防高级研究计划局（DARPA）发布“指数级数学”（expMath）项目征询公告，旨在开发可使数学研究效率实现指数级提升的AI“合著者”系统。expMath项目聚焦开发能够作为“合著者”的AI系统，以突破传统数学研究依赖个体或小团队手工推导的局限，从而提升数学研究的进步速度和规模。这些AI系统将协助数学家将复杂问题分解为更小、更易于管理的组成部分，即引理，让研究人员通过引理相互借鉴彼此的经验，从而实现跨领域的协作创新。DARPA将该项目划分为两个技术领域：一个专注于推进数学领域AI的前沿技术研究，另一个则专注于评估这些AI系统在解决专业数学问题方面的有效性。该项目主管表示，该项目有望将计算机之于数值计算的作用延伸至数学领域，推动密码学、材料科学等关键领域突破，同时降低前沿数学研究的门槛。信息来源：https://www.darpa.mil/news/2025/math-ai-tomorrows-breakthroughs
