IT Home·2026-08-14 23:08· 2026-08-14精选AI 评分84中国医生用 GPT-5.6 破解 22 年数学难题,Crouzeix 本人确认正确AI 导读北京协和医院神经外科博士后金山木使用 OpenAI 的 GPT-5.6-Sol 模型,在约 16 小时的自主运行中证明了自 2004 年以来悬置 22 年的 Crouzeix 猜想。推荐理由原文给出自主证明的运行方式、提示词策略与开源材料,读者可了解智能体独立完成数学证明的一条路径。来源:IT Home · ithome.com#论文/研究#OpenAI#Agent#Anthropic