北京协和医院神经外科医生金山木借助GPT-5.6自主推演16小时，成功证明了困扰数学界22年的Crouzeix猜想。
主角背景：北京协和医院神经外科住院医师金山木，本科就读地质学，后获医学博士，无正规高等数学科班背景。
事件结果：2026年7月30日，金山木在arXiv发布预印本，宣布证明了2004年提出的Crouzeix猜想。
权威验证：猜想提出者Michel Crouzeix本人亲自逐行验证并盖章确认手稿正确，多位顶尖数学家表示震惊。
完全开源：金山木在GitHub公开了最终论文、提示词、迭代手稿、Lean 4代码及审计报告，接受全人类检验。
