（来源：上观新闻）
“我们📨希望有人帮我们搭🇧🇮🇧🇹个桥◽。当下的时代存🛋🐭在两类🇪🇭📟人群：一🍙🚳类是对AI有🇰🇪所了解的人🌩，另一类是对↕AI缺⛔👍乏了解2️⃣的人🕰🔨。” LeCun🇻🇳还对自己有🤜很清醒的🇲🇸认知，在他的 X🛐 中，“也别听🇶🇦我的”这🥩🤾♀️句被转发🏔🆗最多📥。
由于铁轨标准不🏃🌓同，货🏚🇳🇨运班列到了边境🚊口岸需要停下换🏪📯轨，耗费巨大时间🕛🥍成本和资🧾金成本📆☢。图丨自🧭上而下的规约生成🏉新范式（来📆😘源：arXiv↪🇬🇭） 在推📛理过程👥的可靠性方🇧🇾面，研📅究团队并不是🌏直接让 LL🥮🎿M 判断代码是🧥否正确，而是将🏳️🌈思维链（Chai🧖♀️n o🦍f Th👶ough🤹♀️🥧t）与🏭🥾霍尔逻辑的👡推理规则🇭🇹相结合，引导😛🐞 LLM 逐步💝推导每个代码块执🇿🇲行后程序状态所🇷🇼满足的性🕗👁️🗨️质，最终检查程序🉑状态是🎴否符合🔛“说明书”的🎺要求🇲🇱🤳。
ER 1.🖊6的核心升级围💥绕一件事🌸，让机🧯🌚器人真正「🇷🇪看懂」它🌪所处的环境🇰🇬。经历了多年越🐄🇸🇷来越巧妙🍋⏰的修补之后，研究❗♠者才明白：深度维💒🥳度的残差连接🇲🇦需要的不是更🍲好的系数，而🥽🙅♂️是被一种🇾🇹🇨🇱根本不😓国产综合精品一同的操作🇹🇯所替代： ⚜一种在序列维🇬🇱🗒度上已经🔒成功解决了🌶🔅同样问题💾📱的操作🐰。
