DARPA 将“从根本上”加速数学研究。是的，有了 AI

快速阅读: 据《The Register》称，DARPA启动“expMath”项目，欲借助AI加速纯数学发展。项目旨在开发能提出并证明新概念的AI合作者。尽管数学近年发展缓慢，但专家对AI辅助数学研究持乐观态度，认为该项目有望带来突破。

美国国防高级研究计划局（DARPA）认为数学发展的步伐太慢，希望通过引入人工智能技术加速其进程。为此，DARPA启动了名为“expMath”的项目，旨在通过开发能够提出并证明新抽象概念的人工智能合作者，从根本上提升纯数学领域的进步速度。

在弗吉尼亚州阿灵顿的会议中心，DARPA项目经理帕特里克·沙福强调了数学领域近年来发展迟缓的问题。从1878年到2018年，以每年科学出版物数量的对数衡量，数学领域的增长率仅不到1%，远低于其他学科如生命科学和物理科学的增长率。沙福指出，数学领域急需变革，而DARPA希望通过人工智能技术改变这一现状。

DARPA提出的解决方案是利用人工智能辅助数学研究，尽管当前的人工智能系统尚不能处理复杂的高等数学问题，但目标是让AI模型能够自动将自然语言转换为可复用的数学引理，并进一步生成正式的数学证明。这一挑战吸引了众多专家的关注，包括Fountain Abode人工智能研究所创始人罗宾·罗威，他对此抱有积极态度，但也提出了不同的实现路径，比如基于视觉或音频输入的模型可能更适合高等数学研究。

尽管存在多种技术路径的选择，罗威表示对未来充满信心，并认为项目可能会比预期更快取得成果。不过，他也提出了一个问题：是否所有人都愿意采用最激进的技术方案来实现这一目标。无论如何，DARPA的“expMath”项目无疑为数学界带来了新的希望和可能性。

(以上内容均由Ai生成)