（来源：上观新闻）
图丨自上而下的规👑🍻约生成新范🌑式（来☢🚠源：ar🎉💖Xiv） 🇼🇫🇸🇩在推理🎚🇳🇦过程的可靠📓🌏性方面🚞👳，研究团队并💿不是直接让🏃♀️🚵♀️ LLM 判断🗜代码是🇨🇭否正确，而是将思🌙📳维链（Cha🍱🍤in of🚟 Th🕦ough🔥t）与霍尔逻👩👧💣辑的推理规🛵📜则相结合🤢，引导 LLM➖ 逐步推导每个代😪码块执行后程序⌛状态所满🏆足的性📂🥡质，最终检🐺查程序状🇸🇧态是否符合🐙“说明书”♑🇹🇻的要求🏋️♀️。AI 时代密集的⚔消息和工具的推出🍜🇲🇽很容易让人产🎛🍪生自己不会就☣要被淘🚒汰的焦虑❗，实际上，很多🐕人并不需要那🚈💥么复杂的🤭🥉工具去📎解决自己的问🌘🥺题🧝♀️🚛。
其次是AI没有🌛🎣特别强📏烈的‘善’的概念👨🔧😼、美的转📏化🇳🇷。但如果只针对这😰🔇类极客用户设⛪计，产🇮🇪🧘♀️品会变得晦涩😄🇸🇷难懂，就像刚才说🇧🇴↙的，得天天刷推特🍿才能学会使用🇳🇫。当然，♍🎫这并不意💯味着To⛵ken不重要👤🍸。技术输🆓🕗出与标准确立的🆚🐦背后，是全球核👨👩👦👦治理体系对中国🇮🇹透明度、安🆘⬜全性与责任⏫💭感的更高®🍷期待🍏🚙。
