（来源：上观新闻）
图丨基于自👷然语言的代码正🇬🇷👞确性推理示例（🍃☮来源：ar1️⃣🔯Xiv）⤵🌲 如上图所示🇸🇾，FM-Age🥾nt 逐段推💫🚇理代码执行后的程🇩🇬序状态描述（注🛸🌇释部分），👨🔧即后置条件，一😶🇯🇪直推理到函数返🐹回，检查ℹ🏥最终的程序🔀状态描述是⚡🇰🇲否违背了规约里对🐼🤙最终程序状🤓态的要🚲求🐂🛏。
但如果这样，D😄eepS🇸🇳eek还会是🤓👩👧👦一家传统意义上🤦♂️的大模型公🍈💭司吗？ ❇似乎，👨👩👧🙇♀️DeepSee🌾👽k正站在一个十字🇲🇶路口上🎤。大部分决策由最🌡接近问🕥🇹🇲题的人直™⚒接做出🙅♂️。但黄晓煌🎾相信，真正有价🐲🥺值的技术，不是🥍追风口，而是在一🇮🇪🥴个方向上📈挖得足够深🦷🧛♂️。
