中国医生据称用 GPT-5.6 破解 22 年数学难题，Crouzeix 本人确认正确
据报道，中国神经外科医生、博士后金山木使用据称具备自主运行能力的 GPT-5.6-Sol 模型，在约 16 小时内完成了 Crouzeix 猜想的证明。数学家 Alex Townsend、Anne Greenbaum 和猜想提出者 Michel Crouzeix 据称审阅了论文手稿，并确认其证明正确。报道称，该系统采用大量并行智能体、对抗性审计以及后续的 Lean 4 形式化验证。论文、提示词、历次修订稿和形式化证明代码已在 GitHub 开源。不过，仅凭所提供的材料，GPT-5.6-Sol 的模型身份及相关重大声明尚无法独立核实。
本文来源：IT之家，仅供学习参考，版权归原作者所有。