8月14日，据《南华早报》报道，北京协和医院神经外科博士后、住院医师金山木利用OpenAI的GPT-5.6-Sol模型，在约16小时内成功证明了自2004年提出的Crouzeix猜想。美国康奈尔大学数学家Alex Townsend与华盛顿大学数学系教授Anne Greenbaum公开了与金山木的邮件往来，并确认他们两人及猜想提出者Michel Crouzeix本人已审阅论文手稿，证明正确无误。
金山木的学术背景为北京大学地质学专业，后转入协和医学院临床医学，2024年成为神经外科博士后。他因经颅超声研究接触矩阵分析，自学数学并了解到该猜想。他在研究中未采用传统纸笔推导，而是借助GPT-5.6-Sol在ChatGPT Work平台自主运行，借鉴OpenAI此前攻克Cycle Double Cover猜想的提示词策略，设定物理断网、多智能体发散探索及对抗性审计等条件，全程未干预，模型经历数万次假设后给出证明。
金山木已将全部研究资料开源，GitHub仓库中公开了最终论文、提示词、迭代手稿、Lean 4形式化证明代码及公理审计报告。数学家们评价该证明通过巧妙采样策略简化出简洁正性条件，Townsend和Greenbaum以“震惊”形容感受。