北京协和医院医生借助GPT-5.6破解数学界Crouzeix猜想
2026年7月30日,北京协和医院神经外科住院医师金山木发布预印本,宣布借助GPT-5.6证明了困扰数学界22年的Crouzeix猜想。消息称,猜想提出者Michel Crouzeix及多位数学家逐行核验后确认其证明逻辑成立,引发学术界关注。
金山木本科就读北京大学地质学专业,后获北京协和医学院医学博士学位。面对这一数学难题,他通过设计多智能体并行探索、交叉审计和持续推演等流程,让GPT-5.6自主运行约16小时,最终形成完整证明。相关提示词、手稿和验证代码已开源。
Crouzeix猜想提出于2004年,是数值线性代数领域的重要问题。若最终得到正式同行评审确认,这一成果不仅意味着22年数学难题可能被攻克,也凸显AI编排能力正在降低专业领域的知识门槛。
目前成果仍处于预印本阶段,最终结论仍需学界进一步验证。