白天做手术,晚上就砸开了困扰全球数学界22年的世界难题。北京协和医院脑科医生金山木,本科读地质、数学靠自学,靠GPT-5.6-Sol跑了16小时,硬生生把克鲁泽猜想给证明了。
信源:中国新闻周刊——协和医院医生,攻克22年数学难题
谁能想到,在全球顶级数学家们抠破脑袋、啃了整整22年都没啃下的数学坚果面前,最后给出一记致命一击的,居然是一位天天拿着手术刀的北京协和医院神经外科住院医师。
更离谱的是,这位叫金山木的年轻人本科学的是地质学,数学全靠业余自学。他
在预印本平台上甩出一篇论文,宣告利用GPT-5.6-Sol模型自主运行了16个小时,成功证明了著名的“克鲁泽猜想”。消息一出,世界数学界和医学界瞬间全炸开了锅。
金山木的人生履历拿出来,怎么看都像是个打乱了既定剧本的异类。在协和医院,他是标准的硬核医生,白天扎在手术室里,一站就是八九个小时。
在显微镜下拿着镊子和无创缝合针,小心翼翼地剥离脑瘤、修复微血管,容不得半点马虎。可只要脱下白大褂回到宿舍,他立刻切入另一个完全不同的世界。
别人下班打游戏刷剧,他却在电脑前跟复杂的数学公式死磕。从本科地质专业的岩石剖面,到跨界考医攻读神经外科博士后,他最大的业余爱好就是研读高深数学著作。
他盯上的“克鲁泽猜想”,在国际数学界绝对算得上块硬骨头。这道22年前被提出的难题,卡住了无数代数几何和拓扑学领域的顶尖高手。
几十年来,世界各地的数学家写满了几百张草稿纸,试图从各种角度撕开一条缝隙,最终都以失败告终。
绝大多数人都觉得,要想攻克这种级别的猜想,非得是在顶尖大学数学系深耕几十年、头发都掉光的老教授不可。
谁也没想到,一个天天在病房和手术室之间两点一线奔波的年轻医生,会突然半路杀出来插上一脚。
金山木并不是靠拿着草纸死算,而是把眼光投向了最新一代的AI大模型。
他并没有盲目让AI去凭空捏造,而是把克鲁泽猜想的前置条件、逻辑推导框架,以及自己自学数学积累下来的关键直觉,拆解成一套极其精密的约束条件与推理链条,喂交给了GPT-5.6-Sol模型。
安排好模型自主运行后,他便赶去医院值夜班。16个小时过去,当他结束了一早上的例行查房回到电脑前时,屏幕上赫然呈现出一套完整、严密且逻辑严丝合缝的证明步骤。
刚把论文投到预印本平台时,学术界的第一反应几乎全是不敢置信。一个地质学本科出身、现在天天做脑外科手术的医师,用AI跑了十几个小时就把22年的数学悬案破了?
这听起来简直像极了科幻小说里的荒诞情节。然而,当克鲁泽猜想的提出者本人以及多位国际顶级数学家按捺不住好奇,捧着论文一行一行严格核验后,态度瞬间从质疑变成了震撼。
经过多轮反复推演,专家们不得不承认:逻辑没有丝毫漏洞,证明完全成立!
这件事在圈子里引爆的震动,早已远远超出了“跨界神人”这个故事本身。它直接把一个极其残酷又让人兴奋的趋势推到了所有人面前:
传统的科研壁垒,正在被AI以一种前所未有的速度轰然撞碎。
过去,一个普通人要想在数学、物理这种高度精密的学科里做出顶尖贡献,必须经历十几年的专业训练,耗费大把光阴去磨练复杂的计算技巧。
但现在,当具备强大深度推理能力的AI出现后,沉重的底层计算和逻辑推导被工具接管,人类科研人员的核心竞争力,瞬间转移到了“如何提出好问题”以及“如何构建跨学科的解题直觉”上。
类似的事情在近两年的科研圈其实早已初露端倪。从生物学界利用AlphaFold预测出上亿个蛋白质结构,到物理学家用AI辅助发现新型超导材料,工具的革命正在彻底颠覆传统的科研范式。
以前是跨学科如隔山,不同领域的专家老死不相往来;现在有了AI这个全能助手,一个懂临床医学的医生,只要拥有足够敏锐的数学直觉,就能跨过专业藩篱去破译千禧年难题。
研究者不再被困在繁琐的机械运算里,反而能够把大脑释放出来,去进行更具创造力的跨界碰撞。
当然,这并不意味着人类数学家或科研人员要失业了,相反,它拉开了“人机协同”新时代的大幕。
未来的科学突破,可能不再仅仅诞生于象牙塔里的单打独斗,而是来自于那些敢于打破学科边界、善于驾驭顶尖AI工具的跨界者。
正如金山木在白天用手术刀精准切除病灶、晚上用AI逻辑切开数学难题一样,当技术门槛被科技抚平,思想与直觉的火花将会在更多意想不到的领域绽放。
这场由协和医生和AI共同完成的奇袭,仅仅只是个开始,属于全民跨界科研的风暴,才刚刚刮起来。

评论列表