（来源：上观新闻）
尽管组合式推理的🇭🇲愿景很美好，💕🧖♀️但一个关键的💫现实问🛣题是，形式化规🌮🏳️🌈约需要靠人类专家💊用极其严谨🔇💭的数学公式🛷手写，🎉人力成本高昂🇸🇲。中科创💌星创始👳合伙人米磊表示🕞🧮，人形机器人能跑📷马拉松，和人类擅🈲长长跑的底层技🕦☀术原理是相👫👧通的，关键之一都🥘在于做好🤖散热⏸⌛。
表丨F🦷🥓M-Age🧿nt 在大规🥂模软件中找到的 ✝🏨bug 数量（🇵🇬🥽来源：🤚arXi😀🐄v） 这些👩👩👦系统此前🧓已经过开发者的单🐨元测试、集成🛐💄测试、🤦♀️差分测🇽🇰◼试甚至多🤠🇦🇨智能体交💆♂️叉代码审查等🍲🍜。对于"2个物体"🧮🇦🇨的场景，原🚐始模型准确⏬👩🦲率68.🦌7%，还👨🏭🖊算过得去；🎊但到了"3个物🌜体"，准确率急♒剧跌落到4🇱🇺4.5%；到⚙了"8个物体🛶"，准确率只剩下💑🧘♀️可怜的🍠11.3%🇸🇬。
经济史上反🇰🇵复出现的模式是：✈🚒电带来的生🇵🇱产率跃升，远比“🇦🇬🌘有电就更快”💽复杂🔘🧬。你还会选择拥⏫🇬🇸有最庞大安装💼🇨🇰基础的架构—💢🏥—那也是我们™。Q：那问题依旧🍉存在——现🥈在你们手头🤫有大量资金，并🇦🇩国产又粗又大又硬又长且一直赚更多*️⃣的钱，🇸🇾你们应该用↪🤚这些资🙃💅金来做什么？🏙一个答案是，🇪🇭一个中间商生态↙🐓系统正在崛起🇬🇮👟，他们👖使得这些研究🇼🇫🥍实验室将资🚉金性开🌷支转为运营性开👛🔵支，以便🧺🐥这些实💁♂️💒验室可以租用计算🇻🇮🇳🇪资源🗂🍻。
