（来源：上观新闻）
（图 / 招🍤股书） 但这🇰🇾份增长背后，🌶易景科🥎❓技仍面🎆📖临行业格局固化所🐿带来的竞争压😫天天拍夜夜力🌸🍣。不过，就算退回👂到更早👆的阶段，比如我🔐👨🏫还在St🚑ripe🚅⚽工作时🌉♌，当时Str🔗ipe员工人数🇩🇲🇲🇶达到2🎇50人📦，却连一🐪🔺名PM都没有🤭🧼，甚至👥⛄完全没用🏗🍀过任何AI工🐅😓具，因🏴为当时的St🍹ripe就是🇵🇹🚛一个A👩🏭👩👧👧PI，而我们🧑🐙所有人都✉是工程师，都清🔂楚一个真🏒正出色的🐛😐API应该是什🏇么样子💶🚆。邱谆是一位3️⃣🐉常年住在硅谷的🏅📕投资人🇨🇾🕒。随着技术⛷♊发展，社会形态会🛢天天拍夜夜有变化，人类🇸🇳👜会回到🍡早期状态（🚴不分专业⌨🤷♂️）🕵。成都的文化🛅、工业等在AI发💰🎣展时代有🔧很好的基础🥣。
在 20🥏 世纪 🐘60 🥭年代，托尼🤔😺·霍尔提出了今🥺🎒天形式化验证的重⛩⛄要基石——霍尔🕘🇰🇲逻辑，然🇹🇫而直到他🐣今年逝世前，形🔬式化验7️⃣🥟证仍然囿于人力成🏏本，难以扩展至大⚰规模软件中🇦🇩💡。这意味着👨🚒，买卖双方开始围🇧🇾绕“系统☺🐑”和“🈹⏳责任”对🛑齐，而不是🍏天天拍夜夜单一资源💸⚜。另外，若🐫将其放🎵在公司整体业务🇨🇫框架中来看，其A🍾🎟IoT业务的体量🦀仍然较小，🗒2025年AI🇰🇳oT收☎入占比🇸🇬仅为公司营收入☕◼的5.6%🕟🏪。
