图灵奖得主震惊:克劳德仅用一小时就破解了克努斯数十年的数学难题

在计算机科学领域,鲜有学者能像图灵奖得主唐纳德·克努斯 这般完美诠释"逻辑"与"严谨"的理想。这位传奇学者不仅撰写了程序员圣经《计算机程序设计艺术》,创建了TeX排版系统,更以拒绝使用电子邮件闻名于世。而最近,人工智能却令他彻底惊叹不已。 在其最新论文《克劳德的环路》中,他惊叹于克劳德Opus 4.6系统 仅用60分钟就攻克了他苦思数周的数学难题——该难题的根源可追溯至三十年前。
这个令克努斯着迷的问题属于图论范畴:如何将三维网格图中的所有弧线划分为三个独立的哈密顿回路。当克努斯的同事将此问题提交给克劳德 时,出现了惊人的转折。该人工智能并未依赖预存解法或穷举搜索,而是展现出卓越的结构推理能力。
从初始探索开始,历经十五次尝试引入"纤维层"进行维度缩减,直至第二十一轮运用"蛇形构造"识别模式获得突破性洞见,克劳德 仅用三十一次迭代就开发出适用于所有奇数维度的通用算法。
最令克努斯 震撼的是克劳德 清晰透彻的推理过程。 该系统不仅生成可运行的Python代码(后经克努斯转换为C语言并验证),更展示了如何从错误中学习并重构问题。这种"自动推理与创造性解题"的能力深深打动了这位计算机科学先驱——这位曾对生成式AI持怀疑态度的学者,最终在文章结尾郑重宣告:"我向克劳德脱帽致敬!"
耐人寻味的是,这份致敬暗藏浪漫隐喻:克努斯提及的"克劳德 "既指当代AI模型,亦致敬信息论奠基人克劳德·香农 。
当这位88岁的计算机科学泰斗在数学的广阔天地中邂逅尖端人工智能,其意义远超难题的破解——它昭示着人机协作新时代的启幕。正如克努斯所言,人工智能已突破最坚固的窗棂,而前方的征程正等待着我们共同见证。
相关文章
Recursive Intelligence 如何在4个月内以40亿美元估值筹集3.35亿美元
初创公司Ricursive Intelligence的联合创始人似乎注定要成为联合创始人。首席执行官安娜·戈迪(Anna Goldie)和首席技术官阿扎莉亚·米尔霍塞伊尼(Azalia Mirhoseini)在人工智能界声名显赫,戈迪向TechCrunch笑称,她们正是那些“收到扎克伯格发来的奇怪邮件、里面提出疯狂邀约”的人工智能工程师之一。(她们最终没有接受这些邀约。) 两人曾共同在谷歌大脑(G
人工智能竞赛不会等待,TechCrunch Disrupt 的 25% 折扣也不会等待
目前每一位投身人工智能领域的创始人都在思考同一个问题:我们的发展速度够快吗?效率够高吗?TechCrunch Disrupt 2026 将让您与那些正在最高层面思考这一关乎存亡问题的行业领军人物共聚一堂。 10月13日至15日,在旧金山,来自OpenAI、英伟达(Nvidia)、Anthropic、微软等公司的领军人物将分享他们的见解,届时数千名初创企业社区成员将齐聚一堂,进行交流。限时优惠:结账
“钱文AI免费版”与机构版:揭穿高价写作骗局
6月25日,中央电视台播出了关于混乱的高考志愿填报市场的一则调查报道,引发了广泛的公众讨论。 报道画面显示,许多高中升学中介机构打着“十年教龄教师”和“教授”等头衔的旗号,收取4,980至12,980元不等的天价费用。 实际上,这些所谓的“资深顾问”往往是入职不到两个月的新员工,甚至是兼职的大学生。他们的“专业方案”都是通过免费的Qwen AI生成的,有些机构甚至直接将Qwen生成的内容加价转卖给
相关专题推荐
评论 (1)
0/500

在计算机科学领域,鲜有学者能像
这个令克努斯着迷的问题属于图论范畴:如何将三维网格图中的所有弧线划分为三个独立的哈密顿回路。当克努斯的同事将此问题提交给
从初始探索开始,历经十五次尝试引入"纤维层"进行维度缩减,直至第二十一轮运用"蛇形构造"识别模式获得突破性洞见,
最
耐人寻味的是,这份致敬暗藏浪漫隐喻:克努斯提及的"
当这位88岁的计算机科学泰斗在数学的广阔天地中邂逅尖端人工智能,其意义远超难题的破解——它昭示着人机协作新时代的启幕。正如克努斯所言,人工智能已突破最坚固的窗棂,而前方的征程正等待着我们共同见证。
Recursive Intelligence 如何在4个月内以40亿美元估值筹集3.35亿美元
初创公司Ricursive Intelligence的联合创始人似乎注定要成为联合创始人。首席执行官安娜·戈迪(Anna Goldie)和首席技术官阿扎莉亚·米尔霍塞伊尼(Azalia Mirhoseini)在人工智能界声名显赫,戈迪向TechCrunch笑称,她们正是那些“收到扎克伯格发来的奇怪邮件、里面提出疯狂邀约”的人工智能工程师之一。(她们最终没有接受这些邀约。) 两人曾共同在谷歌大脑(G
人工智能竞赛不会等待,TechCrunch Disrupt 的 25% 折扣也不会等待
目前每一位投身人工智能领域的创始人都在思考同一个问题:我们的发展速度够快吗?效率够高吗?TechCrunch Disrupt 2026 将让您与那些正在最高层面思考这一关乎存亡问题的行业领军人物共聚一堂。 10月13日至15日,在旧金山,来自OpenAI、英伟达(Nvidia)、Anthropic、微软等公司的领军人物将分享他们的见解,届时数千名初创企业社区成员将齐聚一堂,进行交流。限时优惠:结账
“钱文AI免费版”与机构版:揭穿高价写作骗局
6月25日,中央电视台播出了关于混乱的高考志愿填报市场的一则调查报道,引发了广泛的公众讨论。 报道画面显示,许多高中升学中介机构打着“十年教龄教师”和“教授”等头衔的旗号,收取4,980至12,980元不等的天价费用。 实际上,这些所谓的“资深顾问”往往是入职不到两个月的新员工,甚至是兼职的大学生。他们的“专业方案”都是通过免费的Qwen AI生成的,有些机构甚至直接将Qwen生成的内容加价转卖给





首页






