88岁的图灵奖得主、计算机科学奠基人Donald Knuth（高德纳）最近发文，惊呼Shock! Shock!。 在他的短文《Claude’s Cycles》中，他记录了一件难以置信的事： 一个他研究数周、甚至追溯到30年前的三维图论开放问题，被Claude Opus 4.6破解了。 更关键的是，Claude不是靠暴力搜索，而是用“纤维分解”、“蛇形构造”等结构性思路—— 仅用1小时、31次探索， ...

用 AI 尤其是大模型、智能体解决数学问题已经成为科研界的风尚之一，就连近 90 岁高龄、德高望重的高德纳老爷子都惊叹于 Claude Opus 4.6 解决开放性问题的强大能力，直呼「Shock! Shock!」。 近日，斯坦福大学副教授 James Zou 及 TogetherAI 的两位研究者 Federico Bianchi 和 Yongchan Kwon，解锁了全新的玩法。 他们基于爱因 ...

昨天，计算机科学的活传奇、88 岁的图灵奖得主 Don Knuth，在自己的论文里正式感谢了一个 AI。这篇论文标题是《Claude's Cycles》，开篇第一句是“Shock! Shock!”，发布于 Knuth 在斯坦福的个人主页，于 2 月 28 日写成，3 月 4 日修订。Don Knuth ，1938 年出生，斯坦福大学荣誉教授，1974 ...

东京2026年2月5日 -- 卡西欧计算机株式会社今日宣布,已与职业滑板运动员堀米雄斗 (Yuto Horigome)达成品牌大使合作。通过此次合作,卡西欧将支持堀米雄斗的职业发展,并致力于在全球范围内提升G-SHOCK抗震腕表品牌的认知度,扩大用户群体。