（来源：上观新闻）
图丨基于自然语👕⛏言的代码正确性📏推理示例（🕊🧮来源：a🐎rXiv🈹🍎） 如上图👁️🗨️所示，FM-📛🔬Agen🗨t 逐段推🗃理代码🗡😢执行后的程序状态👩🏫描述（注🏌️♀️🤽♂️释部分），即后置🕍条件，一🦡💚直推理到函数返回🍽🤩，检查最🇬🇩终的程序🇰🇭➰状态描述🚦🍕是否违背了↖规约里👮♀️🥙对最终程序状态🖍的要求🗞。
我和这几个人聊下🇸🇲🗂来，发现他们有一✖个共同点🐞🔹：动手的起点🥽🏠不是“vibe👨👧 coding💼 看起来很酷🏌”，而🇪🇪是“我有一▫个具体的问题没🦞🙊有被解决”🇩🇯。他要的是一📡台能长期拉📗⚓货、反复用🇦🇨、最好不要🛵轻易出事🐣👨🎨的太空货车🍗。两个样本摆在那儿👩🔬👭，信号很清楚；🇹🇷🍤一个靠卖To🙇🇸🇰ken赚🇦🇲溢价，一👼🎗个靠做订阅赚续🇳🇺🇮🇪777午夜福利理论电影网费，两条路都跑👨通了🇲🇻🥰。
