金山木利用 GPT-5.6 模型证明 Crouzeix 猜想，相关数学界人士确认结果

北京协和医院神经外科博士后、住院医师金山木利用 OpenAI 的 GPT-5.6-Sol 模型，成功证明了自 2004 年以来困扰数学界长达 22 年的 Crouzeix 猜想。该成果的公布引发了学术界的关注，尤其是在人工智能模型应用于复杂数学难题解决的前沿领域。

关于这项研究的确认过程，美国康奈尔大学数学家 Alex Townsend 与华盛顿大学数学系教授 Anne Greenbaum 公开发表文章，披露了他们与中国医生金山木之间的邮件往来。Alex Townsend 和 Anne Greenbaum 表示，他们两人以及猜想提出者、法国数学家 Michel Crouzeix 本人均已审阅了论文手稿，并确认证明正确无误。

Crouzeix 猜想的背景可以追溯到法国数学家 Michel Crouzeix 于 2004 年提出的。这一难题在后续时间里持续困扰着相关领域的数学研究人员，直到金山木利用 GPT-5.6-Sol 模型才得以解决。

事件细节方面显示，金山木在研究中借助 GPT-5.6-Sol 模型在 ChatGPT Work 平台上完成了证明工作。据了解，GPT-5.6-Sol 在约 16 小时的自主运行时间里，给出了 Crouzeix 猜想的完整证明。

从个人背景来看，金山木本科毕业于北京大学地质学专业，并于 2024 年成为神经外科博士后。此外，金山木已将全部研究资料开源在 GitHub 仓库中，这为学术界提供了可供查阅的原始材料。

从时间线角度看，Crouzeix 猜想最早由 Michel Crouzeix 于 2004 年提出。近期，除了金山木利用 GPT-5.6 模型取得突破外，数学领域也出现了其他进展：OpenAI 在 2026 年 5 月曾宣布其内部通用推理模型自主解决了 Paul Erdős 于 1946 年提出的平面单位距离问题；Anthropic 在 2026 年 8 月 11 日宣布，其未公开的研究版 Claude 模型在尝试攻克黎曼猜想过程中，将零点比例的已知下界从 41.6% 提升至 67.2%。此外，数学家 Emiel Lorist 和 Felix Schwenninger 于 2026 年 8 月初也发布了一篇独立证明。

本次事件的影响边界在于，它展示了先进大型语言模型在处理高度抽象和复杂理论数学问题上的潜力。然而，需要注意的是，所有关于 GPT-5.6 模型解决的难题均基于公开资料的描述，且相关确认意见来自 Alex Townsend、Anne Greenbaum 以及 Michel Crouzeix 本人。

对于关注人工智能与科学交叉领域的读者而言，金山木已将全部研究资料开源在 GitHub 仓库中，这为后续的研究和验证提供了直接的阅读提示。所有信息均来源于公开报道，应将其视为当前可追溯的学术进展记录。