（来源：上观新闻）
表丨智能体🥾🎗自动生成的大🛩规模系统（🏉®来源：arX✒iv） 为了验证🎥🐋 FM-Agen🇶🇦t 的实战🇩🇬能力，研究团队🇩🇲对四款😴由 Cla🚱🎙ude Op❇🇸🇴us、GPT 💚Codex👼 等顶尖🏃♀️编程智能体生成🇨🇴的大规模系统进🇰🇪行了正确性推🛏理🇦🇸。
尽管组合式🐱🇮🇪推理的愿景很🤸♂️🇨🇿美好，但一个关🇹🇱🇹🇴键的现实问题是，🇰🇼🥅形式化规约需要靠🗿♦人类专家用🧨🐪极其严谨的⛲数学公式手写，人🇸🇹力成本高🤑⏩昂9️⃣。这些硬功夫，也⁉🦶是资本📀🌙愿意陪着跑🇻🇪下去的底🗄气😗🍻。
还提到“很难📇👨🏫得，没有◻🇩🇴不锈钢管、铁管🆕🐄，纯铜管的🚞👩🚒设计……格🏧力这方面做得🥊还是可以的👨👧👦🥘。。Token经🚳济学：倒逼出来的💿👩👩👧👧入口生意 💓一年半前，😥🧫向任何一家🍽云厂商的销售询🏋🕜问Maa👨🦱🗻S能否盈利，答案🚠😳几乎是清一色的Ⓜ否定（🚑MaaS=Mo🎮del as a👩🦲🐐 Se🔪👲rvic🐿e，模型即服🍴🚯务）👩👧👦↔。
