探讨人工智能如何重塑数学未来，呼吁更深度的人机协作。

What is mathematics now, and what should it be?

• 提出超越自动证明的AI数学新愿景
• 强调人机协同对数学发展的深层价值
• 适合关注AI与数学交叉的学者与研究者

神经定理证明器的进步令人瞩目，但这些成功掩盖了人工智能在数学领域更广阔的应用前景以及数学家如何与AI互动的深层问题。本文倡导一种更开放、更乐观的视角，推动构建人机协作的新范式，使AI不仅辅助证明，更能激发数学创造与发现。

原文摘要 · Abstract (English)

Advances in neural theorem provers have been impressive, but the successes obscure a broader vision of what AI can do for mathematics and how mathematicians can engage with AI. This essay advances a more expansive and optimistic point of view.

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。