（来源：上观新闻）
"我很少见到🧝♀️🤥一个开源项目能在🧭这么短的时间内🍓对这个水平的技术📯社区产生这🇲🇺👷♀️么大的🧜♂️🇦🇶冲击💫🇲🇿。（这组🇮🇷🧟♂️数字与Cere🛤🤥bra🔶s官方技术🐇🇲🇾博客中的描📚述一致🇹🇫⭕。
图丨基于自然语言🚻😐的代码正确🕹性推理示例（来✖🏬源：arXiv）🥗🍳 如上图🥮🍸所示，FM-🥟🇹🇭Agent 🇻🇪🔃逐段推🥠👨👧理代码执行后的🌵程序状态📋描述（注释部📨💃分），🇹🇴🥉即后置条件，💪一直推理🇨🇻到函数返回，检🔎查最终的🙍👭程序状🛢态描述◻🔊是否违背了规约🛰里对最终程序状态📉🏟的要求💤。
”因此，他后来围🚑📅绕运十所作的👨😊种种发🧲🇸🇲声，并不是🦝🧢因为自己曾🌴任运十🌺💭副总设计师💍而单纯为📗♨这一项目“鸣冤🔨”，而是作🇲🇭为新中国🏠🚕第一代航空人，➗🔚为中国必🛎🦉须拥有自己的大⌛飞机、必须走自主🌥发展的道路🐞⏱持续发声🇧🇻🧦。
