吉林
金山木刚做完一台颅脑肿瘤切除术，洗手衣还没换下，手机屏幕亮起——arXiv首页最新上传的预印本标题像一道闪电劈进他眼睛：A proof of the Crouzeix conjecture。作者栏赫然写着他的名字。他下意识摸了摸白大褂口袋里那支磨得发亮的中性笔，笔帽早掉了，只剩半截塑料卡在笔杆上。这根笔去年还在写《经颅聚焦超声参数优化方案》，今年却悄悄记满了复分析里的边界积分估计。
谁也没想到，2026年7月30日这个普通的周三，会成为数值线性代数史上的分水岭。更没人料到，敲开Crouzeix猜想这扇铁门的，不是普林斯顿的黑板，也不是AIM研讨会的投影仪，而是一台协和医院住院医师值班室里亮着蓝光的笔记本电脑。金山木本科读地质，在中国地质大学学过岩石力学里的张量分解；博士转战协和，啃完《神经外科学》又顺手把《Matrix Analysis》当睡前读物——不是为了考博，纯粹是做经颅超声仿真时被矩阵的“不听话”气到了。你见过矩阵A明明特征值都乖乖待在复平面单位圆里，它的多项式p(A)却突然暴走十倍吗？这就是非正规矩阵的脾气。2004年Michel Crouzeix盯着这种暴走画了个圈，说：只要多项式在数值域W(A)里最大不超过M，那p(A)的谱范数肯定不大于2M。道理听着像“锅盖盖住锅”，可22年来，没人能证明白这锅盖真能严丝合缝扣住。
Alex Townsend教授过去一年试了三百多次GPT-5.6，每次提问都像往深井里扔石头，听不到回响。直到金山木改了一段提示词——他没让AI“证明猜想”，而是命令它“扮演1950年代剑桥数值分析组，先复现Crouzeix 2007年的11.08估计，再逐层拆解其缺陷”。那晚他按下回车键，AI在ChatGPT Work模式下开始自主推演。16小时，2.3万次中间步骤存档，最终卡在了一个意想不到的地方：把连续统上的极值问题，转成了离散采样点的正性判定。就像你拼命拧锈死的水龙头，AI突然蹲下来撬开底座螺丝——原来根本不用蛮力，只需松动一颗特定的螺栓。
8月4日，Lorist和Schwenninger那篇5页纸的独立证明挂出来了。他们用的是经典双层势理论，手法老派得像用铜版纸印讲义。有趣的是，两人在致谢里坦白：“部分灵感来自arXiv:2607.xxxx的采样视角”。金山木转发时只写了句：“原来门后不止一条路。”他开源的GitHub仓库里，Lean 4形式化验证脚本跑通时间是2026年7月30日19:47:33，比Crouzeix本人的邮件确认早了11分钟。Michel Crouzeix在回信末尾画了个小圆圈，里面写着数字2——当年他写猜想时，就坚信是这个数。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
