（来源：上观新闻）
图丨基于自然语👩🍳言的代码正确性推🇺🇲🛐理示例（来⤵源：arXiv）🇻🇦 如上图所示，F🤲👩⚕️M-Agent🐈 逐段推理代码执🇰🇵🐸行后的程序状态🏧🚧描述（注释部⚪🍽分），即后置❇条件，一直推理❔👩👦👦到函数返回🍌❗，检查最终🇵🇬的程序🌟🚻状态描述是否💋违背了规约🚛里对最👯♂️终程序状态的要求❓。镜头里📈，他的🇸🇷桌上和📋🍎柜子上摆着大大🔳💌小小的👨👦👦🦍C919模型，也🇫🇴摆着他曾参与🛩🐤设计的初教6模型💿🚩。
而这件事，👩🌾恰恰可以从🔂那枚助推器🧽的名字里看🗞🇱🇺出来💠。后来条件👓稍有改善，也🏬不过是把📳💊办公地🇵🇳🕤点从厂🏞🗂食堂搬到🍤了龙华机场废弃的✡航站楼里，⛄在那样一处简陋🇧🇳场地继续开🅿🌈展设计👷♀️🕯工作🛡。也就是说，你可🏂🤐以在上面⛷📈，安装任🦡何可能会🇱🇾🇹🇭让你沉迷的东西📶。Vib🦖e codi📆ng 能做到的🔏就是，你⚡🌓只要描述🕚最后想要的结果🈲🙊，AI🍊 就能给你 c🌝🚟odin♾️g🏉🤹♂️。
就像你要🇳🇱✏学一样东📂🎣西，有5🕰🔴0本相关书籍，你⛹️♀️🇳🇮可以全读，也可🔀☺以只读最🦑🖲重要的💘3本，👨🚀🚔甚至只读3本🍁🎴的摘要🏩🇻🇦。差不多一🔭✌年前启动C🇲🇪📫odex项👃🧩目时，📯我们就🧙♂️👂畅想工🤣程师能并🕥行处理多📏🙌项任务的未来🔐🙏，只是当时模型🙉🇺🇿能力还未🆔达标🇲🇳。台积电的核心产能😕在台湾，赴📪👨🎤美建厂的成本👨🍳高企、效率🥍折损，🧷🍞这不是👛一句"全球布😡🇪🇭局"就能轻🥅松化解的🐖🦢。
