（来源：上观新闻）
图丨从左至右分别💁♂️💤是：王🇺🇲肇国、😮🎽陈海波和丁浩然🧙♂️（来源：受🥣🆗访者）🤛🇩🇰 跳出“将错就〽错”：AI 开始🇹🇷🌧从需求🤧🎌验证代码 ☠那么，☃🇭🇲FM-Agen👨❤️💋👨t 是✍👬如何将形🐴式化方法用👩于大规模📆😦系统的？🖼🐞要理解🇹🇯这个问题，我🥁🇳🇷们得先回溯到图🇧🇯灵奖得主托⏯🇪🇨尼·霍尔（T🇨🇾🚬ony 🕣🌯Hoare）早🌞📝在 20 世纪🔅 60🏏 年代为代码🍑验证指明的👑方向——💀组合式推理（C🛩omposit⤴☕ion🏡🈷al Rea👖soning）☠。
当它们渴望🛐😽存在，🎛🐒并且有自己的🍭商业计划🗄、专业🍤🏗技能和热情时——🕳显然它们必须本身🔞💤具备一些能力🇨🇭。YC 紧接🦅着就出了一期👡播客，专门讲 ♒vib📪e cod😃🆓ing 为什🐅么会成为主旋律🥇🗝，他们的合🎂🚋伙人在播客里🖋➿说，YC 当季⛎🍻度投资的项目里面🎈👩🦳，四分之🇸🇿一的公司🤥🇹🇴 vibe c✴🎽oding 占🧬比达到了 95%👨🦲甚至以上😻👍，而且这些公司💭的创始人自己都是🔧计算机出身🐓🙍，因为他们更🥖😞确切地知道如何形🚐容自己的🤵需求和🏈🕝修改代🇷🇸码，他们反而更乐💟意用 v🇵🇹🎆ibe 🔨codi🚶♀️ng 🥌👨🦰去提效⛑☄。
