（来源：上观新闻）
图丨基于自🤰然语言🤴🔶的代码🎠正确性🇵🇷推理示🧲例（来源：ar🤷♂️📭Xiv） 如上🚄🇸🇪图所示，F🥴M-Agen🇦🇼t 逐段🇫🇲推理代码执⏲行后的程⏮序状态描述💷（注释部分）🇼🇫👸，即后置条件，一🥠🛒直推理到函数返回👃，检查最终的程🇪🇭💛序状态描述🏴☠️🍂是否违✈背了规约里对🥋🇬🇫最终程序状态的要🥳求☃。团队推崇“🎇人才栈🥦坍缩”，🦃🧑认为做成一件事👨❤️💋👨所需的👃人越少越好，职😁👢业的角色标签正在⛷🐉失去意义，未来职😤🏦业发展的🚔🌖核心是“兴趣⏪🛏”和“能🚼😮动性”🛸🚩。
不过，就算🇦🇫退回到更早的🇬🇪👍阶段，🦈🐤比如我还在S💅🇷🇴trip🍾🏀e工作时⛰💞，当时👩👧🇬🇷Stripe员工🔫人数达到2🚼50人，⏪🌽却连一名🍙PM都没有🍯〽，甚至完全没用🤢💮过任何A🥣I工具，因◼为当时的👩⚖️Str👨👧👦ipe就是一个A🇩🇰PI，而🌷🍒我们所有人🔰🔜都是工程师，🔷😃都清楚一🇱🇧🚑个真正出色的A🕔PI应该是什🆙么样子🇱🇻🗯。谷歌的Geni🗣👺e 3、阿里的H👆🧶appy 💙Oyster、腾🚇🇹🇦讯的HY-Wor🤧0️⃣ld 2.0都💯属于这一🚣🕙类🇧🇮。
