（来源：上观新闻）
为应对Token🕛需求暴增，厂商🎳💄通过提价、优化工🌃程等方式进行缓解🇬🇷🇬🇼。不是三个独立工🚟🧡具的简单拼接🌌，而是一条打通🍇⭕的流水线：用Cl🏃♀️awGU🇲🇼🚝I-R🏧🦓L训练，🇬🇪♣用Cl🕡awGUI-🐸Eval🥐评测，用Op🇻🇮enCla🇻🇪🚳w-GUI部🏔署，端到端验证🍤👆。
不是所有App都🚷♐有AP⚗↙I🇸🇭👩👩👧👧。我们有几个🕜问题 ● 第一👩🦱🌧问：具👒身智能的🐟😐赛道，凭什么🇦🇬值得砸这么多钱？🚦 先回顾🧕🇵🇫下一下"🔟具身智🐅能"是什么🍰🐠。在长上下文检索🧽💄上，Opus 📴4.6评分🥯⛽能到78.3🍆👟%，Opus🇬🇹 4.7直接🤣🔃掉到32.2🏦%♉🐯。结合 L🍦LM 对代码☺和自然语言的理👆🐪解能力，🥭⚱FM-🌏Agent 大胆👩🎨🤸♂️泛化了霍6️⃣尔逻辑中的♍推理规则📸，让 LL😐👨❤️💋👨M 直🗨接基于自然语言👩🗯规约对函数的🐳正确性进行逻☺辑推理😾。
图丨基于🤶🚗自然语🎷言的代码🇲🇷♿正确性推理示例⛱🔳（来源：arXi🏋️♀️v） 如上图所💠示，FM-⭕❕Agent 逐段👍推理代🤹♂️码执行后的🤥🤜程序状态描🧿🌎述（注释部🚄😷分），即后置条🍭件，一直推👣🧨理到函数返回🇹🇹🦚，检查最终的程👨🍳序状态描述是🤹♀️🏬否违背了🇲🇱🤹♂️规约里对最终程序👨❤️👨状态的要求🦴🥅。比赛冲线🐦瞬间，“🇮🇸🚠荣耀·闪电”以🤽♀️🐳稳定而高效的步频🇰🇵掠过终点✔，计时牌定🚬格在50分✋🍀26秒（👨👧👦👩🦳净用时）🙈。
