（来源：上观新闻）
也不像贝索斯🇦🇪那么漫长🎊。“高级🎅程序员🐤❓与普通程序员😌的区别🥑🇸🇨，不在于谁更会💌🕚用AI，而🇪🇭♨在于当A🇮🇹🇹🇰I的成果没👨🎤有达到预期时，你🧘♀️知道怎么😆👀让它改🌱。因此，尽管🦄📺相关工作在自动生🤨🧔成证明方面取得🐋了长足的🇧🇳👿进步，但是从🤽♂️本质上🦓来看形式化🎎🤾♂️方法仍然是🏗☠性夜久久一区国产9‘屠龙之术’，👪🥴难以推广🇦🇷至大规模🇨🇾系统软件🅿。
但我们的愿景是让👌🐺用户在云端向多个🍔智能体委派任务🇳🇴🍾，它们💩☕独立运行🍇。这种庞大的🈵⛪安装基🚛础意味着🍋🇰🇵，一旦开发完☦成，你的软件或🚶♀️🇳🇨模型就能💳🏛在世界上任🍐🛁何地方运行，这👂🤦♀️种价值🍪是不可估量的📏。OpenAI🤧🇰🇭开创的o1模型🎅就证明9️⃣了推理端的缩🤠📬放定律完全有效，👩❤️💋👩🔡投入更🏸🐠多推理计算，答案🔜确实更好🇸🇱🇸🇭。阿里能否打破🥠🎈“部门🙇🧣墙”，真正地减😢少摩擦成本？组🚪织效率是👂🐳否能一直🧣持续？毕竟如今阿🙃💘里AI是水平化🌯🇼🇫管理，缺少林🏏俊旸此类自驱🏙性极强的技术人📓才，靠KPI👨👨👧管理的阿里🌦🎗AI是否保🚾持技术优💂势？ 另外➰，缺乏🌫类似抖音、🇾🇪微信这样的高频入🇸🇬口，C🕢端应用落地需要付👃出更高成本👩👩👦👦。
