（来源：上观新闻）
João Mo🙀ura🛌（乔·🥝莫拉）， 🍦是Cr🦛ewAI的🇬🇶🇨🇾创始人兼🍠🐉CEO， 巴西人📁，现居旧金🇬🇪山👒。这场看似🌋两家企业广🗣🥔告语的争夺👨🎓⬇，背后实↕则是关于🇬🇭🌹空调行业使用“🔩铝代铜”的讨论🙈。算力在📿🆔从云端向终端下🎪沉，而终端正是🆚Arm深耕多年、🎞🆚近乎垄🇸🇸💶断的主场⏭🧞♂️。
图源：网🚏络 真正值得🔻关注的在水下🧑。图丨自上而下👩🚀的规约生成新范式🇩🇪🕗（来源👏：arXiv🧹➿） 在推理过👾🇲🇴程的可靠性方面🐔，研究团队并不是👩❤️👩💘直接让 🇿🇲LLM 判断代码🇲🇼是否正确，而是将👰👛思维链（C🏭hain👨👦🔭 of Tho♑🚨ught）与🇲🇫🧙♀️霍尔逻辑的🎶推理规则相结🔤合，引🗡🚉导 LL📔M 逐步推🥂导每个代码🍔块执行后程🚏序状态所🇲🇭🎣满足的性质，最❕终检查程序状态是⌨🐦否符合“说明书🦉”的要求🕢🔽。
虽然有众多机器🇸🇬人行业资深🥽企业参赛🇦🇴😂，但令人万万没有🛳🐁想到的是，💆♂️🇻🇬首次参赛的😘🌪荣耀旗下机器人😊“闪电”凭借🚮🅱50分26😂秒（净🔬用时）的成绩（🌜🌿人类半程马拉松🍅🔛世界纪录是56🎷分42秒）↙激情欧美综合获得冠军，而去年🐿🍪首届比赛🧴🇬🇼冠军的成绩🧠📪是2小时⭐激情欧美综合40分⏏🧑42秒🇦🇮。原因其实大🇽🇰🇮🇹家已经不陌🇱🇸🕊生了：🚅新增产能🇸🇽⛔优先流向了 🇵🇲AI🐞👄。
