Category: 资讯

莫拉维克悖论是什么？ 莫拉维克悖论（Moravec’s Paradox）是人工智能与机器人学中的一个重要观察结果。 一句话总结 “对于人类来说简单的事情，对机器却很难；而人类觉得复杂的事情，机器却往往很容易。” 悖论的由来 由 Hans Moravec、Rodney Brooks、Marvin Minsky 等人在 1980 年代提出 他们注意到：计算机能轻松完成逻辑推理，却难以感知与运动：让计算机进行高等数学、下棋、逻辑推理等任务相对容易；但让计算机像人类一样“感知世界”和“移动身体”——比如走路、抓取物体、识别人脸——却非常困难。 为什么会出现这种现象？ 进化时间差 人类的感知与运动系统经过数亿年进化，极度复杂；抽象思维是最近几千年才发展出的新能力。感知与运动能力（比如视觉处理、走路、抓握）是人类在数亿年的进化中逐步发展出来的，极其高效而复杂。抽象逻辑和符号推理（比如数学、象棋）则是人类近几千年才发展出的“新技能”，反而对人类来说相对“费力”。 神经资源分配不同 大脑的大部分区域用于处理感知与运动，只有小部分用于逻辑与推理：大脑皮层中，有大量区域用于视觉、听觉、运动控制等感知与行动；相比之下，用于抽象思维的区域相对较小。 我们低估了“本能”的复杂性 比如走路、看东西、抓杯子——这些能力虽然自动完成，但对机器来说极其复杂：因为感知与行动是无意识自动完成的（比如：走路时你不需要思考每一步如何移动），人类通常低估了这些任务的复杂性。 经典对比案例 任务 人类 机器 玩象棋 难 容易（如 …

近日，苹果机器学习研究团队发布了一项引人关注的研究，指出当前所谓的大型推理模型（LRM，如 OpenAI、Anthropic、Google 等推出的模型）在面对难度不断提升的逻辑类问题时，会出现准确率骤降至 0、推理努力减少的现象，表明这些模型并没有真正具备稳定的“思考”能力。 研究背景与核心发现 实验设计：复杂性可控的逻辑谜题 研究团队采用了像 河流过渡 和 汉诺塔（Tower of Hanoi） 等经典谜题，通过可控手段系统增加问题复杂度，同时观察模型的“思考过程”和最终结果，避免传统数学或编程基准可能的数据泄露问题。 苹果机器学习团队最新发布研究，指出当前大型推理模型（LRM）在面对高复杂度逻辑题时，准确率骤降至零，且推理过程中的计算量急剧下降，表现出“放弃思考”的现象。 研究用经典谜题如河流过渡和汉诺塔，通过逐步增加难度控制变量，观察模型的表现和推理行为，规避了训练数据泄露的影响。 结果显示，低复杂度时普通大语言模型LLM表现更好，中等难度下推理模型依赖“链式思考”提升表现，但高复杂度下所有模型准确率急剧崩溃。 模型推理能力的“崩溃”与“偷懒” 在复杂度临界点，模型的有效 token 使用量明显下降，表明模型在完成部分步骤后“停止推理”。在问题复杂度接近崩溃阈值时，这些模型伴随着有效 tokens 使用量骤降（即前几步还在思考，後面却“偷懒”了），表现出类似“放弃继续解题”的行为 。 即使研究者直接给出解题算法，模型仍无法有效利用，说明其并非真正理解算法逻辑。为了验证模型是否真无法理解算法，研究者在汉诺塔问题中提供了解题算法，但这些模型依然无法提升准确率，表明它们并不能用“听懂并执行算法”的思维方式，而是纯粹靠训练数据中的“模式匹配” 。 研究实验示意表 复杂度等级 模型类型 表现趋势 …

今天第一次把保时捷卡宴送去车厂做全面保养，总共花了318英镑（其中265英镑是保养费用，另加20%的增值税）。 两三个月前，本来想着在这车做MOT年检的时候一块把保养做了（我一般都这样省事），只不过那天碰巧车厂停电了很久，没有时间做保养，只能先把MOT年检过了。 车厂老板检查后告诉我：前刹车片磨损了80%，后刹车片磨损了85%，估计最多还能再撑几个月，之后就必须更换了。他建议我提前做好准备。 正好我的车前部雷达感应器（Sensor）不知什么时候因为轻微碰撞掉进车体内部了，现在只能临时往那个圆孔里塞些纸巾，避免它一直发出“哔哔”的警告声。 老板说他看得到感应器卡在里面，但手伸不进去，必须把前杠（bumper）拆掉才能修复。这项工作比较复杂，大概要一天时间。他建议我下次更换刹车片时一起处理。 刹车的工作原理 刹车系统的核心原理，是通过刹车片压住刹车盘，产生摩擦力来让车轮减速或停止。 当你踩下刹车踏板时： 刹车油推动刹车卡钳 卡钳把刹车片压在旋转的刹车盘上 摩擦力使车轮变慢，最终停止 这个过程每次都在消耗刹车片的厚度，时间久了自然会磨损。 类比理解 刹车片 = 橡皮擦 刹车盘 = 黑板 每次刹车，就像用橡皮擦黑板，橡皮会慢慢变小，黑板时间久了也会有磨痕。 刹车片和刹车盘都会磨损 虽然刹车盘是金属材质，但长时间使用后也会磨薄或产生沟槽。 刹车片： 材质较软，是主要的耗材 每次踩刹车都会摩擦并消耗厚度 正常寿命为 3 万 ~ …

今天和媳妇约了会，大娃跟着学校去了法国旅行，二娃参加他同学的生日派对（在剑桥Leisure Park打保龄球）。刚好有两个小时空闲时间，于是我们把车停在了Hills Road，然后找了这些网红店。 平时很经常路过Hills Road，但是都没注意到这家小店，直到朋友推荐这家面包甜点咖啡店：Maison Clément Maison Clement Bakery and Patisserie 创始人故事 Maison Clément 是位于英国剑桥的法式手工面包与甜点店，以其正宗的法国风味和高品质的烘焙产品而闻名。自2017年在 Hills Road 开设首家店铺以来，Maison Clément 已成为当地人和游客喜爱的“剑桥小法国” 。2019年，他们在 Newnham 的 Derby Street 开设了第二家分店，进一步拓展了其影响力 。 创始人 Clément …

程序员的未来？Vibe Coding + AI 一起上！ 借助 AI 快速开源了三个小工具 最近，我利用 ChatGPT-4o 和 o4-mini 快速开发并开源了几个小工具。起因其实很简单——每次想转换 YAML/JSON 或进行 Base64 编码时，我总是得去 Google 搜索在线工具。时间一久，我不禁开始思考：既然每次都要用，为什么不自己动手实现一个呢？正好我也在学习 React，把这个过程当作练习岂不是一举两得？ 于是我开始“扮演”产品经理，向 ChatGPT 提出需求，它很快就为我搭建好了基础框架。包括项目结构、CI 工具（单元测试、ESLint——后来我换成了 Prettier）、README 文档，甚至是 GitHub Actions 上的自动化测试和部署流程，全部一气呵成。 …

“折腾一个月，关税无事发生。但是巴西得到了大豆订单，澳大利亚得到了肉类订单。东南亚和东盟得到了转口贸易中国得到了前所未有的外宣声望和内部团结，公知和maga得到了耳光。马斯克得到了教训。甚至加拿大都得到了民族自尊心。特朗普也没白忙活，和他的朋友们含泪赚几百亿。” 中美似乎在贸易关税上达成一致，各为10%。这下似乎牛市来了，不过二饼（以太ETH）还是很疲软。 蔡正元：中国大陆这次面子里子都赢麻了。赢到了让全世界刮目相看，因为看多人都跑到华盛顿去下跪。中国大陆不用。贝森特你要谈就到瑞士来谈，我刚好路过瑞士，有空找你谈，你最好把方案带着来，我们就一次来敲定，所以，中国没有移樽就教，而是贝森特代表美国移樽就教，所以在面子上面中国赢麻了，在里子上面，一个多月而已，一切回到解放前，美国全线溃败，他本来以为用关税政策可以打击中国大陆的贸易，没想到刀刀都刺向自己，中国不能说毫发无伤，但至少皮肉之伤挺得住啊，你美国是被打得鼻青脸肿，证实美国在这次压力测试里面，美国经不起和中国脱钩/De-coupling，因为你们没货。所以中国也经过这次的压力测试，算是挺住了。 BTC 第一次突破 10 万美元时，ETH 价格为 4000 美元。 BTC 第二次突破 10 万美元时，ETH 价格为 3900 美元。 BTC 第三次突破 10 万美元时，ETH 价格为 3700 美元。 BTC 第四次突破 10 万美元时，ETH 价格为 …

我媳妇在剑桥的巴山（Bar Hill）有一套房子出租/Buy to Let，这房子是我在2022年买来送她的。结果她完全不管，每次出了什么问题都是中介直接找我。每当接到房屋中介的电话，我血压都上来了，因为十有八九都是房子出状况了。 之前的租客在这套房子里住了三年，合同是一年一签。前两年我稍微涨了点房租：第一年涨了100英镑，第二年本想再涨100，结果租客砍价只涨了50，我也接受了。今年到期我打算再涨100，但租客表示最多只能接受涨25。原本我想着还能再谈谈，但没想到租客直接说不租了，要搬走。 后来我通过中介表示25英镑的涨幅我可以接受，但租客已经下定决心要搬了。 租客搬走，对房东来说是要承担不少额外成本的： Council Tax（房屋税） 这项费用（房屋税）本来是由租客承担的，但如果房子空着，那就由房东来付。政府是按照每天晚上的房屋状态来计费的。比如，如果租客当天搬走，那天起就是房东交税；反之，如果租客当天搬进来，那天起就由租客交税。因为新租客是5月1号才搬进来，前一周房子空着，所以这段时间的市政税都得我来付。 如果房子空着超过1年，房东则要多交50%的房屋税，如果空着超过2年，则要多付100%的房屋税。 房屋清洁 新租客搬进来之前，房东通常需要请人彻底打扫一遍，这一般也要几百英镑。 中介费用 每换一次租客，中介都要重新起草合同，还要做各种手续，也是一笔不小的费用。 说实话，现在有点小后悔。前租客说最多能接受1600英镑的月租，我没同意，结果他就搬了。现在新的租客也挺难搞的，一来就得付中介费，还要打扫卫生，再加上一周的Council Tax，前租客是4月23号搬走，新租客5月1号才入住，里里外外折腾下来，净亏了好几百英镑。都是些摩擦成本，费钱又费精力。 新租客搬进后第一个月的房租会被中介扣掉很大一步分额外费用：Tenancy Setup （594英镑） 加上 2周的房租（532英镑），不过在我的强烈不满下，中介答应只收我们一周的租金。 本文一共 686 个汉字, 你数一下对不对. 每次换租客都有摩擦成本. (AMP 移动加速版本) …