从模糊直觉到严谨定理：人类与AI如何共同发现量子算法新框架
在AI辅助数学研究的讨论中，人们往往关注AI如何快速求解已知问题。但一项最新研究指出，AI在更早期的“问题形成阶段”可能发挥更关键的作用——当一个模糊的研究直觉被转化为具体问题、可行路径和值得证明的定理族时，AI的探索能力能显著加速这一过程。
这项发表于 arXiv 的研究以 符号嵌入量子算法（sign-embedding quantum algorithms） 的发现为案例，详细展示了人类与AI“共同发现”的工作流程。该算法针对矩阵方程和矩阵函数，是量子线性代数与算子输出量子算法的基础原语。项目的起点是人类研究者提出的一个直觉：有理逼近对符号函数这类跳跃型函数特别有效，因此可能成为设计量子算法的通用原则。
然而，从这一直觉到最终成型的算法框架并非一蹴而就。研究团队借助AI辅助探索工具（包括后来集成到 AIM 智能数学系统中的工作流），将初始直觉逐步扩展为一张完整的路线图。AI帮助比较了多种候选方案，最终引导团队聚焦于“符号嵌入”这一核心框架。随后，AIM系统进一步协助将已知的矩阵符号恒等式推广到更广泛的矩阵方程和矩阵函数类别，并草拟了证明与复杂度计算。
但研究强调，决定性的科学判断始终由人类掌握。例如，团队曾在探索中遇到一种“Cayley-梯形逼近”方案，AI给出了看似合理的推导，但人类研究者发现其有效性依赖于一个隐藏条件，最终将其否决。在实现Sylvester方程求解时，人类研究者将AI最初给出的粗略“二次间隙查询”路径，逐步优化为最终的分解与缩放分析。
这项研究的意义在于重新定义了AI在数学发现中的角色。AI不是独立的问题解决者，而是研究伙伴——它擅长问题形成、连接发现、推导草拟和怀疑性审查，但最终决策仍需嵌入人类的判断回路。这种“人类把关的协作循环”可能成为未来AI辅助科研的主流范式。
对于AI行业而言，这一案例也提供了重要启示：当前大模型在数学推理上的评测多聚焦于标准题库的准确率，但真正推动前沿进展的能力可能体现在更开放的探索场景中。如何设计能够参与“问题形成”阶段的AI系统，将是下一阶段的重要课题。