首页财产ai正文 他让GPT-5.6 Sol连跑33小时攻关费马年夜定理，被体系强迫终止 菲尔兹奖宣布后，数学与AI会商强烈热闹。Michael P. Frank让GPT-5.6 Sol探究费马年夜定理简便证实路子，运行33小时被OpenAI体系强迫制止 2026-07-29 13:27 ·呆板之心 呆板之心 呆板之心 AI投资人解读· Michael P. Frank让GPT-5.6 Sol探究费马年夜定理更简便证实路子，运行33小时后被OpenAI体系强迫制止。GPT-5.6 Sol过后阐发多是占用过量资源或者OpenAI以前测验考试掉败不想再华侈算力，其虽做了不少事情但未患上出证实。· 有人认为OpenAI藏着掖着怕被抢风头或者担羁系贫苦也有人指出多是模子通例安全机制或者bug致使。总结：这次事务激发对于OpenAI制止模子运行缘故原由的多种预测，触及贸易好处、羁系和技能层面，其制止举动暗地里念头有待进一步探究，对于相干AI运用成长也有必然影响。
作为一个平凡人，假如你把一道数学难题给到 AI，并一直让它「继承」，它有无可能真的把这道题解出来，从而帮你博得一年夜笔奖金，甚至改写数学成长进程？
近来，菲尔兹奖宣布，各人对于在数学 + AI 的会商很是强烈热闹，信赖也有不少人想象过我方才描写的「爽文」剧情。
实在，实际里也真的有人于测验考试，但历程并无想象中顺遂。
近来，可逆计较、计较物理学顶 尖专家 Michael P. Frank 发文暗示，他给 GPT-5.6 Sol 设定了一个高难度研究方针：探究费马年夜定理是否存于比怀尔斯 - 泰勒证实更简便的路子，重点放于专门的 Frey 曲线模性、一致无穷降落法、算术 abc 型不等式以和一致低亏格商上；连结严谨的条记，经由过程计较验证候选引理，并清晰区别已经证实的成果与推测。
这个使命于后台连续运行了约莫 33 个小时，耗损了年夜量计较资源。但终极，它被 OpenAI 体系强迫制止了。
GPT-5.6 Sol 于本身给出的过后阐发中写到，可能的缘故原由有两个：一是体系判断该会话占用了过量资源；二是 OpenAI 以前已经经用近似模子测验考试过这个问题但掉败了，此次不想再华侈算力。
Michael P. Frank 好像附和 GPT-5.6 Sol 的这一阐发。
此外，GPT-5.6 Sol 还有坦诚陈诉了这 33 小时所做的工作，焦点是：做了不少扎实事情，把许多「听起来可行」的捷径酿成了可验证的切确陈述，然后逐一证伪或者解除。产出是一张「此路欠亨」的舆图，而不是证实自己。建议就此打住。
对于在 OpenAI 的这类做法，还有有人给出了其他可能的解读：OpenAI 可能于藏着掖着，不让模子随意解决超等牛的数学问题，怕被他人抢了风头，或者者想本身拿去吹法螺。这就给各人提了个醒：假如之后太依靠他们，就等在把「甚么能被发明」的权利全交给他们一家了，这很伤害。
但很快，OpenAI 高级研究科学家 Noam Brown 就站出来指出了这一说法的分歧理性，他说：「要是有人只是输入一个 continue（继承），就用咱们的模子解决了千禧年年夜奖难题，然后拿走 100 万美元奖金，这对于 OpenAI 来讲才是最 好的告白，没有比这更好的了。」
听起来颇有原理，但辩驳者认为，开放顶 尖能力给用户确凿可能带来短时间宣传收益，但持久看会减弱 OpenAI 于 AI 竞赛中的领 先上风。于多玩家竞赛情况下，保密 / 内部优先利用强模子来加快自家研究，比让用户「争先」解决年夜问题更主要。而一旦能力变患上「人人可用」，宣传价值就会年夜幅降落。
此外，近来的羁系风浪也让 OpenAI 有理由生存实力。假如用户用公然版解决了高难度数学问题，就等在公然证实「这模子实在很强」，反而会引来羁系贫苦。这类环境下，决心对于外提供弱化版模子，而内部保留超 强版本听起来是个合理的做法。
不外，也有人从技能层面指出了另外一种可能性：于 codex-cli 里，「goal blocked」的意思是模子于持续 3 个推理轮次（turns）里重复撞上统一个限定 / 拦截点（blocker）。以是使命被构造多是模子运行时的通例安全 / 避免卡死机制，而不是针对于难题的非凡拦截。
还有有人说，这可能就是一个 bug 致使的。详细来讲，5.6 版本的 Sol 于永劫间运行使命时有个烦人的 bug，姑且解决措施是：切换回 5.5 版本，压缩一下上下文，用 5.5 继承跑几分钟，然后再切回 5.6 版本的 Sol。「假如你想保留统一个会话（session），就会卡住出不来。」
你怎么看？接待于评论区别享用 AI 霸占难题或者被它卡住的履历。
【本文由投资界互助伙伴呆板之心授权发布，本平台仅提供信息存储办事。】【免责声明】：本文不组成任何投资建议。市场有危害，投资需审慎。若有任何疑难，请接洽（editor@zero2ipo.com.cn）投资界处置惩罚。
-lehu乐虎88国际