（来源：上观新闻）
“用户通常使🐎🔳用自然语言🇸🇧❓描述系统设计🌵，FM-Agen🅿t 生成的💳🎦规约也是自🇷🇼💽然语言，而传🌤统形式化验证🐘器只支持📉基于数学公式的推🐬理，二者存在🚀巨大的语义鸿⛸沟🤦♀️🇨🇾。被收购的Dust🇧🇫🇹🇨Photo🇦🇼🍱nics，是一家🗨2017🇵🇰年创立于以🇹🇩🛃色列的无晶圆厂公🥎司🇳🇨。
Agent 🌗重塑软😁🇭🇷件与互联网产业🏃✂新范式 📭🥿李建忠🐸 奇🇨🇫点智能研究院院长🚕🕢，CSDN📛🍆 高级副总🧐裁 跨越周期🧟♀️🇮🇳：人工智能🐗的演进和未来 黄💁🇦🇼非 荣耀👨❤️💋👨终端 A😴I 首席科学家🍹⬜、首席人工智♎🧳能官（CAIO⚫⛓） 从语🎖🖼言到推理：百😒🦌灵大模型的 🇩🇯AGI 探索 *️⃣周俊 🦓🤾♂️蚂蚁集团🥨👒副总裁，国家级创🇲🇵新领军人才 万🇸🇰🖊亿参数科学多📖模态大模型: I🐃nter🧧n-S1-Pr🕗o 技术解析✅🍰 陈恺⛰ 上🦠🍄海人工智👯♂️能实验🖌♠室青年领军⏱科学家，大🧳🎒模型中🦸♀️👺心负责人📟 主会圆🔸桌环节，在奇点🧽智能研究院开🌥源技术💬💇♂️委员会🔳😚主任、华东师范🏉🎆大学数据科🇭🇷学与工⏩🏥程学院教授王⚗伟的主持下，奇👁😆点智能研究🇨🇽院院长、CSDN🧚♀️🧾高级副总裁李建忠🗾，荣耀终端 A9️⃣I 首席科学🌒🌚家、首席👨👨👦人工智能📟💋官（CAIO）🇷🇪🇿🇲黄非，上海人工🎍智能实验室青年🔺领军科🔓学家、大模⏰型中心负责🔭👨🔧人陈恺，新⛈浪微博首席科💚学家及 AI🇺🇳⬅ 研发🐾部负责人张俊🕯🎤林共同📣🧙♀️参与讨论🌵。
Omdia资深分🦅🇹🇷析师钟晓🌎磊（Lu🚙🔓cas Zh🎼ong）表示：💟“AI智👥能体功能将会是今🇺🇸年TO⁉P厂商在软件层面🔚部署的重🛳点，智能手4️⃣机仍是A🗜I智能🥋🇮🇳体的理想🤬🇪🇷载体❄🙂。
