谁说搞数学难题，必须是专业数学家？2026年最颠覆的跨界名场面来了：一位协和神经外科医生金山木，不靠顶级数学团队，仅凭AI助力，耗时16小时，成功证明了困扰全球学界22年的法国克鲁泽猜想（Crouzeix猜想），彻底引爆科研圈！
先给大家科普下这个硬核难题。2004年，法国雷恩大学数学家米歇尔·克鲁泽提出该猜想，属于数值线性代数领域的核心难题。简单来说，学界需要证明一个核心常数始终不超过2。22年间，无数顶尖数学家前赴后继攻关，只能将数值从11.08逐步压缩到2.414，始终无法突破最后的壁垒，就连各类AI模型此前尝试求证，也屡屡出现逻辑漏洞、卡在关键步骤，难题就此尘封二十余年。
而拿下这项重磅成果的金山木，堪称妥妥的“跨界黑马”，完全打破了大众对科研大佬的固有认知。他本科是北大地质学专业，后续攻读医学博士，是一名实打实的临床医生，没有正统高等数学科班背景，高深的数学知识全靠自学积累。日常他的主业是手握手术刀救死扶伤，数学研究只是业余爱好。
一次临床休息间隙，金山木偶然了解到克鲁泽猜想，被这个悬置22年的难题勾起了探索欲。不同于传统数学家埋头推演、纸笔攻坚的模式，他解锁了全新解题思路——人机协同解题。
他精准设定严谨的AI运行规则，启用GPT-5.6模型开启自主推演，全程无需人工干预。AI不间断运行，最长一次16个小时，突破了人类的思维局限，补齐了数十年的证明短板，最终完整推导出严谨、无漏洞的证明过程。
2026年7月底，金山木将仅有个人署名的证明论文上传预印本平台。这份颠覆性的成果很快引发学界关注，美国康奈尔大学、华盛顿大学多位知名数学教授逐一核验论证逻辑，连猜想提出者克鲁泽本人，在详细审阅后也亲口确认：猜想已被完美证明，正式升级为数学定理。
消息传开后，数学圈直呼震撼。深耕该领域数十年的专业学者没能攻克的难题，被一位跨界医生用AI高效破解，彻底刷新了科研的打开方式。这也印证了，如今的科研突破不再局限于“专业壁垒”，精准的思路、高效的AI工具，往往能碰撞出意想不到的惊喜。
从手术室救死扶伤，到用AI破解世纪数学难题，金山木的跨界逆袭，不仅解锁了AI科研的全新可能，也让我们看见：热爱与创新，永远是突破边界的最强力量。