核心进展与权威验证

据《南华早报》及IT之家报道，北京协和医院神经外科博士后、住院医师金山木利用OpenAI的GPT-5.6-Sol模型，在约16小时内成功证明了自2004年以来困扰数学界长达22年的Crouzeix猜想。美国康奈尔大学数学家Alex Townsend与华盛顿大学教授Anne Greenbaum通过公开发表文章披露了与金山木的邮件往来，使该成果为公众所知。Townsend、Greenbaum以及该猜想的提出者、法国数学家Michel Crouzeix本人均已审阅论文手稿，并确认证明正确无误。

研究背景与挑战

Crouzeix猜想由Michel Crouzeix于2004年提出。其核心内容为：对于任意矩阵和任意多项式函数，矩阵经函数作用后的范数不超过该函数在矩阵数值域上最大值的两倍。该猜想表述简洁但证明难度极高。2007年，Crouzeix本人仅证明了常数在11.08时成立；2017年，全球顶尖专家在美国数学研究所专题研讨会经过一周研究，才将常数降至2.414，此后该问题再无实质进展。

研究者背景与跨界起因

金山木的学术背景与数学领域相去甚远。他本科就读于北京大学地质学专业，2020年通过协和医学院“4+4试点班”转入临床医学，2024年成为神经外科博士后。金山木在接受采访时表示，其正式数学教育仅限于理工科本科基础课程，其余知识均为自学。他进入数学领域源于在经颅超声研究中试图用超声波穿透复杂人体颅骨结构的实际需求，在自学矩阵分析过程中偶然了解到Crouzeix猜想。

技术路径与成果公开

在证明过程中，金山木采用了非常规的解题路径，未进行传统纸笔推导，而是借助ChatGPT Work平台上的GPT-5.6-Sol模型完成。他借鉴并改造了OpenAI此前攻克Cycle Double Cover猜想时的提示词策略，采用物理断网、多分支发散及对抗性审计等策略，使模型在约16小时内通过数万次假设与推翻最终完成证明。金山木已在arXiv发布预印本，并在GitHub公开了最终论文、提示词、迭代手稿、Lean 4代码及审计报告。