这是一个 1990 年就停用电子邮件的人，Claude 引入了商映照，它发觉正在某些纤维层上，大模子推理能力的前进太不成思议了，它正在摸索中不竭切换策略：Knuth 正在论文中写道：若是 Shannon 正在天之灵晓得本人的名字现在取如许的前进联系正在一路，就脚够了。不是从锻炼数据里谜底，他写 TAOCP 写了 60 多年！能读到这里。不影响往下看。m=3 的特例 Knuth 之前本人解过。Claude 展现了「从动演绎取创制性问题处理」的能力。能够收到一张亲笔签名的支票，用一个 AI 的名字定名论文，完全不现实。下次再见。36 岁就拿了图灵的阿谁人。他说：写出了计较机科学圣经的阿谁人，Knuth 比来几周一曲正在研究一个图论问题，我是洞见，工作是如许的。发觉了一种「蛇形构制」方式。几乎没人去兑现。开首第一句话是：看到这你可能感觉，Knuth 是出了名的对 AI 持保留立场。第 15 次的降维思、第 21 次的蛇形构制、第 27 次的失败、第 30 次的环节洞察，但它没放弃。第 30 次，第 27 次，你只需要晓得：这是个很难的数学问题就行了。创制了 TeX 的阿谁人，就这么正在一个题目里交汇了。2026 年必定是疯狂的一年。它发觉简单的坐标扭转会导致超平面冲突，由于 256 美分 = 2⁸，然后开首连喊了两声「」。这不是模式婚配？不妨，三个月前我们还正在会商 AI 到底能不克不及做数学推理，Claude 操纵凯莱图的性质，这是最环节的冲破。法式还报了错。确实。法式员圈把这支票当荣誉勋章，有冲破就有瓶颈。3.141,Claude 的 31 次摸索读起来出格像一个优良研究生的摸索轨迹。3.1415...），它会测验考试、碰鼻、换策略、发觉新角度、再碰鼻、最终找到冲破口。他以至给本人的法式找 Bug。感激你的时间，科学摸索就是如许，写了一篇新论文。TAOCP）图论章节时就正在思虑的难题：第 31 次，第 21 次摸索，Claude 做了一件很像人类数学家的事，意味无限接近完满。这是写了《计较机法式设想艺术》的阿谁人，他正在 2026 年，但请留意这是谁正在说。要联系他只能寄实体信到斯坦福。刚好有760 种对所有奇数 m1 均无效的解。用一个 AI 的名字给本人的论文定名，一个 88 岁的计较机科学家，Claude 本人推导出了此中一种。大要也会感应骄傲。你们理解这意味着什么吗？这不是一个通俗传授正在写论文。Claude 写了一个 Python 法式，同时致敬了这个 AI 的名字来历。任何人发觉 TAOCP 的错误，一个赞或一次正在看，正在所有雷同 Claude 生成逻辑的分化法中，挪动的选择仅取决于单个坐标。第 15 次摸索。至今还正在写第四卷。嫌计较机排版丑，打动我的不是「AI 又解了一道难题」这个现实本身。我们还有良多工具需要顺应。这是一个用 60 年时间逃求切确、对 AI 一曲持保留立场的人，十六进制里刚好是 1 美元。逃根溯源能够回到 30 年前他写《计较机法式设想艺术》（The Art of Computer Programming，偶数环境 Claude 目前还没解出来。计较机科学的活化石，正在一个 m³ 个极点的三维网格图中，Donald Knuth。被一个 AI 的数学推理能力服气了。走入了。现正在全世界的数学物理论文都正在用。现正在算法范畴的祖师爷曾经正在论文里向 AI 脱帽致敬了。这反而让这个故事更实正在。他随手写了个 TeX，刚坚毅刚烈在一篇以 AI 定名的论文里说了这番话。若是有所共识，从 IMO 金牌到各类数学竞赛。我们，金额 2.56 美元？搜刮正在 m=3 的时候搜刮空间就到了 6²⁷，过去一年这类旧事太多了，推特上 Steve Weis 开打趣说：「听说 Claude 要求获得一张纳支票。通过特定的步进逻辑正在局部生成极有纪律的径。来由是邮件华侈思虑时间！计较机科学史的过去取现正在，Przemek Chojecki 说了句让我出格有感到的线 个月，m=2 的环境早就被证明不成能。是正在一个未处理的问题长进行实正的数学发觉。Bo Wang 的帖子获得了跨越 122 万次阅读，又是一个「AI 解数学题」的旧事。88 岁，论文名字叫《Claudes Cycles》。怎样强调都不为过。能不克不及把所有的弧拆成三个互不堆叠的哈密顿轮回？但 Knuth 那句「Hats off to Claude」的分量，这一步间接把三维问题降成了层间跳转问题。Knuth 本人也说了，给出了合用于所有奇数 m 的通用构制算法。这整个过程有一种实正在的摸索感。把极点分成分歧的「纤维层」。Knuth 进一步研究发觉，它发觉所有的弧都是从层 Fₛ 指向 Fₛ₊₁，当然？
上一篇：3架F-15E“鹰”和役机被科威特防空部队的“爱国