（来源：上观新闻）
在讲座中，沈阳🧔教授分享自己正在2️⃣用AI做一🤣切事👨🦱🐥。（“经纬Ⓜ度”系澎湃新🚜⌛闻打造的经济评🌂🏔论IP，📜用主流🏫🌴媒体新表达助力中🔟国经济话语和中🧙♀️国经济叙事体系建🇬🇾🏌设❣。世界模型🇷🇺💶的伦理框架和法律💓边界，远🙋🌩远落后于技术的发🇧🇼展速度🗡。他们的逻辑🌬🎚是：只要生成的画🥒面足够逼真、👼🥐交互足够🇱🇮流畅，🇹🇩♣物理规律自然🛁☝会被学出⛄💔来🔃🇰🇿。
图丨从左至右分🇳🇱别是：王肇国↩📻、陈海波和丁🇺🇾🃏浩然（来源：🔌受访者） 跳出🕙🇨🇿“将错就🦄错”：A📱🎺I 开始从需🏡💌求验证🔢代码 📠那么，FM-A🐛🦝gen🦸♀️🈴t 是如何将形式⏪化方法用于🤽♀️🇰🇿大规模🥯💂♀️系统的？要理解这🎬个问题🎶，我们得先回☘🅿溯到图灵奖得主托🎟尼·霍🇨🇦📥尔（To🇬🇫ny Hoar🏊e）早在 2🍹0 世纪🎣🤤 60 🇼🇫年代为代码验证🎊指明的方向—🇲🇫🐿—组合式推🥥理（Co🇨🇽mpositi🍊🇸🇩onal Rea🔥sonin♐g）📈🇧🇼。
已有团队🧜♀️构建出 OA🇨🇾国产黄主播C 原➿🗒型系统，🛀🚟其所有同步操⌨作均在👨👦👦🇸🇭无线电模块内部🏣〽完成，无需电缆和🧬外部定时源（🕠例如 GPS👩👧🧁 定位参考），🤸♀️😐即可获得可👨👨👦🇭🇲重复的结果🌼。作为液冷散热💼系统核心‼国产黄主播的微泵，需要😮满足人形机器人®☮的高性能、小🚉🐰尺寸、高可靠🤛🔡三大严苛要求🌡🌯。"邮件写🍤得紧凑、有条➡理、清晰简洁，🇮🇸🇻🇺他们的🥾代码大概率也是这🍞🇯🇪样写的🌅🛏。
