天气 
2026-03-07
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为奇数的情况，并得到了高德纳的严格证明。
猜你喜欢
2026-06-02
伊朗重申“所有战线”停火，黎以冲突“逼停...
首页 资讯 视频 直播 凤凰卫视 财经 娱乐 体育 时尚 汽车 房产 科技 军事 文化 旅游 佛教 国学 数码 更多 健康 公益 教育 酒业 美食 军事 > 军...
READ MORE
2026-06-02
伊朗重申“所有战线”停火，黎以冲突“逼停...
首页 资讯 视频 直播 凤凰卫视 财经 娱乐 体育 时尚 汽车 房产 科技 军事 文化 旅游 佛教 国学 数码 更多 健康 公益 教育 酒业 美食 军事 > 军...
READ MORE
2026-06-02
伊朗重申“所有战线”停火，黎以冲突“逼停...
首页 资讯 视频 直播 凤凰卫视 财经 娱乐 体育 时尚 汽车 房产 科技 军事 文化 旅游 佛教 国学 数码 更多 健康 公益 教育 酒业 美食 军事 > 军...
READ MORE
2026-06-02
“限制网约车司机驾驶时间”是对新规的误读
新华社北京6月1日电 题：“限制网约车司机驾驶时间”是对新规的误读 新华社记者李明辉、孙鹏程 《机动车驾驶人疲劳驾驶认定规则》6月1日起实施。连日来，“限制网约...
READ MORE最新发布
-
黎晓宏涉嫌严重违纪违法
国际新闻, 2026-06-02 -
伊朗重申“所有战线”停火，黎以冲突“逼停”美伊和谈
国际新闻, 2026-06-02 -
伊朗重申“所有战线”停火，黎以冲突“逼停”美伊和谈
国际新闻, 2026-06-02 -
伊朗重申“所有战线”停火，黎以冲突“逼停”美伊和谈
国际新闻, 2026-06-02 -
“限制网约车司机驾驶时间”是对新规的误读
国际新闻, 2026-06-02
