（来源：上观新闻）
大模型在线策✒👞略蒸馏（On-😈🎤Policy D☝istillat🌯ion）🎟💁：方法、优👨❤️👨✂势与问题🎱 张俊林 🇼🇫💪 新浪微博首🏭席科学🇨🇽家及 AI📹👩👦 研发部负责人🇦🇴♌ 基于大语🦔言模型的零🥫样本语🎍⏮音合成 🏄♀️🇦🇫刘树杰 微软🗺亚洲研究院香港🦍🚰首席研🛃☣究员 线性注意⌨☝力：过🚟🧪去、现在与🛢未来 🍯唐飞虎 月之暗👂面高级研发👒〰工程师、开发者关🌗🇸🇭系负责人 Age🇧🇱🇧🇹nt 时代需要♠🚷一个什么样🦉的基座模型 滕爱📲🚺龄 🐙♋阶跃星辰🇨🇴🇮🇴 (StepF🦜un)😶 开发者💓🇦🇪产品和生态负责🐤🦗人 迈向 3🧮💦D 世界模型🎣🔱：腾讯混元 3🇪🇺🇧🇳无人区码一二三码区别图片D-D🇧🇸👰iT 🇭🇹架构演进😆与自动化原生管🇱🇧🇬🇵线工程实🙃践 李杨 📘 腾讯混元 👩👧👧🇪🇬3D 研究员 重🇸🇩👹新思考大语言模型🥦预训练中⬇😁的数据问题—🆗👨❤️💋👨—数据选择、数据🔐💌无人区码一二三码区别图片混合与高效训练 🕯刘啸 微软🇨🇲🅱无人区码一二三码区别图片亚洲研究院高级👨👨👧👦研究员 vLL🇦🇨🔺M-compi👹🥘le：🚡将编译器🇳🇪优化引入🇰🇷大模型推理🧼 张家驹 vL🦟LM 社🎢区贡献🇳🇬者，红📙🇵🇹帽大中⛷华区 CTO⛵😼 多模态与世界模🧒型 多模态👩👧🇻🇬与世界模型，🛏👩👩👧👧核心是推动 🕐🇰🇲AI 从理解单🍞📟无人区码一二三码区别图片一输入，升级🇬🇦为对现实世界🇨🇱的统一建模😦。
随着全球晶圆💐厂扩产👐🤵，特别是AI带🇳🇺动的先进制程需🧑🦙求，对靶材的🤙消耗量👄🐻是成倍增加的🇯🇴🔅。真正健康的局面💬，应该是Deep🕍⚾Seek继续做🥍🤷♀️DeepS‼eek，其他🇩🇬模型也被看见☎🇰🇭、被比较🧞♂️无人区码一二三码区别图片、被承🕜认👎⚓。该公司专注研发可💑插拔光纤👨👨👦🌟到芯片连👊接方案🖌，产品针对🇬🇩🌴大规模CPO及🥡🧓其他硅光☃📗子学应用进行😫深度优化🐿。
图丨从左至右分别🇪🇷🥁是：王肇国、陈📔🇬🇮海波和丁浩然👩🔬（来源：受访者）🏏 跳出🇳🇮🏛“将错就错”🏬🥭：AI 开始从🚗需求验🚥证代码 那么，F🍣M-Agen🇪🇸🌲t 是如何将🍸形式化方法用于大🐙👨🚒规模系统的？要❣理解这✈📨个问题，我们得🏎🚌先回溯到图🖊🌈灵奖得主托尼·⚡🤸♂️霍尔（Ton🇹🇭🇵🇱y Hoare🦹♂️）早在 20 🤤世纪 60 ▪年代为🐃🔎代码验🇸🇷🔬证指明的方向🌩——组合式↖❤推理（Com🅰posit🥔ional 🇦🇪Reas🇬🇵🇳🇦onin🇵🇹g）❄🚟。
