Claude独立攻克图论猜想,仅用31步!算法祖师爷高德纳震惊发文
震惊!震惊!
就在刚刚,Claude仅用31步,就独立攻克了未解的图论猜想难题。
写《计算机程序设计艺术》的算法祖师爷高德纳惊呼:「我不得不重新评估生成式AI在数学研究中的作用」。
在斯坦福的官网上,他本人发布了一篇原始论文。开头两个字,就是「Shock!Shock!」
论文地址:http://t.cn/AXcDdoTY
这道难题是高德纳为撰写《计算机程序设计艺术》提出的三维环形网格哈密顿循环分解问题,规模极大无法暴力求解,此前仅破解特殊情况。Claude 历经 31 次探索复刻人类科研逻辑,先试错多种方法,第 15 次提出纤维分解简化问题,最终找到核心规则,验证了奇数 m 的通用构造方法,后续由高德纳完成严格数学证明。
目前解法仅适用于奇数 m,偶数 m 仍无通用解,但此次突破意义重大:Claude 的解题过程和人类研究高度契合,标志着 AI 正式迈入数学这一核心智力领域,也催生了人类提问题、AI 探结构、人类做证明的新型科研模式!
