协和医生用GPT-5.6干了16小时，22年数学猜想就这么证出来了

8月15日，知乎热榜第二：协和医院住院医用AI解决了Crouzeix猜想。点进去看完整故事之后，我愣了好一会儿。

一个外科医生，解了22年的数学难题

主角叫金山木，北京协和医院神经外科住院医师、博士后。注意他的背景：本科地质学，后来读了医学博士。他的正式数学教育仅限于理工科基础课程，超出这些的「全部是自学」。

他研究的切入点是经颅超声——让超声波穿透复杂颅骨结构，由此闯进了矩阵分析领域，偶然撞上了Crouzeix猜想。这个猜想2004年由法国数学家提出，表述只有一句话，但折磨了全球顶尖数学家整整22年。2007年Crouzeix本人只证到常数11.08，2017年全球专家在美国数学研究所研讨了一周，把常数压到2.414，此后八年再无进展。

GPT-5.6跑了16小时，全程无人干预

金山木没有走传统的纸笔推导路线。他改编了OpenAI此前用于攻克Cycle Double Cover猜想的提示词策略，在ChatGPT Work模式下让GPT-5.6 Sol自主运行约16小时。他设置了几个关键约束：物理断网，逼迫AI从公理出发原创思考；启动大量子智能体沿不同路径探索，不许过早收敛；对候选策略做对抗性审计，只有找到反例才排除路线；在拿到完整证明前不许放弃。

16小时后，AI经历数万次假设、推翻与重建，交出了证明。关键突破在于：AI没有走人类预想的繁杂硬估计路线，而是通过巧妙的采样策略，简化出简洁的正性条件。出题人Crouzeix本人逐行看完，亲自盖章：正确。康奈尔大学数学家Townsend和华盛顿大学教授Greenbaum看完，只憋出两个字——「震惊」。

发布8天后，另外两个数学家也独立证明了

更值得注意的是：这份预印本发布仅8天，数学家Lorist和Schwenninger用完全不同的思路、只用了5页纸也给出了独立证明。他们坦言，探索证明策略时同样用了ChatGPT 5.6。

这说明什么？AI不是偶尔灵光一闪，它正在变成一种通用的研究工具。数学家、医生、地质专业的人，都能用它触达以前够不着的知识边界。

这件事的启示

我一直觉得，AI是不是「超级应用」，不能看用户数，得看它能解决什么问题。

22年，人类最顶尖的数学家靠纸笔推进不了常数2。一个没有科班数学背景的医生，用AI做工具，16小时搞定。这不是说AI比数学家聪明——AI需要有人提出问题、设计提示词、判断结果是否有意义。金山木赢在这三点：他知道什么值得研究，知道怎么逼AI不偷懒，知道什么时候该信结果。

2026年，AI超级应用的标准可能不是「有多少人在用」，而是「它能不能解决以前解决不了的问题」。这个维度上，一个协和医生的AI助手，正在通过这个考试。