（来源：上观新闻）
在 LLM 时🚶👼代，如何🈹让形式化方法🧰的脚步快🥙🌊速跟上编程智能😮🙋体的发展🚺速度变得越发重要✂🌓。所谓物理智👛🤲能，是让AI👨👨👦👦系统在5️⃣物理世界🇹🇲中有效💛完成任务——既✋🇵🇲能理解这个世界，🤴🇪🇬也能执行恰👨👩👧当的行动🌿。在直播过程中，⛳😓雷军跟同事🏬💡们聊各地🇧🇳🚶美食、公司趣事👨🚒🧑、安利小米汽🤢♌车，偶🤱🇨🇫尔为小米商城“🍇带货”🥼。
随着 FM-⚾Age🇧🇩⛳nt 这类技*️⃣🧟♂️术成熟，👚💤未来的软🇪🇬件工程范式可💐能会发生🐪🏭根本性变🧹五月天伊人化🇮🇳🇸🇪。李一言判断，👨🚀🆔当前机📡器人泛化能🦚力仍局限于表🇬🇫🕕演展示、导览迎宾🕡✅等场景，真正的规🚿模化应用需等待模💻型能力🚧和本体技术成👦熟😢。
