Claude仅用31步就独立攻克了一个未解的图论猜想难题。算法界的祖师爷高德纳对此表示震惊,并重新评估了生成式AI在数学研究中的作用。高德纳是《计算机程序设计艺术》的作者,也是图灵奖得主。

高德纳在斯坦福大学官网上发布了一篇论文,开头即表达了震惊之情。他在论文中提到,自己花了数周时间研究的问题被Claude Opus 4.6解决了。这个模型是由Anthropic公司在三周前发布的混合推理模型。高德纳表示,他需要重新审视自己对生成式AI的看法。

高德纳在《计算机程序设计艺术》系列书中准备了一道关于有向哈密顿循环的题,但一直未能解决。这个问题涉及在一个三维网格空间中找到三条长度为m³的哈密顿环,每条环覆盖所有边且互不重叠。此前,高德纳和他的朋友Filip Stappers已经找到了一些特殊情况下的解法,但通用解法一直未能找到。

Claude通过多次探索,最终提出了一个基于纤维分解的方法。具体来说,它定义s = (i + j + k) mod m,将整个图按s分成层结构,从而大大简化了问题。Claude还提出了一套简单的规则,称为“bump”规则,根据s、i、j的情况决定移动方向。这种方法成功解决了m为奇数的情况,并得到了高德纳的严格证明。
为了庆祝接到诺贝尔委员会的电话,88岁的理查德·罗布森教授打破了戒酒的规定。这位出生于英国、现任职于澳大利亚墨尔本大学的学者,用一种极为朴实谦逊的方式分享了他荣获2025年诺贝尔化学奖的心情
2025-10-09 23:42:0488岁诺奖得主为庆祝打破戒酒规定Anthropic周一发布了Claude 4.5 AI模型。这一最新版本能够进行更长时间的连续编码,在金融与科学任务上表现更佳。此举表明该公司正在加大在企业AI领域的布局
2025-09-30 10:56:00Claude4这几天,Claude Code在全网引起了巨大反响。地球首富马斯克宣布我们已进入奇点,起因是Midjourney创始人表示,圣诞假期自己敲的代码比过去十年加起来还要多
2026-01-06 18:39:35马斯克宣判