中国医生用GPT-5.6破解22年数学难题

时间：2026年8月14日 地点：美国康奈尔大学、华盛顿大学、法国（论文公开），中国北京（研究者所在地） 人物：北京协和医院神经外科博士后金山木；OpenAI GPT-5.6-Sol 模型；法国数学家 Michel Crouzeix；康奈尔大学数学家 Alex Townsend；华盛顿大学教授 Anne Greenbaum；荷兰数学家 Emiel Lorist；瑞士数学家 Felix Schwenninger 事件详情： 2026 年 8 月 14 日，IT之家与南华早报报道，北京协和医院神经外科博士后、住院医师金山木利用 OpenAI 最新推理模型 GPT-5.6-Sol，仅用约 16 小时便成功证明了由法国数学家 Michel Crouzeix 于 2004 年提出的 Crouzeix 猜想——这一难题已困扰全球数学界长达 22 年。 康奈尔大学数学家 Alex Townsend 与华盛顿大学教授 Anne Greenbaum 通过公开发表的文章披露了与金山木的邮件往来，公开了这项突破性成果。Townsend 和 Greenbaum 表示，他们两人以及猜想提出者 Crouzeix 本人均已审阅论文手稿，并确认证明正确无误。审阅者以"震惊"形容自己的感受。 背景： Crouzeix 猜想的核心内容是：对于任意矩阵和任意多项式函数，矩阵经函数作用后的范数不超过该函数在矩阵数值域上最大值的两倍。该猜想表述简洁但证明难度极高。2007 年，Crouzeix 本人仅证明常数在 11.08 时成立；2017 年，全球顶尖专家在美国数学研究所专题研讨会上一周苦战，才将常数降至 2.414，此后该问题再无实质进展。 金山木的学术背景与数学相去甚远。本科为北京大学地质学专业，2020 年通过协和医学院"4+4 试点班"转入临床医学，2024 年成为神经外科博士后。他之所以闯入数学领域，源于经颅超声研究中试图用超声波穿透复杂人体颅骨结构，在自学过程中偶然了解到 Crouzeix 猜想。 影响： 金山木的研究采用了一种非常规的解题路径——他没有进行传统的纸笔推导，而是借助 GPT-5.6-Sol 模型在 ChatGPT Work 平台上完成证明。他借鉴了 OpenAI 此前攻克 Cycle Double Cover 猜想时的提示词策略：要求模型在物理断网环境下进行纯粹原创思考，启动大量智能体沿不同路径发散探索并防止过早收敛，对候选策略进行对抗性审计，并指令模型在获得完整证明前不得放弃。 金山木在设定完成后即离开，全程未进行任何干预。GPT-5.6-Sol 在约 16 小时的自主运行中，经历了数万次假设、推翻与重建，最终给出证明。多位数学家评价称，AI 并未采用人类预想的繁杂硬估计，而是通过巧妙的采样策略简化出简洁的正性条件。 值得一提的是，在该预印本发布仅 8 天后，数学家 Emiel Lorist 和 Felix Schwenninger 于 2026 年 8 月初发布了一篇仅 5 页的独立证明，思路截然不同，将经典双层势表示法与 2-扩张扰动引理相结合，两人坦言在探索证明策略时同样使用了 ChatGPT 5.6。 金山木已将全部研究资料开源，在 GitHub 仓库中公开了最终论文、提示词、历次迭代手稿、Lean 4 形式化证明代码及公理审计报告。 总结： 这一突破标志着前沿 AI 系统在数学领域日益发挥关键作用。2026 年 5 月，OpenAI 称其内部通用推理模型自主解决了匈牙利数学家 Paul Erdős 于 1946 年提出的平面单位距离问题；2026 年 8 月初，OpenAI 披露下一代模型 Astra 的内部版本已在 10 项数学与理论计算机科学难题上取得突破；Anthropic 也于 8 月 11 日宣布其未公开的研究版 Claude 模型在尝试攻克黎曼猜想过程中取得进展。 参考来源： 1. IT之家（中国医生用 GPT-5.6 破解 22 年数学难题，Crouzeix 本人确认正确）：https://www.ithome.com/0/989/952.htm 2. 腾讯新闻（协和"4+4"医生用 AI 解开 20 多年数学难题）：https://news.qq.com/rain/a/20260814A071ZU00 3. 中华网新闻（协和医生用 AI 解决 22 年数学难题，跨界创举震惊全球）：https://news.china.com/socialgd/10000169/20260814/49675585.html 4. 南华早报 SCMP（原始报道来源，Townsend 与 Greenbaum 公开披露邮件往来）：https://www.scmp.com/ 5. OpenAI 官方构建者指南（GPT-5.6 模型文档背景参考）：https://news.qq.com/rain/a/20260814A053J400 6. 钛媒体官方网（Crouzeix 猜想历史与 2017 年美国数学研究所专题研讨会背景）：https://www.tmtpost.com/ 7. 网易新闻（同事件独立来源，与 IT之家相互印证）：https://c.m.163.com/news/a/L4ACCH5L05118O92.html 8. Lean 4 形式化证明参考（开源数学证明工具）：https://leanprover.github.io/