AI助数学家发现新积分误差公式，但需人类全程把关。
The AI Research Assistant: Promise, Peril, and a Proof of Concept
- 人机协作系统性探索赫尔米特积分法误差，突破人工极限。
- 成功证明多个定理，发现比传统方法更优的误差界。
- 适合数学研究者，尤其关注人机协同与可信AI应用者。
人工智能能否真正助力创造性数学研究，还是仅能自动化常规计算并引入错误风险？我们通过一个详尽案例提供实证：在多人协作下，借助AI助手系统性发现了赫尔米特积分规则的新误差表示与上界。相比纯人工工作，该合作拓展了成果范围，成功构建并证明了若干定理。研究揭示出，AI在代数运算、证明路径探索、文献整合及LaTeX排版方面表现优异；然而每一步均需严格的人类验证，问题建模依赖数学直觉，战略方向必须由人把控。研究全程保持高度透明，揭示了高效人机协作模式，并识别出需警惕的失败模式。经验表明，若配备合理怀疑态度与验证流程，AI可显著加速数学发现，但要求严密的人类监督与深厚领域知识。
原文摘要 · Abstract (English)
Can artificial intelligence truly contribute to creative mathematical research, or does it merely automate routine calculations while introducing risks of error? We provide empirical evidence through a detailed case study: the discovery of novel error representations and bounds for Hermite quadrature rules via systematic human-AI collaboration. Working with multiple AI assistants, we extended results beyond what manual work achieved, formulating and proving several theorems with AI assistance. The collaboration revealed both remarkable capabilities and critical limitations. AI excelled at algebraic manipulation, systematic proof exploration, literature synthesis, and LaTeX preparation. However, every step required rigorous human verification, mathematical intuition for problem formulation, and strategic direction. We document the complete research workflow with unusual transparency, revealing patterns in successful human-AI mathematical collaboration and identifying failure modes researchers must anticipate. Our experience suggests that, when used with appropriate skepticism and verification protocols, AI tools can meaningfully accelerate mathematical discovery while demanding careful human oversight and deep domain expertise.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。