（来源：上观新闻）
图丨基于自然🇬🇭语言的代🦌🥦码正确性推理示例🇨🇮（来源：arX🥎🐦iv） 如上🎗⚖图所示，FM-A🇮🇸gent 逐📮段推理代码执🎑行后的程序👙状态描述🇸🇿（注释部分🇧🇬🇯🇪），即🇳🇵🦆后置条件，一直😐推理到函数返回，🚇检查最终的程序📀状态描述是😛🥊否违背了规🐫约里对最🇹🇩🔎终程序状态的🏴🏍要求🇫🇮🥑。我是故意👙的，我需↔🙆要确保我🇬🇺们的整个供🇮🇶应链——无🚽论是上游还🏫⛵是下游——🇧🇳🌬都了解正在🧵🌴发生的变化，理😛📙解这些变化为什🇨🇻么会发🇱🇷🥡生、何时发生以🇮🇳及规模🌔🆒多大，并🤶能像我📼🧥一样系统✌😀性地推理出来🌃👻。
他也承认了⛲一个现🏃🛡象：为🇸🇩何An🍴🗄thro🇸🇭pic选择🏊♀️🚳了谷歌TPU而非🇰🇼英伟达？他解释说🔺，这背后是商业🇲🇻🙉投资逻辑，谷🐦👩🦲歌和亚马逊向An🇭🇺📔thro🔣pic投入了数十👦亿美元，芯片使🇧🇶用只是投资🏢条款的一部分💴。我喜欢那个想法🇱🇧，我觉🦒🇬🇶得它正在成为现🥝📳实🚿。梁文锋过去三👔年一直说，幻🌌方赚的钱够D🔥eepS🔈🌅eek烧🏴。当然，这些问题店📌铺应该是包含主站🌥🇮🇩电商和🛣京东外卖一起🦝🍜，但不影响上📤面的结论🤾♀️💲。
