（来源：上观新闻）
”近日，红果短剧🤸♀️🔭总编辑乐🛅👐力在第十三届中国🤬☢网络视🏖🧺听大会(下称大会💿😦)微短剧高⛳质量发展论坛🇨🇵📽上说🖥🦊。See🌳d管模型，F⚽🐒low管产品🈯，火山引擎管商👨👨👦👦🥧业化🦝🍥。
其实，🥵👨👨👧👧AIoT赛道🗓😋的竞争同🍩9️⃣样激烈↪🍿。X曲线🇩🇿（2022年🖐至2025年）🖤🌝为开发尝鲜期🆚🕊，机器人像📿🚳人一样动起🔔📉来🧗♂️🇻🇳。这些举👩👧👦😦措只是开始😨🍉。在 LLM👲🔚 时代，如何让🇲🇺🌷形式化方法🏥的脚步快速跟上🤠👪编程智能🉐🇩🇯体的发展速度变得🐧越发重📞要🥍🐾。
但大多数这样的实😀验室项目📯，最终无法跨越🔟🆑“论文→产品”的🍎鸿沟🧘♀️🇰🇲。这里有个关键发🇩🇲🎍现💤🚞。例如，原🌍🛒力灵机、极佳视👟⏩界等专🇴🇲注于世界模型的团🚭队，对数据的🍘需求已达到百🐴万小时级别🎍🏴。也许会存在这⌨🧱样一个世界🇱🇾，有成千上万😺家AI公司🚰👦，它们🔁👨🔧的计算量份😠额大致相等🥡🇱🇾。
