GPT-5.6 Sol 攻关费马大定理 33 小时被系统强制终止
一次AI持续33小时的数学攻关被系统终止，暴露了OpenAI对模型能力的内部限制与外部期望的矛盾。
AI专家让GPT-5.6 Sol连续33小时尝试简化费马大定理证明，被OpenAI系统终止。终止原因引发猜测：资源限制、防止成功或技术bug。OpenAI研究员表示如果成功将是最好广告，但外界质疑其内部限制了能力。
正文摘录
他让 GPT-5.6 Sol 连跑 33 小时攻关费马大定理，被系统强制终止 编辑｜张倩 作为一个普通人，如果你把一道数学难题给到 AI，并一直让它「继续」，它有没有可能真的把这道题解出来，从而帮你赢得一大笔奖金，甚至改写数学发展进程？ 最近，菲尔兹奖公布，大家对于数学 + AI 的讨论非常热烈，相信也有不少人想象过我刚刚描述的「爽文」剧情。 其实，现实里也真的有人在尝试，但过程并没有想象中顺利。 最近，可逆计算、计算物理学顶尖专家 Michael P. Frank 发文表示，他给 GPT-5.6 Sol 设定了一个高难度研究目标：探究费马大定理是否存在比怀尔斯 - 泰勒证明更简洁的途径，重点放在专门的 Frey 曲线模性（Frey curve modularity）、一致无限下降法（uniform infinite descent）、算术 abc 型不等式（arithmetic abc-type inequality）以及一致低亏格商（uniform low-genus quotient）上；保持严谨的笔记，通过计算验证候选引理，并清楚区分已证明的结果与推测。  这个任务在后台持续运行了大约 33 个小时，消耗了大量计算资源。但最终，它被 OpenAI 系统强制阻止了。 GPT-5.6 Sol 在自己给出的事后分析中写到，可能的原因有两个：一是系统判定该会话占用了过多资源；