（来源：上观新闻）
研究团🇳🇿📵队认为，随🇮🇲😍着形式化方🥖法的不🇧🇳😬断进步，形式化验🏝🎿证的下🏄一个“圣杯”是💺贯穿软硬件全💃栈的端到⚖🏌端保证⚔。这是该公司☺🇬🇩在 10 月撤回🚀之前的 IPO🍄 申请后的第二🦢🧣次上市🕣🇵🇹尝试👩👩👧👦。
谁是苏昊？ 苏👩🏫🇱🇷昊，具身智♐🧫能领域论文被引🌆🐮次数最高的😌华人学者，Ima🇧🇶🇬🇲geNet🇦🇹🤾♀️缔造者之一🚜🚧，Shape💸Net、🖖PointNe🏴t、Pa🖼❗rtNe🧱t、SAPIEN🤺🚖、ManiS🤮kill👈等一众奠基级🇱🇹🔉项目的🍳💆♂️主导者，具身📍🦋智能公司Hill🐌☃bot◼🤖联合创始人兼CT😃O♏。
202🔸🈷6年4🛬🚮月，在智元合作伙📊伴生态大🚍会上，擎天租，一🥣家孵化🇧🇮🇲🇪自智元的机器人🛅一站式应用服务平😀台，宣🧝♀️布了其S〽婷玖视频在线观看HAREBO🕋T全球😧😞化网络布局，首🐞期落地13国🚩⏰。
