AI突然搞定50年未解猜想

宣布旗下GPT一5.6 Sl Ultra模型事宜的一家公司, 在不到一小时的时间以内, 证明了“循环双覆盖猜想”, 这个图论难题困扰学界长达半个世纪之久, 现如今被AI轻易拿下, 这不仅仅是技术层面上的胜利, 更是对传统科研模式所产生的巨大冲击。

64个智能体分工协作

证明过程不是基于单一模型去思考, 而是启用了64个子智能体同时展开工作。它们对任务进行动态分配, 其中有的去尝试代数方面的思路, 有的着手构建结构进行归纳。这样一种大规模的并行计算, 使得人类数学家难以企及, 彰显了算力所带来的效率革命。

对抗验证确保严谨性

系统特意设置了“对抗智能体”, 其职责是找寻漏洞以及边界情况。提示词严格禁止联网搜索, 要拒绝不完整证明。虽说仅仅用了1小时, 这比预期的8小时快了许多, 然而这种自我纠错机制, 尝试去弥补AI在逻辑严密性方面的短板。

数学家评价褒贬不一

对于那份由英国曼彻斯特大学的Bloom教授所认为的证明, 其呈现出简洁漂亮的特点, 他指出, AI所具备的优势之处在于有着耐心, 能够持续不断地去尝试那些细微的变化, 并且不会产生气馁情绪, 然而, 他同时也对该证明未提及引用经典文献这一事进行了批评, 比如像1983年的关键论文, 而这正是当前AI生成内容所普遍存在的问题。

缺乏同行评审存疑

当下所表明的证明确实仅仅是以PDF格式发布的, 而且并没有经历过正式的同行评审。在历史进程当中, 存在着多次被宣称的证明, 然而均是因为其中存在漏洞而被撤稿。除此之外, 并没有运用Lean等相关工具来进行机器验证, 并且图论形式化库目前还不能够支持此类复杂的定理, 所以学界对此秉持着谨慎的态度。

成本与未来影响深远

完成从推理到得出结果的成本大概在数百美元到一万多美元之间范围。要是最终被证明为真实的话, 那将会是大语言模型首次凭借自身独立去解决维基百科所罗列出来的重大难题状况。在此之前所取得的成果大多都是人机合作的模式, 此次出现的突破极有可能改变数学发现的方式情形, 进而引发关于智力本质的全新一轮讨论情况。

AI会取代人类数学家吗