协和医生没读过数学系，断网让ChatGPT连跑16小时，证出22年悬案

7月30日，华盛顿大学应用数学教授Townsend打开arXiv，发现折磨数学界22年的Crouzeix猜想被人证明了。

作者不是任何名校的数学教授，是北京协和医院神经外科的住院医师金山木。

他本科读地质，后来拿了医学博士，所有高等数学全靠自学。唯一的助手是ChatGPT。

这道题有多难？2004年法国数学家Crouzeix亲自提出，要证明矩阵的一个最优常数是2。他本人2007年只证到11.08，2017年全球顶尖专家开了一周研讨会，耗尽心力降到2.414，之后九年再没人推进一步。

金山木的做法很特别。他改了一份提示词，物理断网，不让ChatGPT去搜人类历史上那些失败的旧思路，逼它从公理开始原创；同时开大量子智能体沿不同路径探索，禁止过早收敛；再让AI互相找反例，审到底；下了死命令，证不出来不许停。

然后他按了回车，转身去上班，全程没再干预。

GPT-5.6自己跑了大约16个小时，经历几万次假设、推翻、重建，最后没用数学家预想的复杂硬算，而是找到一个极小的"采样策略"，把问题化繁为简，门开了。

出题人Crouzeix本人一行一行读完证明，一锤定音：正确。22年悬案终结。

更巧的是，8天后另外两位数学家Lorist和Schwenninger发表了一份只有5页的独立证明，思路完全不同——他们也用了ChatGPT。

一个拿手术刀的人，靠自学和AI，闯进了数学家守了22年的房间。金山木把论文、提示词、手稿、形式化证明代码全放上了GitHub开源。

这不是"AI取代数学家"的故事。是一个圈外人，拿着一架别人还不太会用的望远镜，先看到了星星。你觉得下一个被圈外人撞开的领域会是哪个？

ChatGPT 人工智能 数学家 AI