（来源：上观新闻）
过往两年内，🇱🇸我们不断🚰经历并且似乎已经📽😽习惯了这样的消息🧾：某科技巨头🛁宣布全🧷🕙球裁员几👉万人，👘🕙某初创公司因为🍰📉引入AI🦗而砍掉🚳了整个B🗺U，某广告🤤🏸公司用A😧🙅♂️I替代了部分➿设计师岗位…… 🦑在AI的侵门😋🏣踏户之下，最先感🎟🗡受到寒意的🇩🇴➖是文科类工作——🥽翻译、文🚱案、插画师、©📝配音师，那🐎些曾被视✏作创造性💈👩、审美性的岗位，🎋🔋正在被AI大🎒🇵🇦模型一点点蚕😹🇲🇱食🇲🇾。据SemiAna🦅lys🇦🇹is预测，今🥍📰年AI将占N😏3产能🦅的60%，而🤔明年将达到86%👨🦲。依我的理解，v🇹🇿ibe cod🏖🇫🇯ing 可以称之🎏🗳为“有眼力见”🇧🇳🖥的 AI 编程🚜。
今年是Ve♒ra Rubi🌼n，明年是🇩🇴🗾Vera Rub🈁🛠in Ult📀ra，🐭再之后💘◼是Feyn🔑man，再🦇下一年可🇿🇦🧥能是尚未命☂名的新产品🍑🤷♂️。图丨基于自然语🦟言的代码正确性推👨❤️👨理示例♥🎖（来源🥬：arX🐋iv） 如上🇮🇱图所示，FM-A😖gent 逐段推🎺理代码执行后🍧👨👧👦的程序状👂🇦🇪态描述（注释🇮🇹部分），🍶🥳密桃久久即后置🙋♂️🦉条件，一直👃🕦推理到函数返回🎅，检查🐀🙄最终的👨✈️程序状态描述🚣🧺是否违背了规约🏘里对最终程序状态🎆的要求✈🇧🇴。“为了🎓⚫快，大🥭🏴家可能会🇷🇪🇲🇼跳过前期试错🗼8️⃣、修正、❌🐡积累经验的阶段🧝♂️🦴。
