（来源：上观新闻）
图丨自上而下的规🇨🇷🇵🇫约生成新📦范式（来源：🏌arX🏙iv） 🙃👩🍳在推理过程的可靠⚪🤲性方面，研究团队🦎🉐并不是🌠直接让 LLM🥦 判断代码是否🇧🇭♨正确，而是将思维👩👧👧👩🌾链（Ch🐛🇨🇼ain of🌲👂 Tho🇦🇴🔆ugh🕕t）与霍尔逻辑的🚇🇭🇺推理规则🤽♂️相结合，引导 L🥔⚫LM 逐🙅🔁步推导每个代🏸🍻码块执行🤶🇯🇪后程序状态所满足📲🇭🇰的性质，🇨🇷📂最终检查程序😾状态是否符🔟合“说明书”的要*️⃣🖤求®。
话题也🎭👶从早期的提🍂示工程，延🏉伸到上📏🧪下文工程，再到🤯👨💼当下逐渐🥚受到关注🥝的“驾驭工程”🌼🕤（Harne⏪📳ss 🍄🧟♀️Engineer👩🚀🌡ing）🏕🍕。2017年👲🙂10月，作为在沙🕖🎮特利雅得💿召开的👩🎨🔫“未来投😟资计划峰会✋🔹”的座上宾，他🏪🇳🇴说：软银愿景基❔金投资的主要方🧚♂️向，是AI🔉♊。
