已收录文章摘要，完整内容可前往原文阅读。
人工智能（AI）正在进入数学研究的核心环节：提出思路、生成证明、形式化验证，甚至尝试解决此前从未公开发表过的研究级问题。然而，如果未来的 AI 能够持续完成相当一部分研究级数学任务，数学共同体真正需要