那天早上，Alex Townsend照例点开arXiv——这动作他已经重复了快一年。手指悬在键盘上方的时候，他根本没料到，自己正站在一个数学时代拐点的门槛上。2026年7月30日，一篇署名“Shanmu Jin”的预印本静静躺在页面中央，标题朴素得不像话，内容却让整个数值线性代数圈集体失语。更离谱的是，作者栏写着：北京协和医院神经外科住院医师。
金医生本科念地质，在山东大学挖过岩石标本；后来转学医，博士论文研究的是颅底肿瘤的三维重建；他连微积分课都是大二蹭数学系旁听的。真正开始啃矩阵理论，是因为做经颅超声——那会儿他发现，超声波穿过不同密度的颅骨时，信号衰减曲线老是跑偏，一查文献，直接掉进Crouzeix猜想的深坑里。这玩意儿2004年就由法国人Michel Crouzeix提出来了，说的是：对任意矩阵A和多项式p，只要把p画在A的“数值域”上，那它在复平面上的“爆破力”就不会超过谱范数的两倍。一句话，常数=2。可22年来，从11.08压到2.414，再往下，就像卡在水泥墙缝里，谁也撬不动。
他没找导师，没进研讨班，只是把OpenAI之前解Cycle Double Cover用过的提示词框架扒下来，改了三遍：加约束、设反馈闭环、嵌入Lean 4校验模块。7月29号晚上10点17分，他敲下回车，顺手把笔记本合上，去值夜班了。GPT-5.6 Sol在后台跑着，16小时没停——不是生成答案，是自己建猜想、反例、引理树、采样网格，几万次试错后，突然把整个不等式坍缩成一个单点正性条件。就像你拿放大镜烧纸，烧了半天没反应，结果AI找准焦距，火苗“噗”一下就起来了。
Crouzeix本人花了一整天逐行核验，末尾批了句“Correct”。Townsend看完手稿后在办公室抽了半支烟，烟灰掉在打印纸上都没掸。更绝的是八天后，8月4日，Lorist和Schwenninger甩出另一份5页证明，路径完全不同，但结论严丝合缝。两人坦白：他们也在用GPT-5.6，只不过调的是另一套参数。
金医生把全部代码、迭代日志、甚至第一次跑崩时的报错截图，全扔进了GitHub仓库。链接开着，谁都能点进去看。你点开那个main.py文件，里面第一行注释写着：“别信我，自己跑一遍。”对吧？这事搁十年前，你跟数学系老教授说“协和医生靠AI解出Crouzeix”，他大概率会笑出声，顺手把茶杯往桌上一蹾。可现在，茶杯还搁那儿，水凉了。
热门跟贴