协和医生用GPT-5.6-Sol，16小时干翻22年数学难题，数学家们集体沉? [企业追踪]

一个神经外科博士后，用AI模型16小时证明了困扰数学界22年的Crouzeix猜想。这事放在去年，你说破天我也不信。但2026年，它就这么发生了。

北京协和医院神经外科博士后金山木，用OpenAI的GPT-5.6-Sol模型，在ChatGPT Work平台上自主运行约16小时，成功证明了自2004年以来悬而未决的Crouzeix猜想。美国康奈尔大学数学家Alex Townsend和华盛顿大学数学系教授Anne Greenbaum已公开确认，连同猜想提出者、法国数学家Michel Crouzeix本人在内，三位专家均已审阅论文手稿并确认证明正确。就问你服不服？

这不是天才，是提示词工程

金山木的学术背景跟数学八竿子打不着。本科北大地质学，2020年转行临床医学，2024年成为神经外科博士后。他闯进数学领域的原因很朴素——经颅超声研究需要穿透复杂的人体颅骨结构，接触到了矩阵分析，自学过程中偶然看到了Crouzeix猜想。他自称正式数学教育仅限于理工科本科基础课程，其余全自学。往好听了说是跨界奇才，往坏了说，这打了多少数学博士的脸？

Crouzeix猜想2004年提出，核心内容：任意矩阵和任意多项式函数，矩阵经函数作用后的范数不超过该函数在矩阵数值域上最大值的两倍。2007年Crouzeix本人只证明了常数11.08成立，2017年全球顶尖专家苦战一周才降到2.414，此后再无实质进展。金山木没有做传统纸笔推导，而是借鉴OpenAI此前攻克Cycle Double Cover猜想的提示词策略：要求模型在物理断网环境下纯粹原创思考，启动大量智能体沿不同路径发散探索防过早收敛，对候选策略进行对抗性审计。设定完成后他就走了，全程零干预。

AI不是工具，是合作者

GPT-5.6-Sol在16小时自主运行中经历数万次假设、推翻与重建，最终给出证明。数学家们评价AI并未采用人类预想中的繁杂硬估计，而是通过巧妙采样策略简化出简洁的正性条件。Townsend和Greenbaum审阅后以”震惊”形容。金山木已将全部研究资料开源，包括论文、提示词、迭代手稿、Lean 4形式化证明代码及公理审计报告。更刺激的是，预印本发布仅8天后，数学家Emiel Lorist和Felix Schwenninger就发布了一篇5页独立证明，思路截然不同，两人坦言同样用了ChatGPT 5.6。

这不是孤立事件。2026年5月OpenAI称其内部通用推理模型自主解决了Erdős 1946年提出的平面单位距离问题；8月初OpenAI又披露下一代模型Astra内部版本在10项数学难题上取得突破。Anthropic也不甘寂寞，其未公开研究版Claude在尝试攻克黎曼猜想过程中，将临界线上零点比例已知下界从41.6％提升至67.2％。

数学界正在经历一场静默革命。当AI能在16小时内破解人类22年未解之谜，当提示词工程成为新的数学方法论，那些还在坚持纸笔推导的数学家们，是时候重新思考自己的核心竞争力了。Crouzeix猜想被攻克不是终点，而是AI数学时代的发令枪。至于人类数学家还能在牌桌上坐多久？这个问题，恐怕AI自己已经有了答案。

该文观点仅代表作者本人，企服科学平台仅提供信息存储空间服务。