23:13IT之家（博客/媒体）
85°
推荐理由：一个神经外科医生借 GPT-5.6 证明了 Crouzeix 猜想，数学家集体震惊。完整提示词和代码都开源了，可以看看。
Crouzeix 猜想
共 1 条相关 AI 资讯
8月14日
23:13
北京协和医院博士后金山木借助 OpenAI 的 GPT-5.6-Sol 模型，在约 16 小时内证明了自 2004 年悬而未决的 Crouzeix 猜想。康奈尔大学数学家 Alex Townsend、华盛顿大学 Anne Greenbaum 及猜想提出者 Michel Crouzeix 均已审阅并确认证明正确。此前人类专家在 2017 年仅将常数降至 2.414，而 AI 给出的证明依赖巧妙的采样策略。金山木已开源全部研究资料，包括论文、提示词和 Lean 4 形式化证明。该证明发布 8 天后，另有数学家发布了 5 页的独立证明。