（来源：上观新闻）
近日，📏🇨🇰上海交📴🇧🇾通大学 IPAD🔊S 研究团📕队打造了🇸🇨🍾形式化🇮🇷🇱🇺方法智能体 🔹🦠FM-Agen⛸🚢t，首次实现了面🔣🥭向大规模系统🎩⁉的全自🇨🇾🎧动正确性推理㊙🏭。对旁人来说，C9🐘19首航🦞或许只🇪🇹是一个值得欢🚰😃呼的新👮♀️🏅闻时刻；但对程老😁🔔来说，那💀👩👩👦是他一辈子念兹在🇩🇰兹的事业终👨👦👦于走到了这一步☸🔼，是他在晚年💉亲眼看见后来者完💞成了自己从🔴🐥青年时🇧🇭代起就开始追🇿🇲🇦🇲逐的梦想，看🦊见中国人自🧓🚨己的大飞机终🥥于不只是飞🕯🥶上蓝天，而且🏍开始真💱正走向商业运行💹🐍。
他在Art🇨🇳🎼isana🏴☠️📴l Podcas😳t里说："他们🙍🚡为什么🧸留下来🧒🆓？因为有一笔交易🈚，一笔清楚的交🇸🇦易：我帮你找🤛有意思的📞🥟工作，公平付你⛽薪水，照顾你和你🌛⏩的家庭；🔻🆖你回报我的🔪🇦🇺，是全力以🏢赴🥕🤨。经济学中有一个🤑🌊概念叫摩🌖擦成本🍮🔰（Fr✋iction👤🖋 Cos🧒t），指的✡是在经济活动🇸🇧🇮🇩中由于市场不完👩🍳善、信息不🇰🇮对称、交易♋🌔成本等因🎟🛵素导致的资源配🇳🇬置效率降🏴☠️🏊♀️低所产生的额外成🍣🚠本🚏📯。
问题是，🔡🤜这些评🤬测榜单本身就不😐🧒成熟⚱🇷🇴。举个例子，如😒🇱🇻果你本🇲🇬🤲质上更热衷于写🀄代码，而之🍿🇨🇻前做PM⬜的工作只是🌅因为“🏞😢有人需要这♨么做”，那么现🕗🇨🇰在你干脆卸下💏🤥PM的头🇸🇿🍣衔，转而成为一🇬🇮名工程师，从工🗡程的角度去干同🎠🚟样的事儿，设计📂也一样👃⏱。
