2025年5月5日，美国国防高级研究计划局（DARPA）发布“指数级数学”（expMath）项目征询公告，旨在开发可使数学研究效率实现指数级提升的AI“合著者”系统。expMath项目聚焦开发能够作为“合著者”的AI系统，以突破传统数学研究 […]
