（来源：上观新闻）
为了解🍙决这一问👆🍴题，FM-A🦘🧟♀️gent🧹 提出🥅了新方🚗🥚法：既然🇭🇹函数自己👲💲的实现可🕧能会骗人，🐇🇹🇭那就去问函数的“🙈🛌上级”♌——那些👨👧👧调用它🇰🇭◾的函数🥏。这不是性格差异👖🌔那么简🎧🏩单7️⃣。4月16🕞💈日，亿欧汽车受邀🚶♀️前往北京🙅♂️🧸人民日报社报告🐋🔎厅，参加欣☦🔹旺达动力举办📐的首届📉✍技术日📛活动👥。
图丨自上而下的☺规约生☪🍗成新范式（来源🥪：arXiv🍲🙁） 在推😳☸理过程的可靠性方⚾面，研🥗究团队并不🗣是直接让 LL🧸M 判断代码是➰否正确，而是将思💢🥾维链（Chai🇨🇼n of Th🗑🤑oug📭🌑ht）👜与霍尔逻⚗🦙辑的推理规🏆则相结合ℹ🇺🇲，引导 🍤LLM 逐💙🦴步推导每个代码块🥬执行后程🌡序状态所满足的性👩👩👧👦🚂质，最终检查程序🙋状态是否符合🐎“说明书”的🧑🏸要求🇷🇸。
通过打🥬💮造所有这些项🇹🇴🤧目，他实际上👀📢让这一愿景得以实🇳🇮现了，🍛🤙也即我们如🦄🕸今用来❓筛选信🤸♀️息的“技🧫能”和“命令行🚂工具”这个思路，🌿🎨这就是我🇸🇬们所使用的C🇦🇫🐅oding 💺Agent方式🇨🇳。而是谁的能力排🕚序更适合自己🦛。那时他被工作🏟人员和记者围在中🏫🇩🇰间，背后的大屏🛳幕正在播放央🇳🇿🇩🇰视的首飞直🍉🇸🇦播，画面恰📭😸好切到了关于📠🏙他的素材🇻🇦。
