魔幻突破！协和住院医师借助AI，攻克困扰全球22年Crouzeix猜想，科学研究范式彻底改写

北京协和医院神经外科住院医师金山木，借助大模型GPT‑5.6‑Sol，完成著名Crouzeix猜想完整证明。论文登上预印本平台arXiv，猜想提出者Crouzeix以及多位国际顶尖数学家审核确认证明成立。
一名临床医生，并非职业数学家，依靠AI工具，拿下数值线性代数领域悬案，这件事在全球科学界掀起巨大震动，也引发大量争论：到底是人赢了，还是AI赢了？未来科学研究的模式正在发生根本性改变。

事件还原：一个困住数学家22年的硬核猜想
Crouzeix猜想2004年被法国数学家Michel Crouzeix提出，属于矩阵分析的核心难题，语句表述简短，但证明难度极高。
简单通俗来讲：任意矩阵经过多项式运算之后，算子范数，不会超过函数在矩阵数值域上最大值的2倍。

过去二十多年，全世界无数顶尖数学家前赴后继攻关。2007年提出者本人只证明常数11.08成立；2017年学界把上限压缩到2.414，距离目标常数2只差一步，之后便长期停滞，再也无法向前突破。

金山木本科地质学，博士为医学，没有正统数学专业背景，平时本职是神经外科临床住院医师。因为做经颅超声相关研究接触矩阵理论，自学相关数学知识，注意到这个未解猜想。他没有走传统纸笔推导路线，设计一套复杂提示词，让AI开启多智能体对抗验证模式，断网环境下连续自主运算约16小时，最终产出完整证明手稿。后续经过多位数学家反复核验，确认证明逻辑成立。

一部分网友认为：一切都是AI算出来的，医生只是敲了提示词，本质是AI解题，人类只是操作员。但不少数学领域专家并不认同这个观点。AI不会自己挑选研究方向，不会识别什么是重要猜想，不会设计整套探索框架，更不会对最终结果做学术判断。
金山木的核心价值：
1. 在繁重临床工作之余，看懂猜想的意义，选定研究目标；
2. 设计整套复杂的提示词、多智能体对抗校验的实验框架，规避AI常见逻辑漏洞；
3. AI输出大量半成品，由人筛选、甄别、核对，最后整理成符合学术规范的完整证明。

AI是强大的科研助手，如同过去科学家手中的超级计算器，工具不能替代研究者的判断力、选题眼光与逻辑校验能力。没有人的引导，大模型不会主动盯上这道尘封22年的数学难题。

当然也要客观承认：如果没有新一代大模型，依靠人力，这名临床医生几乎不可能独立完成这一证明。人机协同，才是这次突破的真相。

这一成果爆火之后，科学界的担忧同样不容忽视。
第一，AI很容易生成“看似正确实际错误”的数学证明。大模型擅长模仿数学行文，经常编造伪证明，普通研究者很难分辨真假。未来会出现大量半成品论文，增加同行评审巨大负担。
第二，会冲击传统科研评价体系。未来会不会出现大量非专业人士，依靠强大AI批量产出论文？学科的门槛被工具拉低，如何区分研究者真实水平，成为新难题。
第三，深度思考的缺失。传统数学证明，人类推导过程中，会诞生全新数学工具、衍生新问题；AI给出答案，但不一定给人类讲清楚背后的直觉。我们拿到结论，却可能错失思考过程带来的副产品。

以往重大数学突破，大多出自常年深耕该领域的职业数学家。而这次，一名临床医生跨界完成攻坚，给科学界带来重要启示。

很多学科的壁垒，正在被AI消解。过去，你必须花费十几年时间系统训练，才有资格触碰前沿难题；今天大模型可以补齐基础知识短板，让其他行业的聪明人，也有机会参与硬核基础研究。

但这不代表专业训练毫无意义。恰恰相反，越是依赖AI，人的鉴别能力、逻辑判断力就越珍贵。工具越强，对使用者的鉴别能力要求就越高。AI可以做推演，但不能代替人提出好问题，也不能分辨结果的真伪。

这件事对普通科研人带来的现实启示
1. AI已经成为科研利器，但绝对不能直接照搬AI输出内容，所有结论必须人工复核校验。
2. 学科边界正在消融，其他行业的从业者，也可以借助AI，参与基础科学探索。
3. 未来科研比拼的不再仅仅是记忆和演算能力，更看重提出问题、设计框架、辨别真伪的综合能力。

协和住院医师借助AI攻克Crouzeix猜想，不是AI取代数学家的末日，而是人机协同科研时代到来的标志性事件。AI提供算力与推演，人类提供眼光、判断力与好奇心。工具可以降低门槛，但真正的科学突破，永远离不开人的思考。

你认为未来会不会越来越多数学难题，靠普通人搭配AI来解决？评论区聊聊你的看法。