GPT-5.6 Sol
凌晨的瓜有点硬。OpenAI刚放出消息，他们最新的GPT-5.6 Sol Ultra，用64个“分身”一起干活，不到60分钟，把困扰图论界半个世纪的“循环双覆盖猜想”给证出来了。这事儿有多难？简单讲，就是找一种画法，让一张复杂网络里的每一条线，都刚好被两个圈“套住”。数学家折腾了50年，只敢说某些特殊的图能画，普适性的解法一直没影。结果AI上来，直接甩出一份完整证明，逻辑严密，引用全是经典定理，目前圈内大佬们看完，挑不出毛病。最绝的是AI的解题姿势。不是单打独斗，而是开了个“云端研讨会”：64个智能体各走各的路子，有的玩代数，有的搞拓扑，还有专门的“纠察员”盯着别算错数、别偷懒用没证明过的假设。最后它们发现，只要搞定一种叫“立方图”的特殊情况，就能通杀所有图形。接着靠一套三维向量的算法，硬生生把这个问题给闭环了。以前觉得AI只会聊天、画图、写周报，这次算是露出了獠牙。它不是在模仿人类思维，而是在用人类难以企及的算力，暴力穷举所有可能的数学路径。这种效率，确实让人后背发凉。当然，严谨的数学家还在逐行验算。但这事释放的信号已经很明确：AI的战场，已经从“识别猫狗”杀到了“创造定理”。下一个被攻克的，会不会是千禧年大奖难题？证明文档和提示词都已开源，懂行的可以去GitHub围观，不懂的，记住这个凌晨就行。
发布于 安徽
分享
评论
赞
未登录
友善发言
评论
加载中
