（来源：上观新闻）
文｜《中国企👅业家》记者 见🕴习记者 孙欣🇰🇾 记者 王怡洁 🧰见习编辑｜李原🏴☠️ 编辑｜何伊👩👦👦凡 图片来源❄｜中企🆒图库 202🇦🇮🧯6年4月1🇹🇲7～18日，在《🏮中国企业家》杂志🐴👷主办的20🥇👩👩👦👦26（第🐵🛀十八届）《中国🇬🇷企业家》商🧖♂️界木兰🏚🇧🇷年会上，围绕🐆🔮AI时代企业如✋✡何实现组织与产品🚅的进化🏺🦐，钉钉创始人兼C☹EO陈航（阿里花⏪名“无招”）👨🦲🖨出席并作了开幕演💡😩讲，分享了🇮🇲他的深度思考🦆🦝。
他看着 S📝paceX 一🇫🇰🛢次次把猎鹰 🚈9 立回海上👨🏭平台🙇♀️⏪。因此，这一轮融👩👧👦资很可能🌑🕕不只是拿钱，更🈳是给公司🕙☘定价，🎆🧹给团队定价，💠也给未🌊来的激励体系定🇵🇱🇸🇹价🖤🇩🇲。
图丨基于自然语🧜♀️🃏言的代码正确性🐀🔍推理示例（来📑👩🦰源：arXi🛹v） 🌸🗾如上图🥑🏠所示，FM👜-Agent 🐀🤼♀️逐段推理🐖🇦🇹代码执🕘行后的程序状态描🇹🇰述（注释👨💼😧部分），❇🇯🇴即后置条件🎓🇧🇴，一直👒🇲🇳推理到函数返回，💰检查最终的程序状🍥🚏态描述是🛳否违背⏳了规约里对最终🤲程序状态的要求🤷♀️。
