（来源：上观新闻）
他的判断是🇳🇬：数据、🍹算力、算法🛒三个维度都👜🚲有巨大💣改进空间，说"我🧺们在所有支柱上都🔷已经走得🐉很远"的人是🇯🇪错的8️⃣🇺🇬。阿里的漫游模🔧🗞式目前只🏒🥛能支持1分钟的🥉连续位移，🥔🤣超过这个时➗间会发生什么？😎🌓官方没说🌵。有的人跟他已🔡🗄经三十年了，从⛎🇦🇮上世纪9🦏🇺🇦0年代一起做硬件🥥0️⃣的人，一5️⃣路跟到了今天的🏑🇮🇹晶圆级芯片♉👂。
。最后，只要分🧓别证明☀🔇每个函数的实现（😥🙁Impl💾ementa🥿🥿tion）和☦规约一致📚，就能直接推理📉出整个系统满🎸足正确性🇵🇭📱。这两种模式🗾🏩都可以😘🍱成立，但它🦠们的“价格👨🎨↖锚”完🇱🇰🍸全不同😋🇧🇴。当谈判空🇸🇴🏔间被极度压缩，✳“继续谈”反🌀🆎而不再是理性选择📘。
