AI Co-Mathematician：AI 化身数学家科研搭档

论文概况数学探索向来非直线进行——其间交织着试错、回退、灵感闪现与文献梳理。传统 AI 定理证明工具（例如 AlphaProof）虽善于在既定框架内探寻证法，但真实的数学研究绝非仅此而已。学者们面临的关键难题在于：如何让 AI 超越单纯的「解题机器」角色，蜕变为真正的科研伙伴——协助构思新路径、检索文献、开展计算探索，乃至挖掘被忽视的关联？Google DeepMind 的最新论文提供了一个系统层面的解答：AI Co-Mathematician，这是一款专为数学家打造的交互式 AI 工作站。AI Co-M