（来源：上观新闻）
国内互联网厂商亦🐄🔑是如此，他们不会⚛将自己赖🎲🇲🇲以生存的业🎹务都押注🐴🎆在英伟达🎍🥭算力体🏗🚮系之上的☣。现在，这三个变🎌量同时在增长🕋🇹🇹。因此，尽管相关工🇵🇸作在自动生成证明⬆方面取得了🤒长足的进步，♑但是从本质上来🚂看形式🔉⏬化方法🍅🖥仍然是‘屠龙之🥺♐术’，难以推广至🤝◽大规模系统软件🌏🍊。那么，这些世👒🧓界模型哪些💲🎬是名副其⛪实的？一个关🕚键的技术📼标准是：真正的🇺🇸💛世界模型必🧂⛳须是“🗺▪动作条件化🌯国产的123级”的，也🌳就是说，输入🇳🇵🚡一个动作，模型要🖐能输出世界状态👷♀️🚴♀️的变化👈。Cursor👩🏭✖拿国产模型当底🥃座能赚大钱，因为🍁它有几千万❄🤢订阅用🥋👙户💗♐。
我的观点是🇳🇮，没有😟🥁哪个瓶颈会持🇵🇲🚴续超过两🍼👎三年🎚🇦🇫。降低客户集中🍟度虽是必答题，🥴☯却注定道阻🎻😖且长◾👓。如果遇到产能🇬🇫👨❤️💋👨不足的情况，🇬🇧🤬就回到较旧的工艺🇱🇦节点重新设💛计芯片🗳🌴……那需要的研🐻🍕发投入谁也承担不🇩🇬💨国产的123级起🔍🎿。世界模型😽面临三个相互🌸🏷制约的指🐚标：空间🔣尺度、视觉保💔真度、实🇩🇬时交互性🍠🐬国产的123级。市场份额领导者🏴本身就是一条✂🏴护城河，👨👩👦👦🦸♂️而且是很少🧞♀️被正确讨论的那种👶🚥。
