（来源：上观新闻）
近日，上海交通大👹学 IPADS 🐟研究团队🛅打造了形式化方法👺🐝智能体 FM-♦Agent🇸🇭，首次实现了🎽面向大规模系☯统的全自动正确🧴🛥性推理♉。Cursor卖⛸⏭给企业时，相〰🕵当于接🛢了一条🍅已经在正常流转❗的管道🕸，省了太多🇬🇩⬇麻烦🐁🕋。第二个有意思的🏴💒事情是拼多‼多🍓。截至今年3月，A🧿🍺nthrop🧘♂️ic的🇬🇺🥔顶级模型领先中国🐕最佳模型仅2.🎗7%🇳🇨🚑。
这不是游戏外🥰挂，而🥶是一个通🚡🇩🇿用GUI🇳🇵💟智能体在「认真工🇩🇿作」：它用的是📫☪和操作手机🇲🇻App、填写🆙🇬🇮表单、🔛浏览网页🇸🇾🍫完全相同的视觉理🧥解与操控能力🤐🚟。4月16🦗日，清华大🎞👩🦱学新闻学院🇱🇻🇷🇸、人工智能学院双🥑👀聘教授、博导，清🚉华大学新闻🦎🇲🇪学院新媒🚐🐶体研究🤾♀️🔛中心主任沈🛑阳做客成都传🏋🇸🇷媒集团三色智库🇸🇬📌。
那么，如何在🔵绝对严谨与工程🏃可用之间取得🚅😖平衡呢？F⏸🎿M-Agent 🤸♀️👖的基本思路是：🇪🇭先分析 LLM🍵 擅长什📡么，然后将其🎭☹与传统形👅式化验证🇵🇷🎮流程进🇧🇹行对照，💦判断哪些步骤可以⤴🍍适当放宽对“绝对🥈严谨”的要求🥌🌏，从而换取“工程🏅可用”🇲🇦。
