很多人还是没有意识到人工智能发展到了什么地步，还在各种纠结，很快整个人类的智力，已经到了没有多少意义的地步

北京协和医生神经外科医生金山木：用AI跑了16小时，数学家：22年猜想完成了。（转发报道）

2026年7月27日，金山木在国际数学预印本平台上传了一篇论文，《The Numerical Range Is a 2-Spectral Set》。论文证明了一个东西——Crouzeix猜想。

2004年法国数学家Michel Crouzeix提出来的，证明这个猜想的过程，不是金山木在草稿纸上算出来的。是他写了一段提示词，丢给AI，然后AI自己跑了16个小时，跑出来的。

跑的过程中他没在旁边盯着。由AI自己做假设、自己推翻、自己重建，来来回回数万次，最后给出了一个完整的证明。

一个神经外科医生，用AI解决了数学家22年没搞定的问题。

Crouzeix猜想，简单解释一下：任意矩阵经过多项式函数作用之后的谱范数，不超过这个函数在矩阵数值域上最大值的两倍。核心就一个数字——2。

2007年，Crouzeix本人证明了这个常数约为11.08，离目标的2还差着十万八千里。

又过了10年，到2017年，Crouzeix和Palencia一起把常数降到了1+√2，大约2.414。

卡在2.414，就过不去了。

据36氪和ZAKER新闻的报道，金山木用的模型是GPT-5.6-Sol，在ChatGPT Work模式下运行。

策略是从OpenAI此前攻克Cycle Double Cover猜想的方法里借鉴来的，一共三条：

第一条，物理断网。要求AI在完全不联网的状态下进行纯粹的原创思考，不能去搜现成的答案和论文。

第二条，多智能体发散探索。同时启动大量AI智能体，沿着不同的路径去试，防止过早收敛到同一条思路上。

第三条，对抗性审计。对每一个候选证明，都用另一个AI去挑毛病、找漏洞，通不过审计的直接废掉。
就这么三条规则，设定好之后金山木就走了。AI自己跑了16个小时。

16小时里发生了什么？数万次假设，数万次推翻，数万次重建。AI在黑暗里不断试错，不断碰壁，然后不断调整方向。

最后它找到了一条路。

而这条路，完全出乎所有数学家的意料。根据SIAM News的分析，AI没有像人类数学家预期的那样，通过“更强的估计”来逼近答案。它用了一个完全不同的思路——通过巧妙的采样策略，把整个问题简化成了一个简洁的正性条件。

翻译成大白话就是：所有人都在想怎么把墙凿穿，AI绕到旁边，找到了门。

证明这个猜想，又发生了另一件事。

根据SIAM News的报道，就在金山木上传论文之后不久——2026年8月4日，荷兰代尔夫特理工大学的Lorist和特温特大学的Schwenninger，也发表了一个独立证明。只有5页纸，思路和金山木的完全不一样。

他们也用了ChatGPT 5.6。

两个不同的团队，在差不多的时间里，用同一款AI工具，从两条完全不同的路径，分别证明了同一个困扰人类22年的猜想。

这说明了什么？

说明AI证明数学猜想，已经不是偶然事件了。它是一个可复制的方法论。

但更重要的是——这两个团队里，人还是主角。AI是工具，是人类设定了问题、选择了策略、编写了提示词、验证了结果。AI干的是中间那16个小时的最累的拧螺丝的活儿。

可下的结论，不是“AI取代了数学家”，结论是：“会用AI的人，正在取代不会用AI的人。”