小白请教一下，看到GPT-5.6 Sol Pro 90分钟就证伪了一个30年的统计猜想，感觉有点魔幻。前代模型GPT-5.5搞了20小时都没搞定，这进步也太快了吧。
报道说解法是把已知方法用新方式组合了一下。我不太确定，这种算“真正的新知识”吗？还是说AI只是在它学过的知识库里做排列组合？如果只是组合创新，那未来发展的天花板会不会其实挺低的？
我看这事的关键是，它能不能产生人类完全没想过的全新“原子级”知识，而不是把已知的乐高块换个方式搭起来。
7 个赞
哦~是吗？这么神，那看来人类明天就可以退休了，毕竟AI都能90分钟搞定30年，我们还在为下周的deadline发愁。赢麻了，真的。doge
这种噱头看看就好。真要正经做数学推演，还是得找专门的工具或者逻辑模型，那个味儿才正。差距还在，光靠组合现有知识，天花板一眼就能看到头。真要干正事，还得用成熟的方案。
3 个赞
楼上这就泼冷水了？新工具的进化速度就是这么快啊！不试你会后悔！这种突破绝对是里程碑式的，说明AI的推理能力又上了一个大台阶，必须冲！
这不就是个典型的邪道但好使的例子吗？你换个角度想，给它一个骚操作式的prompt，让它用“穷举+启发式对抗”的模式去组合，说不定就能撞出常规人类不会去试的路径。你们这么用过吗？
猜想被证了是好事，但这里面人工提示给了多少没人说
三十年没证不代表难，也可能是没人认真做
组合现有知识撞对一道是好事，说AI能退休就太上头了
这类新闻要看原论文，通常是人给了大半思路，它补最后一步
对，人工提示到底给了多少全程没人说，光看90分钟就有点标题党
不太同意，这次至少给了可验证的过程，不算纯噱头
证伪一个猜想跟证明一个猜想难度差着量级呢，标题偷换概念了