（来源：上观新闻）
从空间理🤳🦄解到工业💑量产，🌫从无人✊装备到💾⛴生物混🇦🇼合——显然🔮，这是🇰🇮一场关于 AI 📅🇲🇪如何“长出身体、👨🦰🐌走进世界😳”的前沿🚐🇩🇴分享👩🏫📠。大模型在线👥🚰策略蒸✈馏（O🎢n-Policy🇰🇪🌨 Distil🎏lation）💉🍽：方法、优势与问🧛♂️🇦🇶题 张俊林 新🚯✋浪微博首席科🎍🇺🇳学家及🔘🎞 AI 研发部负🧁📌责人 基于大语🔴🇨🇲小明看看成人言模型的😼零样本语7️⃣👩👧音合成 刘树🐋杰 微软🤷♂️🤹♂️亚洲研究院香港🎒首席研🐌🥪究员 线性注🍀🌽意力：过去、现在🍏与未来 唐飞虎〽小明看看成人 月之暗🧁面高级研发🔜🙃工程师🦌、开发者关👄🇸🇭系负责人 A💰🐞gen🎆t 时代需要一🌏个什么🔳🇻🇪样的基座模型 🦐滕爱龄 阶🕉跃星辰🔤 (St📱epFun) 🛳👨💻开发者产🇧🇻🐱品和生态负责人 🔦👳迈向 3🇵🇸🌯D 世🍑界模型：腾讯😩🧞♂️混元 🔺3D-❇DiT 架构演进🏤与自动化⛺原生管🇹🇿线工程实践 ☔🇪🇨李杨 🏢👀腾讯混元 3D 🚰研究员 👯🚹重新思考大语言🕥模型预训练中的数🚬🕓据问题——数据选🚝择、数👨❤️💋👨👨👦据混合与高效训练➿ 刘啸 🌛 微软亚😄🧦洲研究🧴院高级研🎩🧂究员 💇♂️vLL🧞♀️M-compi🇸🇾le：将🅰🍉编译器优化引🇨🇺入大模型推理 张🚖💇♂️家驹 vLLM🇰🇿 社区贡献✏🇵🇹者，红帽🆑大中华区🥵🇸🇮 CTO🕠 多模态与世界模🎪🧜♀️型 多模态与👨👨👦👦世界模型，核心😩是推动 AI 从🥾理解单一输入，升🌗级为对现实🎃世界的✏🇮🇶统一建模🤷♀️。
今年1🌎月，蚂🇬🇱❤蚁灵波连😶续开源了高精度🌔🦗空间感知模型🥇LingB🔆💵ot-D🔫🦘epth、具身大👯👪模型LingBo🧷💌t-VLA👁🕵️♀️小明看看成人、世界模型Lin🗡gBo🇧🇯♾️t-Worl🥜d以及🇭🇰🇺🇾具身世界模🌷型LingB🍝ot-VA🔘🌦。在 20 世🏧👩✈️纪 60 年🧣代，托尼·霍尔提💌🕒出了今天形🧐🕠式化验证的重要😬💢基石——霍尔🎛🇨🇭逻辑，🇿🇼🇨🇰然而直到他今年🌖逝世前，形式化🇮🇨验证仍然囿于人力❇成本，难☑🦓以扩展至大规模软🇸🇾😅件中💿。
