Crouzeix 猜想出现两条证明线：AI 给出了关键采样，人类还要完成审稿
过去一个月，数值线性代数里一个挂了二十多年的猜想，突然有了两条互相呼应的证明线。它们指向同一个 Crouzeix 猜想，却采用了相当不同的路径。
先看问题本身
2004 年由 Michel Crouzeix 提出的猜想可以压缩成一个不等式：对任意复矩阵 \(A\) 和复多项式 \(p\)，
\[ \|p(A)\| \le 2\max_{z\in W(A)}|p(z)|. \]
\(W(A)\) 是矩阵的数值域，常数 2 也不能再往小压：取一个二阶 Jordan 块，\(\|A\|=1\)，而数值域上的最大线性函数值只有 1/2。问题难在，非正规矩阵并不好用特征值和谱半径简单控制。
第一条线：AI参与的公开研究记录
Shanmu Jin 的预印本《The Numerical Range Is a 2-Spectral Set》在 8 月 7 日发布 v4。摘要直接声称证明了猜想，并把核心归结为质量参数化的正实补全构造。证明里有一个很专门的采样动作：在矩阵值 Herglotz 核的缩放共轭特征值处取样，并加入原点样本，让伴随代数修正项相消；再经加权 Gram ian 比较和一般矩阵的极限过渡得到常数 2。
这份预印本罕见地把 AI 的贡献写进了数据可用性声明：ChatGPT 提出了缩放采样和原点采样的关键想法，也协助了表述、文献整理和排版；作者本人对数学陈述和引文负责。预印本同时明确标注：本版本未经同行评审。
对应的公开仓库更谨慎。它把成果称为“candidate proof”，保存了 LaTeX 稿件、Lean 4 形式化目录和公理审计，并称几项独立计算与对抗性审计尚未找到具体错误。仓库的 status 仍写着正式同行评审尚待完成。
第二条线：更短的传统证明
8 月 4 日，Emiel Lorist 和 Felix Schwenninger 在 arXiv 提交《A solution to Crouzeix's conjecture》；8 月 17 日又更新了 v2。摘要给出的路线很干净：把此前用于较弱估计的工具，与一个关于 2-dilations 的简单扰动引理结合，再作用于双层位势表示中的迭代 \(f^n\)，得到猜想中的界。论文正文 7 页，方法重点因此与 Jin 的 Herglotz 核采样不同。
这条线的价值不只在“又多了一份证明”。它给审稿者提供了两个可相互对照的对象：一个依赖矩阵值 Herglotz 核、正实性和形式化工具，一个借位势表示与扰动引理收束估计。两条路线的交叉验证，能更快暴露共同的隐含假设。
审稿关口还亮着
目前最容易被写错的词是“解决了”。预印本作者在摘要里用了明确的 complete proof 语气，公共仓库却保留 candidate proof 状态；两者并不矛盾，前者是论文主张，后者是发布流程的审慎措辞。没有找到已经完成的独立同行评审或正式期刊接收信息，所以更准确的说法是：Crouzeix 猜想进入了可审计的证明竞赛，AI 辅助证明与独立证明同时出现，但定论仍等数学共同体完成审稿。
这件事对 AI for Science 的启发，比“谁赢了猜想”更持久。AI 可以提出反常但有效的数学采样点，也可以把证明草稿、形式化检查和审计记录一起留下。难点也随之转移：谁来判断关键引理没有漏洞，谁来复核 Lean 中的假设，谁来确认“通过审计”没有把未建模的部分藏在边界外。
来源与可复核链接
1. Jin 预印本 v4：The Numerical Range Is a 2-Spectral Set https://www.preprints.org/manuscript/202607.1919 2. Lorist、Schwenninger：arXiv 2608.03841 v2 https://arxiv.org/abs/2608.03841 3. Jin 的公开研究仓库、Lean 4 与审计记录 https://github.com/jinshanmu/CrouzeixConjecture