Claude以31步攻克图论猜想，高德纳盛赞AI推理里程碑

Anthropic旗下大模型Claude近日实现重大突破：仅通过31步逻辑推导，独立攻克了一道悬而未决的图论猜想难题。这一成果引发全球科技界震动，计算机科学泰斗、《计算机程序设计艺术》作者高德纳专门发文表达震惊与赞叹，标志着AI在自动推理及创造性数学问题解决领域抵达全新里程碑。

当计算机科学泰斗高德纳罕见公开发文，用“震惊”形容某一项AI成果时，整个科技圈都意识到，这不是一次普通的技术迭代，而是AI在核心能力边界上的又一次跨越。

图论猜想一直是数学领域中极具挑战性的研究方向，这类问题不仅需要扎实的理论基础，更要求研究者具备突破常规的创造性思维能力。此前，AI在数学领域的贡献多集中在计算验证、公式推导辅助等环节，鲜少能独立攻克未经证明的猜想。

而Claude此次仅用31步完整逻辑链，就完成了对目标图论猜想的严谨证明，每一步推导都符合数学逻辑的严谨性，甚至在关键步骤中展现出人类数学家未必能快速想到的巧妙思路。这一成果打破了外界对“AI只能做重复性任务”的刻板印象，证明大语言模型在复杂逻辑推理和创造性问题解决上的潜力远超预期。

高德纳的反应之所以分量十足，源于他在计算机科学领域不可撼动的地位——作为《计算机程序设计艺术》的作者，他的著作被视为该领域的“圣经”，其观点几乎代表了行业的风向标。