（来源：上观新闻）
它在模型算法、🇵🇰工程效率、开源路⛴线和降低👨🌾推理成🍝🎌本上的贡献👨🦲📞，仍然是中国A🦍I过去一年最重🏉💣要的技术事件之一♾️。所以，中国商👨🦰🍏业航天真🇫🇲☕正该做⬜的，不是急着问🚊“学马斯克还🏜是学贝索☂🎼斯”🥾。截至目前，其谷🍠🛹歌学术被引🌺🇨🇽次数超过14.5🐭万次，🚩在具身AI🐜领域的🗺🕯96热精品华人学者中排名😟第一🈺❣。
他把未来✋🎒人和 A🅿🦄I 的🔣关系描述成：🥰👨🎓AI 是员工，🤧人是老板🇨🇼🇦🇲。那么，如何📼👩✈️在绝对严谨与🚗🐄工程可用👨❤️👨👨👨👦👦之间取得平衡呢？🈸FM-🕉Agent📩 的基🦒🥨本思路是：🇧🇪✖先分析 🐯🈳LLM 擅长什🇨🇮么，然后🗾🏫将其与传💇🦌统形式化验证流程🇲🇺进行对照，❤😁判断哪些步骤可💏以适当放宽👨🦱对“绝对严谨”的👨💼要求，从而🇰🇷🥩换取“工程可❕用”♻。
