北京协和医院神经外科医生金山木借助GPT-5.6自主推演16小时，成功证明了困扰数学界22年的Crouzeix猜想，引发全球数学圈震动。

　　一、 跨界破局与核心事件

　　主角背景：北京协和医院神经外科住院医师金山木，本科就读地质学，后获医学博士，无正规高等数学科班背景。

　　事件结果：2026年7月30日，金山木在arXiv发布预印本，宣布证明了2004年提出的Crouzeix猜想。

　　权威验证：猜想提出者Michel Crouzeix本人亲自逐行验证并盖章确认手稿正确，多位顶尖数学家表示震惊。

　　二、 跨界起因与核心方法

　　研究痛点：金山木在从事经颅超声研究时，为穿透复杂颅骨结构自学矩阵分析，偶然被Crouzeix猜想的几何美感吸引。

　　提示词工程：他魔改OpenAI著名提示词，将AI化为虚拟数学研究院，采用物理断网、多分支发散、对抗性审计等策略。

　　自主运行：GPT-5.6在Work模式下连续狂奔约16小时，经历数万次假设与推翻，最终通过巧妙的采样策略完成证明。

　　三、 成果开源与学术影响

　　完全开源：金山木在GitHub公开了最终论文、提示词、迭代手稿、Lean 4代码及审计报告，接受全人类检验。

　　降维打击：AI未使用繁杂硬估计，而是通过巧妙采样策略化简为正性条件，推开人类用蛮力撞击22年的铁门。

本文由AI生成