协和医生破解22年数学难题论文被扒关于“协和医生破解22年数学难题论文被扒”事件,目前信息基本属实,但应准确理解为“一位协和医生借助AI工具完成了著名数学猜想的证明”。
事件主角是北京协和医院神经外科的“4+4”博士后、住院医师金山木。他并非数学科班出身,本科为北大地质学专业,因经颅超声研究接触到矩阵分析,从而自学了相关数学。
他攻克的难题是法国数学家Michel Crouzeix于2004年提出的 “Crouzeix猜想” 。该猜想在矩阵理论中极为重要,22年来全球顶尖数学家仅取得部分进展。
金山木的突破性在于,他让 OpenAI的GPT-5.6-Sol模型在ChatGPT Work平台上自主运行了约16小时。AI经历了数万次尝试后给出了证明,整个过程他几乎未干预。
该成果已获数学界权威认可。美国康奈尔大学数学家Alex Townsend偶然发现该论文后,与华盛顿大学教授Anne Greenbaum及猜想提出者Crouzeix本人共同核验,一致确认证明正确。金山木已将论文、提示词及Lean 4形式化验证代码全部开源。
不过,该论文目前仍是预印本,尚未经过正式同行评审。网上也存在部分质疑声。值得一提的是,在他发布预印本仅8天后,另外两位数学家也发表了独立证明。
,这并非“论文被扒”的丑闻,而是+AI”攻克顶级难题的传奇故事。它最震撼的地方,或许在于展示了AI如何极大地降低了人类攻克高深学问的门槛。