🐻
56.9K posts

🐻
@beardomination
熊与人的悲欢并不相通,所以我决定把你们全部挂树。小号:@RealFoodyCat

claude如此说是: 事实核查:这条推文至少有五处硬伤。 1)年龄错了。 Knuth生于1938年,今年88岁,不是86。 2)根本不存在"Claude搜索+GPT验证"的协作流水线。 实际过程分三个独立阶段、三拨不同的人完成的: 奇数m:Filip Stappers把问题喂给Claude Opus 4.6,约一小时、31轮探索后找到构造。Knuth本人亲手写的严格证明。 偶数m:Claude试了四小时后退化,Stappers原话:"In the end, it was not even able to write and run explore programs correctly anymore." 后来是新加坡的Ho Boon Suan用GPT-5.3-codex另起炉灶解的。 那篇14页论文:是匿名研究者Exocija "by pasting text back and forth between GPT 5.4 and Claude 4.6 Sonnet" 搞出来的更简洁的奇数构造证明,跟前两步是独立事件。 推文把这些压成一条流水线,纯属编造。 3)"高德纳承认作业毫无破绽"歪曲了角色关系。 Knuth不是验收AI作业的甲方。他自己写了证明,Lean社区的Kim Morrison做了独立形式化验证。Knuth原文说得很清楚:"Of course, a rigorous proof was still needed." 4)"学者转行当学术包工头"过度引申。 Knuth结尾的原话是请大家别再给他写信讨论这个了,因为他"absolutely must get back to writing"TAOCP。人家还在亲手写书。 5)Knuth那句感慨的完整语境被裁了。 原文是 "We are living in very interesting times indeed"——但紧接着就说 "please do not write to me with further thoughts about the topics considered here"。这不是什么豪迈的范式宣言,是一个88岁老人礼貌地说"行了我知道了,别再烦我了,我书还没写完"。 原文链接:cs.stanford.edu/~knuth/papers/…建议看完再转发。

为什么中国会出现张雪峰这样一个以辅导学生填报高考志愿为业的超级网红,而其他国家,比如美国、日韩,包括台湾都很少听说这类人。 根本原因是,只有中国有严重的、覆盖了绝大多数普通人的斩杀线,家长们都觉得,我家孩子一不小心报错专业,就会被斩杀,这是隐藏在中国人集体心理里的梦魇。 所以,我宁可花2万块钱,让我家孩子放弃梦想和个人兴趣,听一个不靠谱的大忽悠忽悠,以此避免被斩杀。 美国也有做类似工作的,叫College Counselor,帮孩子或成年人做职业规划的,但一来,这个职业主要是包装、锦上添花,也就是你家娃如果想上藤校,可以找他们,二来,这个生意也不大,远到不了张雪峰这个热度。因为,他们是来帮你进攻,而不是防守的,也就是,可以自我提升,但没有你的规划,我也就那么过,没什么可焦虑的。 但张雪峰不是,张雪峰走的是防守路线,告诉家长的是,万一报错,你这辈子就毁了,因为孩子背后有一条深深的斩杀线。

















