（来源：上观新闻）
“用户🌞😖通常使🇮🇴用自然语🧚♀️🈶言描述系统👜🔦设计，FM-Ag👨🏭ent 生🚁🔌成的规约也🇺🇦是自然语🐫☣言，而传统形式化🧥验证器⚾🇺🇲只支持基于↔数学公式👨🚒🐈的推理，二者存在🇬🇭巨大的语义♣🏖鸿沟🇭🇹👱♀️。当前的🐭培养课🎨程重点是编🦵🎄程语言、数据🥔🆘结构、算🎧法实现、调📌👩🎤试技巧等，在👨💻“AI 👶🇮🇷生成+验证🐛🧚♀️”的范式🔶下，这些🇵🇭🐤传统能力🇧🇷😨大部分🍲🏴可能不再是🔢🐀核心的培养目标⏬。但往坏了想… 就♿连别人让我挪个🏤车，or 🕺快递放驿🇰🇷站的电话我🇷🇸🕠都接不🍇🈸到…… 活😧久见，我还真是第🍆一见到，有手机会👩👩👧👦▶主动限制通话功😑🇮🇪能的🅰🏂。
为什么这么🔔难？Feld♑🍼man在🐃✒Artis🚋🇮🇩anal Pod📮📳cast👩🔧里给过一个通©🇰🇷透的解释🎮。所以我们需要一🦝个界面，让🇹🇰🍑你可以自然地和多🆒个智能体对话，❄或者由一个主智能♐🔋体统筹多个子智💲🚔能体🌫。目前的 OA👵👨👨👧👦C 测◀试是在受控的实验🤦♂️⤴室环境下进行的🚹🎯，但如何🅰😋使其在动🤓🇳🇮态的真🤑🤙实环境🉑中（例如高速⚱🇵🇹公路上的车辆、📧🇼🇫城市中分散的传🤰🇪🇨感器）保持稳定🇯🇴性，仍然是这项👩👩👧😝新技术需要🇳🇪进一步✳🐈解决的关键挑战⏰📨。但如果员♋🎸工的工作🇫🇲🤑效率提升了🐯，公司业务没有提🛰升，情况🕋将截然不同👨👨👧👧。不是算力，🥞😻不是数据，不是🇲🇩👝算法，而是责任🏅。
