中国医生用 GPT-5.6 破解 22 年数学难题，Crouzeix 本人确认正确

北京协和医院博士后金山木借助 OpenAI 的 GPT-5.6-Sol 模型，在约 16 小时内证明了自 2004 年悬而未决的 Crouzeix 猜想。康奈尔大学数学家 Alex Townsend、华盛顿大学 Anne Greenbaum 及猜想提出者 Michel Crouzeix 均已审阅并确认证明正确。此前人类专家在 2017 年仅将常数降至 2.414，而 AI 给出的证明依赖巧妙的采样策略。金山木已开源全部研究资料，包括论文、提示词和 Lean 4 形式化证明。该证明发布 8 天后，另有数学家发布了 5 页的独立证明。