[论文解读] Shaping the Future of Mathematics in the Age of AI

Johan Commelin, Mateja Jamnik+3 more|arXiv (Cornell University)|Mar 26, 2026

Mathematics Education and Programs被引用 0

一句话总结

论文讨论人工智能如何改变数学实践，并概述五个关键主题（价值、实践、教学、技术、伦理），并给出治理、教育和社区驱动工具的建议。

ABSTRACT

Artificial intelligence is transforming mathematics at a speed and scale that demand active engagement from the mathematical community. We examine five areas where this transformation is particularly pressing: values, practice, teaching, technology, and ethics. We offer recommendations on safeguarding our intellectual autonomy, rethinking our practice, broadening curricula, building academically oriented infrastructure, and developing shared ethical principles - with the aim of ensuring that the future of mathematics is shaped by the community itself.

研究动机与目标

• 研究 AI 技术如何改变数学的认识论基础与实践。
• 识别数学共同体在 AI 辅助工作中的核心价值观与张力。
• 提出面向教学、治理与工具开发的可操作方向，以实现 AI 支持的数学。
• 倡导开放、社区治理的基础设施与伦理准则，以维护知识自主性。

提出的方法

• 总结 2025 年 Lorentz Center 关于 Mechanization and Mathematical Research 的研讨会讨论与见解。
• 对 Formal Proof、神经符号方法与大语言模型作为互补的自动推理路径进行对比。
• 界定关于发现、人类直觉以及 AI 时代数学角色变化的核心问题。
• 提出治理结构、许可规范、基准与伦理声明，以指导 AI 整合。

实验结果

研究问题

• RQ1 当 AI 能完成日常性任务时，什么可被视为数学发现？
• RQ2 在 AI 辅助数学中，人类直觉的演变角色是什么？
• RQ3 当 AI 处理常规证明和计算时，教学与评估应如何调整？
• RQ4 社区如何治理与塑造 AI 工具与库，以符合价值观与自主性？
• RQ5 在数学领域需要哪些伦理原则、署名规范与治理机制？

主要发现

• AI 技术正在重新定义被视为重要的数学工作及出版标准。
• 社区内存在广泛的价值取向，形式化与传统实践之间存在张力。
• 提出开放、社区拥有的基准与开源库，以使 AI 工具与学术价值保持一致。
• 治理、许可与署名规范对于管理 AI 支持的数学的获取与责任是必要的。
• 建议使用一个活的伦理框架来解决署名、培训数据使用、资源披露与环境影响等问题。