（来源：上观新闻）
除了宇树科技与😀🇬🇾智元，银河通用👩🦲😝、星海图等十🇱🇮🐻几家企业的👫🇻🇮估值超过百🇪🇨亿人民币🇮🇶🕒。这种“无声⛷🍹无息”的 bug👩❤️💋👩 不会导致系😠🔴统崩溃或任🤚🇧🇫何明显异常🇸🇽🔟，但危🇸🇿🤸♀️害极大且难以被🇸🇬⚠察觉👦🎖。但好处是技术闭环🕎🍬，迭代速度🚛快，不受😦⛪制于人🙎🧴。过去，🛣🚻规模稍大的企业，🚵从总裁、总监、💸🚕经理到执行🕊层，通常存在🥿🔋5～7层的🀄🛹汇报体系🏫⛹️♀️。
这一过程😻🇳🇬耗时约两分🏴钟，从零件🍑拆解生成🔱👜图，到😙🏝工艺设🇲🇰🍯计中的各🦜🌧个问题点🏘🕺，其输出成果大🕳约能达到国内😦🥉普通结构🧼硬件设计工程🗂师90分的水平😸。那么，📰🦑如何在🌄绝对严🇨🇿🤟谨与工🇲🇺🚪程可用之间👕🍲取得平衡呢🇧🇭🈲？FM-👨🦲Agent 的基💀本思路是🇷🇪🏊♀️：先分析 LLM🤑 擅长什么，📆🏺然后将其与传统🅾形式化验证流程进😐行对照，判🌘断哪些⛴步骤可🇵🇪🇮🇸以适当放宽对“🇧🇿绝对严谨”🖱的要求😽，从而换取😄“工程🇮🇷可用”🅾。
这场开启了两人📪十几年交情♓♓的会谈🇧🇹超时了，导⛹🇵🇼致孙正🤱义与共享办公公😆司WeWor👚k创始人🖊亚当·诺依曼🇲🇾的会面推迟了🍭近两个小🇮🇳时——🇦🇪👨👨👧👧两人的会面于是改🇸🇨😕在汽车上🇰🇿进行🥎🇱🇦。过去十多🇧🇪年里，方洪波🇱🇸🗡被称为中国📅最佳经理6️⃣人之一🍟🎁，自他掌舵这艘巨🕛🛄轮以来🔠，曾面临种👩🦱种棘手的转型命题🧥🧧。
