问小创
告诉我你的需求，我帮你从站内挑最合适的 AI 工具。
计算机科学泰斗、图灵奖得主高德纳（Donald Knuth）近日在个人短文中披露，AI公司Anthropic开发的大语言模型Claude Opus 4.6仅用1小时，就破解了他尘封30年、本人近期钻研数周仍未攻克的图论领域数学悬案。该事件引发全球AI圈热议，刷新了业界对大模型逻辑推理与结构化思维能力的认知。
在计算机科学界，高德纳是毋庸置疑的标杆级人物——他编写的《计算机程序设计艺术》被全球程序员奉为行业圣经，发明的TeX系统至今仍是学术论文排版的标准工具。这位坚持不用电子邮件、一生追求逻辑极致的老派宗师，近日却主动发文承认被AI震撼。
高德纳在最新发布的短文《Claude’s Cycles》中，公开了这次让他大呼“Shock”的经历。这道悬案可以追溯到30年前，属于图论领域的开放问题：要求在三维网格图中，将所有边弧完美拆解为三个互不重叠的哈密顿循环。近年高德纳重新拿出这个问题钻研，花了数周时间都没能找到完美解，于是他的朋友试着将问题提交给了最新版的Claude Opus 4.6。
很多人原本以为，大模型解决数学问题要么是碰运气蒙答案，要么是依赖暴力搜索枚举可能性，但Claude这次的表现完全打破了这种固有认知。
整个推理过程仅用时1小时，AI逐步推进解法：从最初的摸索试错，到第15次迭代时主动引入“纤维层”概念实现问题降维，再到第21次探索时灵光一现，用“蛇形构造”思路找到了符合要求的完美拆解方案。整个过程没有依赖暴力计算，也不是生搬硬套既有训练结论，完全是符合人类科研逻辑的结构化推理。高德纳在文中明确认可了AI解法的正确性，直言这个结果远超他的预期。
这次事件的分量，不止于解决了一道尘封几十年的数学题，更在于它出自高德纳这样顶级逻辑学者的官方认证。过去业界普遍认为，大模型的优势在于内容生成，复杂数学推理和抽象逻辑思考是它的天生短板，而Claude的这次表现，证明大模型的推理能力已经进化到可以辅助甚至推动顶尖基础科研的程度。
对于科研领域来说，AI不再只是数据处理、论文润色的辅助工具，未来很可能成为人类学者探索未知问题的固定搭档，帮助人类节省大量试错时间，在数学、理论计算机科学等领域突破人类脑力的天然局限。一向对新技术保持冷静观望的高德纳主动发声赞叹，也印证了一个新趋势：大模型的推理能力突破，正在实实在在改变基础科研的样貌。
本文基于公开信息分析整理，仅供参考。更多AI工具动态与行业解读，请持续关注本站更新。
滇公网安备 53252802528133号