arXiv:2603.03684math.HOcs.AI2026-03被引 8
AI已能证明数学前沿定理，提醒学者警惕变革并积极应对。
Mathematicians in the age of AI
- 分析AI在正式与非正式数学证明中的能力
- 指出当前技术已具备研究级定理证明水平
- 呼吁数学界主动适应技术变革
近期进展表明，人工智能可在数学领域实现研究级定理的正式与非正式证明。本文呼吁数学家及时了解技术发展，思考其对数学实践带来的颠覆性影响，并为当前面临的挑战与机遇作出恰当回应。
原文摘要 · Abstract (English)
Recent developments show that AI can prove research-level theorems in mathematics, both formally and informally. This essay urges mathematicians to stay up-to-date with the technology, to consider the ways it will disrupt mathematical practice, and to respond appropriately to the challenges and opportunities we now face.
AI数学学术变革人机协作
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。